quarta-feira, 10 de dezembro de 2008

SEMANA DA LÓGICA, na UFRN (2008.2)

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:

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.

Um comentário:

Anônimo disse...

Parabens pela semana. esta com uma cara otima! no esqueca de postar os resumos tb.

abracos,
valeria