O *LoLITA* (grupo de "Lógica, Linguagem, Informação, Teoria e Aplicações") do DIMAp/UFRN, em colaboração com o grupo de pesquisa em "Lógica, Conhecimento e Ética" do DeFil/UFRN, dá sua contribuição semestral aos *Seminários de Lógica e Filosofia Formal* da UFRN, com a seguinte programação: http://seminarioslogica.blogspot.com/2008/12/semana-da-lgica-na-ufrn-20082.html
Tema: Lógica Combinatória e Cálculo Lambda Palestrante: Plácido Antônio de Souza Neto Data: 15 de dezembro de 2008, 2a-feira, 18h30 Tema: Cálculo Lambda e Isomorfismo de Curry-Howard Palestrante: Cléverton Hentz Antunes Data: 16 de dezembro de 2008, 3a-feira, 18h30 Tema: Lógica Modal Palestrante: Haniel Moreira Barbosa Data: 17 de dezembro de 2008, 4a-feira, 18h30 Tema: Lógica Intuicionista Palestrante: Otto Luis Pontes Soares de Araújo Data: 18 de dezembro de 2008, 5a-feira, 18h30 Todas as palestras serão realizadas no auditório do CCET/UFRN. Estão todos convidados! Saudações lógicas, Joao Marcos -- My homepage: http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
