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