SEMANA DA LÓGICA, na UFRN (2008.2)
Joao Marcos
Os alunos de computação que comparecerem às atividades abaixo ganharão
certificados de participação que contarão como atividades de extensão
a serem contabilizadas na integralização de sua carga horária
curricular complementar obrigatória (semelhante ao que já acontece com
os eventos promovidos pelo PET-CC).
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
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/