[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