Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

Rencontre de Réalisabilité

Du 12 au 13 juin - RENCONTRE

Rencontre de Réalisabilité

Résumé : 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)
-

JPEG - 21.8 ko

-
Liens :
- Aix-Marseille Université (AMU)
- Centre International de Rencontres Mathématiques (CIRM)
- Institut de Mathématiques de Marseille (I2M)

Lieu : Salle de la bibliothèque du CIRM - 163 avenue de Luminy
Case 916
13288 MARSEILLE - Cedex 9
France

Exporter cet événement

Pour en savoir plus sur cet événement, consultez l'article Manifestations scientifiques (colloques, écoles,...)