Sites Inria

English version

A la une

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 :

lire la suite

Journées Scientifiques Inria

Journées Scientifiques Inria 2017 à Sophia Antipolis

14/06/2017 au 16/06/2017

C'est au centre de recherche Inria de Sophia Antipolis - Méditerranée que se dérouleront du 14 au 16 juin 2017 les Journées scientifiques 2017

Lieu : Inria Sophia Antipolis - Méditerranée

Mots-clés :

lire la suite

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !