[Todos CMAT] Curso de posgrado: lógica y programación

[amiquel]

Estimados estudiantes,

El profesor Christophe Raffalli (Université de Savoie, France) va a  
dar un curso
de posgrado sobre la correspondencia entre la lógica y la  
programación, titulado:

   Introducción a la Realizabilidad y a la Teoría de Tipos,

Para el programa detallado así como los detalles, véase:

    
http://www.pedeciba.edu.uy/pedeciba/cartelera/adjuntos/curso-posgrado-raffalli.pdf

El curso empezará a partir de la semana del 4 de setiembre.  Para  
determinar los
horarios (y los días) del curso, se organizará una

  reunión de información el jueves 31 de agosto, a 17:00
  en el IMERL (salón a confirmar)

Gracias por difundir el aviso a cualquier persona que pueda ser interesada.
Y para los que ya saben que quieren asistir al curso, gracias por avisarme
por correo.

Estoy disponible para cualquier consulta,

-- Alexandre Miquel