Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Séminaire

Sequential algorithms and friends

Workshop
CIRM, Luminy, Marseille
/perso/lionel.vaux/algoseq.html

Date(s) : 09/06/2022 - 10/06/2022   iCal
0h00

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

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
Luminy - CIRM

Catégories


Secured By miniOrange