Prezados colegas, De 27 a 30 de agosto de 2019 a UFRN, a UnB e CMU-Qatar organizarão, na UFRN, a maior conferência internacional na área de dedução automática:
The 27th Conference on Automated Deduction (CADE-27 - https://mat.ufrn.br/CADE-27/) O CADE será precedido por três dias de workshops e 2 dias de tutoriais, a serem realizados entre 23 e 26 de agosto de 2019. Os tutoriais oferecidos serão: 23/08: T1. Intuitionistic Logic (Giselle Reis, CMU-Qatar) 2h T2. Building theorem provers using rewriting logic (Carlos Olarte, UFRN, Brazil) 2h T3. Machine Oriented Reasoning (Claudia Nalon, UnB, Brazil) 2h 24/08: T4. Build your own first-order prover (Jens Otten, University of Oslo, Norway) 8h Todos estão convidados a participar, e não há taxas de inscrição. Para se inscrever, basta acessar o link https://zfrmz.com/e6lNpOaVZaQrdxMhEGPo Inscrições serão recebidas até 5 de agosto de 2019, e a notificação será até o dia 10 de agosto de 2019. Aos participantes de tutoriais serão oferecidos lanches. Àqueles que vivem fora da região metropolitana de Natal, será fornecido auxilio para hospedagem e transporte, dependendo da disponibilidade orçamentária. Favor indicar, no campo "Observations" do formulário de inscrição, a necessidade de tal auxílio (e o valor aproximado). Incentivamos *fortemente* a participação de alunos, em especial de localidades próximas. Peço, portanto, que divulguem essa mensagem. Atenciosamente, -- Elaine & Carlos & Giselle & João & Cláudia. ------------------------------------------------- Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador Salgado Filho, s/nº Lagoa Nova, CEP: 59.078-970 - Natal - RN Phone: +55 84 3215-3820 http://sites.google.com/site/elainepimentel/ Lattes: http://lattes.cnpq.br/3298246411086415 -------------------------------------------------------- -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BUM%3DZHpK4JFpPy4B%3DLsD1yHTybV27%3De_QOqNh416-eSaw%40mail.gmail.com.
