NAT@Logic: evento internacional organizado pelo PPgMAE

Como todos sabem, Natal é provavelmente o lugar mais legal no Brasil para estudar/ensinar/trabalhar (com) lógica.

E, de 31 de agosto a 4 de setembro, vai ser mais legal ainda, porque será organizado o NAT@Logic, com uma série de palestras e tutoriais em temas que variam de lógica aplicada à matemática à lógica aplicada à ciência da computação.

os eventos que compõe o NAT@Logic são: LSFA 2015, GetFun 3.0, Filomena 2, LFIS^15 e TRS.

Para maiores detalhes desse grande evento internacional, acesse a página do NAT@Logic.