quarta-feira, 21 de setembro de 2011

ICMC promove Miniencontro de Lógica

O Miniencontro de Lógica ICMC-USP 2011 será realizado entre os dias 29 e 30 de setembro, no Auditório Prof. Luiz Antonio Favaro, no Bloco 4 do ICMC. O evento é gratuito e aberto a todos os interessados.

Programação

29/9 - Quinta-feira
13h - Andreas B. M. Brunner: Lógica e Álgebra
17h - Leandro F. Aurichi: a anunciar
18h - Edelcio G. de Souza: Sobre alguns tipos interessantes de lógicas não clássicas

30/9 - Sexta-feira
14h - Edelcio G. de Souza: Sobre extensões de isomorfismos de estruturas de primeira ordem
15h - Marina Andretta: a anunciar
16h - Intervalo
16h30 - Andreas B. M. Brunner: Representações topológicas de lógicas abstratas intuicionistas e distributivas
17h30 - Dione de Lara: a anunciar

As inscrições podem ser feitas através do link:
http://www.icmc.usp.br/eventos/gerenciador/inscrever.php?evid=86

Outras informações:
http://www.icmc.usp.br/~aurichi/ML/index.html