Workshop
CIRM, Luminy, Marseille
/perso/lionel.vaux/algoseq.html
Date(s) : 09/06/2022 - 10/06/2022 iCal
0 h 00 min
WORKSHOP
The purpose of this workshop is to survey the state of the art of sequential algorithms, and to explore connections, whether well established or more speculative, with other concepts in the field of logic in computer science — game semantics, models of dependent types and the Dialectica interpretation.
We want the workshop to offer an open and friendly atmosphere, encouraging informal but informed discussions.
Invited speakers
- Valentin Blot (LMF, Paris-Saclay)
- Pierre Clairambault (LIS, Aix-Marseille)
- Pierre-Louis Curien (IRIF, Paris Cité)
- Paul-André Melliès (IRIF, Paris Cité)
- Sean Moss (Oxford)
- Pierre-Marie Pédrot (LS2N, Nantes)
Each invited speaker will give a one-hour presentation, and the programme will offer several slots for open discussions.
Preliminary programme
Thursday 9 June:
- 10:00-11:00, Pierre-Louis Curien:
- Sequential algorithms, from the source
- 11:00-11:30:
- short break
- 11:30-12:30, Pierre Clairambault:
- Sequential algorithms and games, take 1 (tentative title)
- 12:30-14:00:
- lunch
- 14:00-15:00, Paul-André Melliès
- Sequential algorithms and games, take 2 (tentative title)
- 15:00-16:30:
- break and discussions
- 16:30-17:30, Pierre-Marie Pédrot:
- Dialectica for dummies (tentative title)
- 17:30-???:
- discussions, dinner, etc.
Friday 10 June:
- 9:30-10:30, Sean Moss:
- Categorical Dialectica (tentative title)
- 10:30-11:30:
- break and discussions
- 11:30-12:30, Valentin Blot:
- Sequentials algorithms and MLTT (tentative title)
- 12:30-???
- lunch and discussions
Emplacement
CIRM, Luminy
Catégories