Rencontre de Réalisabilité 2018

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



Retour en haut 

Secured By miniOrange