Realizability Workshop 2018

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



Retour en haut 

Secured By miniOrange