BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:7628@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20170216T110000
DTEND;TZID=Europe/Paris:20170216T120000
DTSTAMP:20241120T204430Z
URL:https://www.i2m.univ-amu.fr/evenements/proofs-of-programs-and-subtypin
 g-in-pml2/
SUMMARY:Rodolphe Lepigre (LAMA\, Université de Savoie): Proofs of programs
  and subtyping in PML2
DESCRIPTION:Rodolphe Lepigre: PML2 is an ML style programming language that
  has the peculiarity of embedding an equational theory over its own progra
 ms\, into its type system. This enables the specification of program prope
 rties as types\, and they are then proved by constructing (terminating) pr
 ograms inhabiting these types. After introducing the concepts of PML2\, it
 s type system and its classical realisability model\, I will discuss recen
 t work on subtyping and the implementation of PML2.\n\n
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Rodolphe_Lepigre.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20161030T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR