XVIII Encontro Brasileiro de Lógica

De 8 a 12 de maio acontecerá em Pirenópolis o XVIII Encontro Brasileiro de Lógica(http://www.inf.ufg.br/ebl2017/ebl.html).
 
O evento, promovido pela Sociedade Brasileira de Lógica (http://www.cle.unicamp.br/sbl/), congrega alunos e pesquisadores em temas relacionados à Lógica na Filosofia, Matemática e Ciência da Computação.
 
Nesta edição, 7 dos 11 palestrantes convidados têm suas pesquisas em temas diretamente relacionados à Computação, dos quais destacamos:
 
 1) Professor Moshe Vardi (http://www.cs.rice.edu/~vardi/)
 
 2) Professor Fairouz Kamareddine (http://www.macs.hw.ac.uk/~fairouz/forest/talks/)