Realizability Workshop 2019 (Rencontre de Réalisabilité)

Workshop
CIRM, Luminy, Marseille
/perso/laura.fontanella/realizabilityworkshop2019/

Date(s) : 18/09/2019 - 20/09/2019   iCal
0 h 00 min

In mathematical logic, realizability is a collection of methods in proof theory used to study constructive proofs and extract additional information from them. Realizability (wiki)

Schedule

Wednesday 18 September:

14:00-14:10 Welcome
14:10-15:10 Krivine (slides)
15:20-16:20 Batmalle (slides)
16:30-17:30 Miquey (slides)

Thursday 19 September:

10:00-11:00 Karagila (slides)
11:10-12:10 Blot (slides)

12:10-15:00 Lunch
15:00-15:50 Discussion session
16:00-17:00 Ehrhardt

Friday 20 September:

10:00-11:00 Lepigre (slides)
11:10-12:10 Manzonetto (slides)

12:10-15:00 Lunch

Organizers:
Laura Fontanella (I2M, Marseille)
Guillaume Geoffroy (I2M, Marseille)
Lionel Vaux (I2M, Marseille)

Sponsors:
FRUMAM
Institut de Mathématiques de Marseille (I2M)
LabEx Archimède

Autres liens:
Workshop Realizability 2018
Slides 2017 (Laura Fontanella)
CIRM

 

Emplacement
CIRM, Luminy

Catégories



Retour en haut