Preliminary programme:

 Thu 6th Feb, 2014

09:30–10:30
Enrique Casanovas
Hiperimaginarios finitarios/Finitary hyperimaginaries
10:30–11:30
Daniel Palacín
Expansiones estables de grupos libres abelianos/Stable expansions of Abelian free groups
11:30–12:00
Coffee break
12:00–13:00
Juan Carlos Martínez
Sobre espacios D y espacios LCS/ On D-spaces and LCS-spaces
13:00–14:00
David Fernández
Modelos de la lógica de la demostrabilidad/Models of Provability Logic

16:15–17:15
Joost Joosten
Reflexión predicativa/On Predicative Reflection
17:15–17:45
Coffee break
17:45–18:45
Andrés Cordón
Esquemas de inducción local/On local induction

Fri 7th Feb, 2014

10:00–11:00
Félix Lara
Modelos existencialmente cerrados de teorías aritméticas/Existentially closed models of arithmetic theories
11:00–11:30
Coffee break
11:30–13:30
Working groups:
Working group session