[Todos CMAT] Fwd: Charlas en IMERL miércoles 3/12
Walter Ferrer
wrferrer en gmail.com
Lun Dic 1 08:00:07 UYST 2014
---------- Forwarded message ----------
From: Alexandre Miquel <amiquel en fing.edu.uy>
Date: Mon, Dec 1, 2014 at 1:14 AM
Subject: Charlas en IMERL miércoles 3/12
To: Alberto Pardo <pardo en fing.edu.uy>, szasz en ort.edu.uy, tasistro en ort.edu.uy,
wrferrer en cmat.edu.uy, malherbe en fing.edu.uy, matildem en fing.edu.uy,
mguille en fing.edu.uy, luisferrari en gmail.com,
Christophe.Raffalli en univ-savoie.fr, rodolphe.lepigre en univ-savoie.fr,
pierre.hyvernat en univ-savoie.fr
Estimad en s,
Con ocasión de la llegada de nuestros tres invitados franceses (que
vienen de la Université de Savoie, Chambéry), el Equipo de Lógica
organiza el *miércoles 3 de diciembre* un medio día de charlas en el
IMERL. Aquí está el programa:
* 14:00-15:00: Pierre Hyvernat:
« Continuous functions between streams (et al.) as datatypes ».
Joint work with Peter Hancock.
* 15:00-15:30: Pausa.
* 15:30-16:30: Rodolphe Lepigre:
« Towards an adequation lemma for PML2 ».
PML2 is intended as a full-featured programming language providing
support for proofs of programs and formal mathematics. The
evaluation of programs is based on a call-by-value Krivine
Machine. On the side of logic we use higher-order types including
dependent product. It is well known that, in the presence of
classical logic, the rule for the dependent product needs a value
restriction. In general, this makes the logic impractical. We show
that it is possible to lower this defect by adding a new logical
rule in which the equational logic of terms plays a role. We then
show that it is possible to build an adequate Classical
Realizability model for this system.
* 16:30-17:00: Pausa
* 17:00-18:00: Christophe Raffalli:
« Mixing combinators and Extended BNFs for an efficient syntactic
analysis of OCaml programs »
La sala exacta será anunciada más adelante.
Saludos,
-- Alexandre Miquel
P.S: Gracias por transmitir el anuncio a las personas interesadas.
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://www.cmat.edu.uy/pipermail/todos/attachments/20141201/6e6df49b/attachment.html>
Más información sobre la lista de distribución Todos