Realizability Workshop 2018 (Rencontre de Réalisabilité)

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



Retour en haut