El 7 y 8 de abril en el aula Miguel de Guzmán tendrá lugar el Logicomicón, una serie de conferencias sobre lógica matemática en la Facultad de Ciencias Matemáticas de la UCM.

Conferencias del martes 7 de abril:

• 13:00. La Incompletitud de Gödel.
  Victor Calvo Blanco (Universidad Complutense)
• 14:00. Cuando Gödel intentó demostrar la existencia de Dios.
  Miguel Recio Ibáñez (Universidad Complutense)
• 15:00. Descanso para comer.
• 16:00. Demostrando con ultraproductos.
  Jorge Carrasco Coquillat (University of Bonn)
• 17:00. El arte de pegar estructuras: El límite de Fraïssé y las estructuras homogéneas.
  Leonardo Torres Villegas (IMDEA Software)

Conferencias del miércoles 8 de abril:

• 13:00. Teoría de la estabilidad y estructuras ordenadas.
  Marcos Girón Fernández (Universidad Complutense)
• 14:00. Álgebra de la que podemos hablar: Grupos definibles.
  Pablo Cageao Honduvilla (University of Bonn)
• 15:00. Descanso para comer.
• 16:00. Objetos “buenos” en Matemáticas: Geometría dócil y Teoría de modelos.
  Pablo Gómez Morales (Universitat de València)
• 17:00. Final del evento.