Site Web de Quadrature

Vous pouvez également consulter le site de la revue à l'adresse suivante :
http://www.quadrature.info/

jeudi 15 septembre 2016

Leslie Lamport à Math Park

le séminaire Math Park de l'IHP  revient avec une séance inaugurale spéciale: Leslie Lamport vient nous parler de sa "méthode" pour écrire des démonstrations enfin fiable.
Sa conférence, en français, aura lieu le 01/10 à 15h et est ouverte à tous les publics mais accessible à des étudiants de Maths Sup.
Il suffit de s'inscrire à la page suivante:
http://www.ihp.fr/fr/seminaire/mathpark-inscription

Aucun commentaire:

Enregistrer un commentaire