Seminário de Lógica e Computação
2009/10
Departamento de Matemática, FCT-UNL
O Seminário de Lógica e Computação na Universidade Nova de Lisboa vem no seguimento do seminário organizado na Universidade de Coimbra entre 2005 e 2008. Trata-se de 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 sextas-feiras, sendo previamente anunciados.
Local: 1.6 VII
Hora: 10:30
Próximo Seminário:
18/12/2009, Sexta-feira, 10:30, 1.6 VII
Félix Costa
IST-UTL and CMAF-UL
Computable Scientists, Uncomputable World
Lista:
2009/10
- 18/12/2009, Félix Costa (IST-UTL and CMAF-UL): Computable scientists, uncomputable world
- 11/12/2009, João Rasga (IST-UTL and SQIG-IT): Decidability of first-order theories: a model-theoretic perspective
- 04/12/2009, Lenka Trojaková: student seminar
- 27/11/2009, Yasser Omar, (ISEG-UTL and IT): Quantum Bits and their Applications
- 27/11/2009, João Soares, (Polytechnical Institute of Setúbal): Ehrenfeucht-Fraïssé games
- 20/11/2009, Zakka Muhammad and Aníbal Oliveira: student seminars
- 13/11/2009, João Martins: student seminar
- 06/11/2009, Martin Vesely and Héctor González: student seminars
- 30/10/2009, Ján Mazák (Comenius University): Possible/necessary winners in elections based on scoring rules - an overview
- 23/10/2009, Fábio Chalub (DM, FCT-UNL): A short introduction to game theory
- 16/10/2009, Reinhard Kahle (DM, FCT-UNL and CENTRIA): The Ackermann function
- 02/10/2009, Jesse Alama (CENTRIA): The Grzegorczyk hierarchy
Isabel Oitavem
Last modified: Wed Sep 30 11:39:08 WEST 2009