Quinta 28 de Fevereiro de 2008
14.30 Corina Yoris (Univ. Cat.
Antonio Velho, Venezuela)
"And then there were none" y el
razonamiento abductivo. El poder esclarecedor de la lógica
15.20 Angel Nepomuceno Fernández (Univ. Sevilha)
Relaciones de inferencia y el modelo
lógico de explicación científica
16.10 Cristina Barés Gómez (Conselho Superior de Investigacion
Científica, Madrid)
Sistemas
expertos y linguística computacional: estructuras
lógico-linguísticas de lenguas antiguas
17.00 Pausa para café
17.20 Maria José Frapolli (Univ.
Granada)
Stop beating the donkeys. Anáfora y condicionales en
las donkey-sentences
18.10 Rui Moreira (Univ. de Lisboa /CFCUL)
O que é uma teoria em Física?
22h
Conversas
sem matéria, apresentação de Rui Moreira, Fábrica de Braço de
Prata
Sexta feira, 29 de Fevereiro de 2008
14.30 Mário de J. Pérez Jiménez (Univ. Sevilha)
Métodos formales de computación bio-inspirada
15.20 Maria Manzano Arjona (Univ.
Salamanca)
Hybrid Type Logic
16.10 Luis Fernández Moreno (Univ.
Complutense, Madrid)
Consideraciones sobre la referencia de
los terminos de sustancia
17.00 Pausa para café
17.20 Reinhard Kahle (Univ.
de Coimbra)
The universal set: a battle between Philosphy and
Mathematics
18.10 Ulianov Montaño (Univ.
Groningen)
Belleza en matematicas
19.00 Fernando Ferreira (Univ. da
Lisboa)
A most artistic package of a jumble of ideas |