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:7725@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20161020T110000
DTEND;TZID=Europe/Paris:20161020T120000
DTSTAMP:20241120T204813Z
URL:https://www.i2m.univ-amu.fr/evenements/effectuses-land-of-probabilitie
 s/
SUMMARY:Titouan Carette (ENS Lyon): Effectuses\, land of probabilities
DESCRIPTION:Titouan Carette: Curry-Howard isomorphism is a well known game 
 which consists in translating concepts of computer science into logical on
 es and vice versa. Thus\, when physicists came with quantum computation\, 
 it was just a question of time before logians tried to play with this new 
 toy. But quantum world is wild and brings many challenges. Effectuses are 
 a proposition to adress those. They are categories designed to deal with q
 uantum and probabilistic programs. This approach reveals striking connecti
 ons between physics\, mathematics and computer science. Among them is the 
 Isbell duality\, a mathematical phenomenon making a link between Djisktra'
 s predicates transformers view on programs and Heisenberg's interpretation
  of quantum mechanic. The presentation will slowly and friendly present ef
 fectuses before focusing on the Isbell category-theoretical machinery and 
 its consequences.\nhttps://arxiv.org/find/quant-ph/1/au:+Carette_T/0/1/0/a
 ll/0/1
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 016/10/Titouan_Carette.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20160327T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR