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)
|
Contacts:
Laura Fontanella laura dot
fontanella at univ-amu dot fr
Guillaume Geoffroy guillaume dot
geoffroy at univ-amu dot fr
Practical Information
The CIRM is located in the Luminy campus of the Université Aix
Marseille. The webpage of the CIRM is here
To reach the Luminy campus, you can take either the bus 21 from the
metro station Castellane (M1/M2), or the bus 921J (JETBUS) from the metro
station Rond Point du Prado (M2), or the bus 24 from the metro
station Ste Marguerite Dromel (M2). In any case, Luminy is the
terminus.
|
