[EstudiantesMatemática] Seminario sobre la correspondencia pruebas/programas

[Alexandre Miquel]

Estimados estudiantes,

Este semestre (segundo semestre de 2016), propongo organizar un
seminario de introducción a la correspondencia pruebas/programas
(véase el programa adjunto), que constituye la base teórica de muchos
asistentes de pruebas, tales que los sistemas Coq o Agda.

Este seminario es relacionado al curso de fundamentos que di durante
el primer semestre, pero su contenido es bastante ortogonal, de tal
modo que la asistencia al curso de fundamentos no constituya un
prerrequisito para este seminario.

Propongo una reunión inicial para fijar horarios el día miércoles 17 a
las 16:30 en el CMat.  Ruego a todos aquellos interesados que me
contacten por correo (amiquel en fing.edu.uy), especialmente a los que
no puedan asistir a dicha reunión, para que me hagan llegar sus
preferencias de horarios.

Los espero,

Cordiales saludos,

-- Alexandre Miquel

------------ próxima parte ------------
A non-text attachment was scrubbed...
Name: pruebas-programas.pdf
Type: application/pdf
Size: 53792 bytes
Desc: no disponible
URL: <http://www.cmat.edu.uy/pipermail/listaestudiantes/attachments/20160812/54391435/attachment-0001.pdf>