Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
VII Seminrio Informal(, mas Formal!) do Grupo de Teoria da Computao da UnB -GTC/UnB
 

Summary: VII Seminário Informal(, mas Formal!) do Grupo de Teoria
da Computação da UnB - GTC/UnB
Apoio financeiro: Departamentos de Ciência da Computação e Matemática
· 5ª feira (12 de novembro de 2009)
· 14:30h-15:30h Algumas Aplicações de Métodos de Reescrita em Álgebra e Dedução, Klaus Erwin
Madlener (Universität Kaiserslautern, Alemanha).
· 15:30h-16:15h Cálculo de sequentes para dedução do intruso sob teorias equacionais AC
convergentes, Daniele Nantes Sobrinho (Doutoranda), Departamento de
Matemática/UnB.
· 16:15h-16:45h Coffee-Break.
· 16:45h-17:30h Uma abordagem de Topos para a Lógica Contrafactual, Ricardo Fernandes
(Doutorando) Departamento de Informática/PUC-Rio.
· 17:30h-18:15h Formalização do Cálculo ex em Coq, Washington Luis Segundo (Mestrando),
Departamento de Ciência da Computação/UnB.
·6ª feira (13 de novembro de 2009)
· 08:30h-09:15h Um Sistema de Tipos com Interseção para o -cálculo, Daniel Lima Ventura
(Doutorando), Departamento de Matemática/UnB.
· 09:15h-10:00h Formalização de uma Teoria para Unificação de Primeira Ordem em PVS, Andréia
Borges (Mestranda), Departamento de Matemática/UnB.
· 10:00h-10:30h Coffee-Break.

  

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

 

Collections: Mathematics