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:7642@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20170202T110000
DTEND;TZID=Europe/Paris:20170202T120000
DTSTAMP:20241120T204744Z
URL:https://www.i2m.univ-amu.fr/evenements/the-geometry-of-parallelism-pro
 babilistic-and-quantum-effects/
SUMMARY:Claudia Faggian (IRIF\, PPS team\, Université de Paris): The geome
 try of parallelism: probabilistic and quantum effects
DESCRIPTION:Claudia Faggian: What become the notions of confluence and con
 vergence when a parallel rewrite system has both a probabilistic choice an
 d the possibility of non-termination? We present a notion of Probabilistic
  Abstract Rewrite System (PARS) which deals with this issue by recovering 
 a form of “diamond property”.\nThis result (the focus of the talk) is 
 of interest in its own\, but it is also key to introduce a Geometry of Int
 eraction model for higher-order computation which has the ability to model
  commutative effects in a parallel setting\, and to capture in particular 
 quantum and probabilistic effects. The model (also sketched in the talk) c
 omes with a multi-token machine\, a proof net system\, and a PCF-style lan
 guage\, which are all instances of PARS with a diamond property.\nBeing ba
 sed on a rewrite system equipped with a memory\, our model has a concrete 
 nature which makes it well suited for building low-level operational descr
 iptions of higher-order languages. A success of our approach is to give (e
 ssentially for free) an adequate model for a fully-fledged quantum progra
 mming language in which entanglement\, duplication\, and recursion are all
  available.\n(Joint work with Ugo Dal Lago\, Benoit Valiron\, Akira Yoshim
 izu)\nRéférence : https://arxiv.org/pdf/1610.09629v2.pdf
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Claudia_Faggian.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