ÁREA DE TEORIA DA COMPUTAÇÃO
Publicações e Eventos
Publicações
Ver páginas dos Docentes.
Eventos
Workshops on Logic, Language, Information and Computation (WoLLIC)
CompBioNets 2005 (Lyon, França, 05-07/dez/2005)
CompBioNets 2004 (Recife, Brasil, 15-18/dez/2004)
Lógica, Provas e Algoritmos '96-1 (LPA'96-1)
Lógica, Provas e Algoritmos '96-2 (LPA'96-2)
Categorical Logic and Concurrency
Lógica em Língua Natural '97 (LINGUA'97)
Lógica, Provas e Algoritmos '98 (LPA'98)
Lógica em Língua Natural (LINGUA'98)
Lógica para Concorrência e Sincronização (1o. Encontro) (LOCUS'98(1))
Lógica para Concorrência e Sincronização (2o. Encontro) (LOCUS'98(2))
Última atualização em 7 de Junho de 2007, 10:48pm GMT-0300