Seminário de Lógica e Computação
2005
Departamento de Matemática, Universidade de Coimbra
Inicia-se este ano um fórum de discussão sobre temas de Lógica e
Computação, aberto a todos os interessados. Os encontros
decorrerão normalmente às sexta-feiras, sendo previamente
anunciados.
Local: Sala 5.5
Hora: 14h
Próximo Seminário: 20/5/05,
Pedro Quaresma de
Almeida (DM, UC), Sistemas de Dedução & Provadores Automáticos de Teoremas
Lista:
- 20/5/05, Pedro Quaresma de
Almeida (DM, UC), Sistemas de Dedução & Provadores Automáticos de Teoremas
- 29/4/05, Luís Pinto (U. Minho), Permutabilidade em
cálculo de sequentes através de uma extensão do Cálculo-\lambda
- 22/4/05, Ana
Maria de Almeida (DM, UC), Complexidade - Informação - Entropia
- 15/4/05, Yasser Omar (CLC-UTL), Bits Quânticos e as suas Aplicações
- 7/4/05, João Marcos (CLC-UTL e Unileste-MG),
Modal non-classical negations
- 18/3/05, José Coelho (Universidade
Aberta),
Introdução à Teoria da Complexidade Algorítmica
- 7/3/05, Fernando Ferreira (UL),
Uma nova noção de realizabilidade
Organizadores:
Reinhard Kahle, 17.05.05