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:6018@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20220609T000000
DTEND;TZID=Europe/Paris:20220610T000000
DTSTAMP:20241120T200719Z
URL:https://www.i2m.univ-amu.fr/evenements/sequential-algorithms-and-frien
 ds/
SUMMARY:Workshop (CIRM\, Luminy\, Marseille): Sequential algorithms and fri
 ends
DESCRIPTION:Workshop: WORKSHOP\nThe purpose of this workshop is to survey t
 he state of the art of sequential algorithms\, and to explore connections\
 , whether well established or more speculative\, with other concepts in th
 e field of logic in computer science — game semantics\, models of depend
 ent types and the Dialectica interpretation.\nWe want the workshop to offe
 r an open and friendly atmosphere\, encouraging informal but informed disc
 ussions.\n\nInvited speakers\n\n 	Valentin Blot (LMF\, Paris-Saclay)\n 	Pi
 erre Clairambault (LIS\, Aix-Marseille)\n 	Pierre-Louis Curien (IRIF\, Par
 is Cité)\n 	Paul-André Melliès (IRIF\, Paris Cité)\n 	Sean Moss (Oxfor
 d)\n 	Pierre-Marie Pédrot (LS2N\, Nantes)\n\nEach invited speaker will gi
 ve a one-hour presentation\, and the programme will offer several slots fo
 r open discussions.\nPreliminary programme\nThursday 9 June:\n\n 	10:00-11
 :00\, Pierre-Louis Curien:\n 	Sequential algorithms\, from the source\n 	1
 1:00-11:30:\n 	short break\n 	11:30-12:30\, Pierre Clairambault:\n 	Sequen
 tial algorithms and games\, take 1 (tentative title)\n 	12:30-14:00:\n 	lu
 nch\n 	14:00-15:00\, Paul-André Melliès\n 	Sequential algorithms and gam
 es\, take 2 (tentative title)\n 	15:00-16:30:\n 	break and discussions\n 	
 16:30-17:30\, Pierre-Marie Pédrot:\n 	Dialectica for dummies (tentative t
 itle)\n 	17:30-???:\n 	discussions\, dinner\, etc.\n\nFriday 10 June:\n\n 
 	9:30-10:30\, Sean Moss:\n 	Categorical Dialectica (tentative title)\n 	10
 :30-11:30:\n 	break and discussions\n 	11:30-12:30\, Valentin Blot:\n 	Seq
 uentials algorithms and MLTT (tentative title)\n 	12:30-???\n 	lunch and d
 iscussions\n 	\n
CATEGORIES:Séminaire,Logique et Interactions,Manifestation
 scientifique,Workshop
LOCATION:Luminy - CIRM\, 163 Avenue de Luminy\, Marseille\, 13009\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, Mars
 eille\, 13009\, France;X-APPLE-RADIUS=100;X-TITLE=Luminy - CIRM:geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20220327T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR