Rencontre de Réalisabilité

Carte non disponible

Date/heure
Date(s) - 12/06/2018 - 13/06/2018
0 h 00 min

Catégories


RENCONTRE

,


Cette rencontre vise à réunir des spécialistes de la réalisabilité et des domaines connexes de la logique et de l’informatique.

Site de la rencontre


{{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)


Retour en haut 

Secured By miniOrange