Events:

• GTC/UnB event's homepage


• LSFA 2011 (PC member)


• LSFA 2010 (General Chair)


• WoLLIC 2010 (Organizing Committee)


• ISR'09 (Organizing Committee)


• RDP'09 (Organizing Committee)


• LSFA'09 (PC member)


• PAAR-2008 (PC member)

• LSFA 2007 (Organizing Committee).

• Graduação:
• 2011/2
  • Lógica Computacional 1: Menções
    Revisão de menção: 14/12/2011 de 19h às 20h ou 15/12/2011 de 10h às 11h. Local: módulo 18.
• 2010/1
  • Lógica Computacional 1
  • Programação Funcional

• 2009/2
  • Lógica Computacional 1

• 2009/1
  • Programação Funcional
  • Lógica Computacional 1
• 2008/2
  • Lógica Computacional 1
• 2008/1
  • Programação Funcional
  • Introdução à Ciência da Computação

• 2011/2
• Teoria da Computação: Nota da segunda prova
  Menção Final
  Revisão: 14/12/2011 de 19h às 20h ou 15/12/2011 de 10h às 11h. Local: módulo 18.

• 2009/2
• Teoria da Computação

• 2008/2
• Tópicos em Formalismos de Computação
• 2007/2
• Teoria da Computação

Prototypes

• SUBSEXPL

Eletronic Mail



Post Mail
Departamento de Ciência da Computação
Instituto de Ciências Exatas
Campus Universitário Darcy Ribeiro
Universidade de Brasília
CEP 70910-900 - Asa Norte
Brasília - DF - Brasil

Phone
+55 61 3107-6393

Last modification: Dec 13, 2011.