Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

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

Summary: VIII Seminário Informal(, mas Formal!) do Grupo de Teoria
da Computação da UnB - GTC/UnB
5ª feira (3 de fevereiro de 2011)
·14:00-15:20 Formalização de Leis usando Lógica Intuicionista e de Descrição Edward Hermann Haeusler,
Departamento de Informática, PUC-Rio
·15:20-16:00 Formalização do Princípio de Mudança de Tamanho para Verificação de Terminação Andréia
Borges Avelar, doutoranda em Matemática - bolsista CNPq, UnB
·16:00-16:20 Coffee-Break
·16:20-17:00 Locality Recognition of Deductive Systems for Security Protocols Daniele Nantes Sobrinho,
doutoranda em Matemática - bolsista CNPq, UnB
·17:00-17:40 Automação da Terminação Mauricio Ayala-Rincón Grupo de Teoria da Computação, UnB
6ª feira (4 de fevereiro de 2011)
8:20-09:40 Especificação e Verificação de Sistemas Computacionais usando Lógica Linear com Sub-
Exponenciais Elaine Pimentel, Departamento de Matemática, UFMG
9:40-10:20 Um Estudo sobre Verificação Formal de Sistemas Concorrentes João Paulo Carvalho, Programa
de Pós-Graduação em Informática, UnB
10:20-10:40 Coffee-Break
10:40-11:20 Complexidade de Problemas de Rearranjo de Genomas Thaynara Arielly de Lima, doutoranda
em Matemática ­ bolsista CAPES, UnB
11:20-12:00 Formalização de Propriedades de Sistemas de Reescrita Ortogonais Ana Cristina Rocha

  

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

 

Collections: Mathematics