Programa Preliminar:

Miércoles, 19 de septiembre

09:15–9:30
Recepción y Apertura
9:30–10:30
Acto Inaugural con la participación de Antonio Campillo (RSME)
10:30–11:30
Conferencia invitada: Jörg Flum (Universidad de Friburgo)
Los teoremas de incompletitud de Gödel vía la complejidad computacional
11:30–12:00
Pausa Café
12:00–12:30
Juan Carlos Martínez (Universidad de Barcelona)
Espacios D
12:30–13:00
Ángel Nepomuceno (Universidad de Sevilla)
Razonamiento abductivo en lógica epistémica dinámica
13:00–13:30
M. Carmen Hernández (Universidad de Sevilla)
Razonamiento que conduce a la génesis de una hipótesis: el papel de la pregunta

 

16:00–19:30

 

Sesión de Homenaje al Profesor
Alejandro Fernández Margarit

 

 

21:00
Cena
(los participantes que deseen asistir a la cena de homenaje deben ponerse en contacto con los organizadores antes del día 15 de septiembre)

 

Jueves, 20 de septiembre

10:00–11:00
Conferencia invitada: Margarita Otero (Universidad Autónoma de Madrid)
Grupos y Teoría de modelos
11:00–11:30
Pausa Café
11:30–12:30
Conferencia invitada: Enrique Casanovas (Universidad de Barcelona)
Tipos estables
12:30–13:00
Eugenio Roanes (Universidad Complutense de Madrid)
Extracción de conocimiento y verificación de sistemas expertos usando bases de Gröbner (una panorámica)
13:00–13:30
David Fernández (Universidad de Sevilla)
Modelos de la demostrabilidad

 

16:00–17:00
Conferencia invitada: Joan Bagaria (ICREA-Universidad de Barcelona)
Sobre cardinales omega_1-fuertemente compactos
17:00–17:30
Pausa Café
17:30–18:00
Joaquín Borrego (Universidad de Sevilla)
Compactificación de Stone-v-Cech de modelos de inducción débil. Aplicaciones
18:00–18:30
Félix Lara (Universidad de Sevilla)
Teoría de demostración de la Aritmética a través de la Teoría de modelos
18:30–19:00
Acto clausura