Georges Gonthier : Le génie logiciel des mathématiques formelles (14/10/2015)

Orateur

Georges Gonthier (Microsoft Research, INRIA)

Titre

Le génie logiciel des mathématiques formelles

Informations

Mercredi 14 octobre 2015, 14h-15h30.

LIP6, salle 24-25/405.

Cette séance n’a donné lieu à aucun enregistrement.