[Todos CMAT] Charla del profesor Christophe Raffalli en el INCO

Mauricio Guillermo mguille en fing.edu.uy
Vie Jun 2 00:31:53 -03 2017


Estimados,

El profesor Christophe Raffalli de la Université de Savoie ofrece una 
charla titulada

"PML, toward a new proof assistant and programming language"

La charla será el Miércoles 7 de Junio 12:00- 13:30 hs

Sala 004 - INCO

(Senda Landoni, "atrás" de FING)

El abstract lo encuentran en:

https://www.fing.edu.uy/evento/christophe-raffalli-pml-toward-new-proof-assistant-and-programming-language

Saludos cordiales,

MAURICIO.
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://www.cmat.edu.uy/pipermail/todos/attachments/20170602/eda0e10e/attachment.html>


Más información sobre la lista de distribución Todos