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