Pesquisa e Pós-Graduação
em Ciência da Computação

Á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