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:5854@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20221201T110000
DTEND;TZID=Europe/Paris:20221201T123000
DTSTAMP:20241120T200638Z
URL:https://www.i2m.univ-amu.fr/evenements/the-theory-of-call-by-value-sol
 vability/
SUMMARY:Giulio Guerrieri (LIS\, Aix-Marseille Université): The theory of c
 all-by-value solvability
DESCRIPTION:Giulio Guerrieri: The semantics of the untyped (call-by-name) l
 ambda-calculus is a well developed field built around the concept of solva
 ble terms\, which are elegantly characterized in many different ways. In p
 articular\, unsolvable terms provide a consistent notion of meaningless te
 rm. The semantics of the untyped call-by-value lambda-calculus (CbV) is in
 stead still in its infancy\, because of some inherent difficulties but als
 o because CbV solvable terms are less studied and understood than in call-
 by-name. On the one hand\, we show that a carefully crafted presentation o
 f CbV allows us to recover many of the properties that solvability has in 
 call-by-name\, in particular qualitative and quantitative characterization
 s via multi types. On the other hand\, we stress that\, in CbV\, solvabili
 ty plays a different role: identifying unsolvable terms as meaningless ind
 uces an inconsistent theory.\nL’exposé sera également retransmis ici :
  https://greenlight.lal.cloud.math.cnrs.fr/b/lio-hdc-jef\n\n&nbsp\;
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 022/10/Giulio_Guerrieri.png
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:I2M Luminy - Ancienne BU\, Salle Séminaire2 (RdC)\, 163 Avenue de
  Luminy\, 13009 Marseille\, France\, 
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, 1300
 9 Marseille\, France\, ;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - Ancienne B
 U\, Salle Séminaire2 (RdC):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20221030T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR