CADE-27 -- Anúncio de Tutoriais

[Elaine Pimentel]

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
--------------------------------------------------------