Le génie logiciel des mathématiques formelles (Georges Gonthier)

Pour la prochaine séance du séminaire « Codes sources », nous aurons l’honneur de recevoir Georges Gonthier, de Microsoft Research et de l’INRIA. Cet événement aura lieu le mercredi 14 octobre 2015, de 14h-16h, au LIP6. Vous trouverez ci-dessous davantage de détails sur ce séminaire.

Lors de cette séance, Georges Gonthier présentera :

« Le génie logiciel des mathématiques formelles »

La séance aura lieu en salle 24-25/405 du LIP6 (rotonde 24 ou 25, 4e étage), au sein de l’université Pierre-et-Marie Curie (aussi appelée UPMC ou Paris 6). Voici un plan du campus avec la numérotation des rotondes.

Adresse :

4 place Jussieu, 75005 Paris
métro Jussieu (lignes 7 et 10)