Sites Inria

Il y a 1 Résultats avec le mot clé : "Lawrence Paulson"

Lawrence Paulson Lawrence Paulson

Colloquium J. Morgenstern : Lawrence Paulson

18/05/2017

Jean-Christophe Thalabard viendra nous présenter ses travaux le 18 mai 2017.

L'intitulé de son exposé : "Proof Assistants: From symbolic logic to real mathematics?".

Lieu : Inria, Sophia Antipolis, Bâtiment Kahn

Intervenant(s) : Lawrence Paulson, Professeur, Université de Cambridge

Mots-clés :

Accueil > Centre > Sophia > Agenda > Colloquium J. Morgenstern : Lawrence Paulson

lire la suite

Haut de page

Suivez Inria