RENCONTRE AGLR-LDP
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)
Emplacement
CIRM, Luminy
Catégories