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

[Damián Ferencz]

Alli nos vemos!

2016-08-12 0:55 GMT-03:00 Alexandre Miquel <amiquel en fing.edu.uy>:

>
> 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
>
>
> _______________________________________________
> Listaestudiantes mailing list
> Listaestudiantes en cmat.edu.uy
> http://www.cmat.edu.uy/cgi-bin/mailman/listinfo/listaestudiantes
>
>
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://www.cmat.edu.uy/pipermail/listaestudiantes/attachments/20160813/b42e7237/attachment.html>