Rencontre
CIRM, Luminy, Marseille
/perso/laura.fontanella/realizabilityworkshop/
Date(s) : 12/06/2018 - 13/06/2018 iCal
0 h 00 min
Cette rencontre vise à réunir des spécialistes de la réalisabilité et des domaines connexes de la logique et de l’informatique.
Orateurs :
– Hadrien BATMALLE (IRIF, Paris)
– Valentin BLOT
– Pierre HYVERNAT (LAMA, Université Savoie Mont Blanc)
– Jean Louis KRIVINE (IRIF, Paris)
– Rodolphe LEPIGRE (INRIA, Université Paris Saclay)
– Étienne MIQUEY (IRIF, Paris)
– Thomas SEILLER (LIPN, Villetaneuse)
–
Organisateurs :
– Laura FONTANELLA (I2M, Marseille)
– Guillaume GEOFFROY (I2M, Marseille)
–
Liens :
– Aix-Marseille Université (AMU)
– Centre International de Rencontres Mathématiques (CIRM)
– Institut de Mathématiques de Marseille (I2M)
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