• (07/05/2012)
  Minicurso: Normalisation for Dynamic Pattern Calculi
  Palestrante: Eduardo Bonelli (Universidad Nacional de Quilmes and CONICET)
  Datas:
• 22/05/2012 (terça-feira) às 16h no auditório do CIC (módulo 18).
• 23/05/2012 (quarta-feira) às 10h no auditório do MAT.
• (28/03/2012)
  Inscrições abertas para bolsas de Iniciação Científica!
  • Prazo para inscrições: até 13/04/2012
  • Pré-requisitos: IRA > 3; não ter vínculo empregatício, não receber qualquer modalidade de bolsa (de outro programa do CNPq, da UnB, da FAPDF ou de outra Agência) e não participar de monitoria ou estágio remunerado.
  • Valor da bolsa: R$360,00 mensais.
  • Áreas de trabalho:
    • Verificação Formal e Programação Funcional;
    • Cálculo Lambda com e sem substituições explícitas.
  • Interessados entrar em contato via email: ou

Events:

• GTC/UnB event's homepage


• SCSS 2012 (PC member)


• 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:
• 2012/1
  • Lógica Computacional 1 - Turmas B e C
• 2011/2
  • Lógica Computacional 1
• 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

• 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: Mar 23, 2012.