[Todos CMAT] Fwd: Charlas en IMERL miércoles 3/12

[Walter Ferrer]

---------- 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>