WORKSHOP AGLR-LDP
CIRM, Luminy, Marseille
/perso/laura.fontanella/realizabilityworkshop/
Date(s) : 12/06/2018 - 13/06/2018 iCal
0 h 00 min
Realizability (wiki)
Schedule
Tuesday 12 June:
10:00-10:10 Welcome
10:10-11:10 J.L. Krivine – A propos des modèles de réalisabilité de ZF (slides)
11:20-12:20 H. Batmalle
12:20-14:30 Lunch
14:30-15:10 Discussion session
15:20-16:20 T. Seiller
16:30-17:30 V. Blot
Wednesday 13 June:
10:00-11:00 P. Hyvernat – Miscellaneous remarks about orthogonality (slides)
11:10-12:10 R. Lepigre
12:10-15:00 Lunch
15:00-15:50 Discussion session
16:00-17:00 E. Miquey – A sequent calculus with dependent types for classical arithmetic (slides)
–
Organizers:
– Laura Fontanella (I2M, Marseille)
– Guillaume Geoffroy (I2M, Marseille)
–
Links:
– Slides 2017
– CIRM
Emplacement
CIRM, Luminy
Catégories