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:6432@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20210429T103000
DTEND;TZID=Europe/Paris:20210429T113000
DTSTAMP:20241120T201430Z
URL:https://www.i2m.univ-amu.fr/evenements/specification-mathematique-de-l
 angages-de-programmation-via-les-monades-et-leurs-modules/
SUMMARY:Ambroise Lafont  (Data61\, CSIRO\, Cogent team\, Sydney): Spécific
 ation mathématique de langages de programmation via les monades et leurs 
 modules
DESCRIPTION:Ambroise Lafont : La recherche dans le domaine des langages de 
 programmation s'appuie traditionnellement sur une définition de syntaxe m
 odulo renommage des variables liées\, avec la sémantique opérationnelle
  associée. Nous nous intéressons à des outils mathématiques permettant
  de générer automatiquement la syntaxe et la sémantique à partir de do
 nnées élémentaires. Nous portons une attention particulière à la noti
 on de substitution\, utilisant les notions catégoriques de monades et leu
 rs modules. Les langages avec liaisons\, telles que le lambda calcul pur\,
  sont des monades sur la catégorie des ensembles. Nous proposons la notio
 n plus complète de monades de transitions qui prend en compte également 
 la sémantique opérationnelle. Nous donnons quelques exemples de spécifi
 cations de monades de transition\, dans l'esprit de la Sémantique Initial
 e\, selon lequel un objet est caractérisé par une propriété d'initiali
 té dans une catégorie adéquate de modèles.\nMathematical specification
  of programming languages via monads and their modules\nResearch in the fi
 eld of programming languages is traditionally based on a definition of mod
 ulo-renaming syntax of linked variables\, with the associated operational 
 semantics. We are interested in mathematical tools allowing to automatical
 ly generate syntax and semantics from elementary data. We pay particular a
 ttention to the notion of substitution\, using the categorical notions of 
 monads and their modules. Languages with bindings\, such as pure lambda ca
 lculus\, are monads on the category of sets. We propose the more complete 
 notion of transition monads which also takes into account operational sema
 ntics. We give some examples of specifications of transition monads\, in t
 he spirit of Initial Semantics\, according to which an object is character
 ized by a property of initiality in an adequate category of models.\nhttps
 ://hal.archives-ouvertes.fr/hal-02338144v3/\n\nEn visio-conférence ici :\
 n\n  https://greenlight.lal.cloud.math.cnrs.fr/b/lio-hdc-jef\n\n
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 021/04/Ambroise_Lafont.jpg
CATEGORIES:Séminaire,Logique et Interactions,Virtual event
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20210328T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR