[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
  salón negro, 1er piso (pasillo que conduce a las bandejas).

Agradezco por difundir el aviso a cualquier persona que pueda ser interesada.

-- Alexandre Miquel