SOBRE EL EVENTO

Invitados

• Xavier Caicedo
  Universidad de los Andes - Colombia
  Conferencia: ASPECTOS TOPOLÓGICOS DE LA TEORÍA DE MODELOS
  
  
• Salvador Lucas
  Universidad Politécnica de Valencia - España
  Cursillo: TEORÍA DE TIPOS.
  
  
• Matilde Celma
  Universidad Politécnica de Valencia - España
  Cursillo: LÓGICA Y BASES DE DATOS.
  
  
• Francisco Correa
  Universidad EAFIT - Colombia
  Cursillo: PROGRAMACIÓN LÓGICA