Sites Inria

Il y a 1 Résultats avec le mot clé : "program verification"

ITP 2016

ITP 2016

22/08/2016 au 27/08/2016

La 7ème édition de la conférence "Interactive Theorem Proving" ITP2016, organisée par Inria Nancy-Grand Est, se déroulera du 22 au 25 août 2016 dans les locaux du centre.

Elle sera suivie de trois workshops du 25 au 27 août.

ITP est la conférence principale dans le domaine de la preuve assistée par ordinateur.

Lieu : Centre Inria Nancy - Grand Est, 615 rue du Jardin Botanique, 54600 Villers-lès-Nancy

Intervenant(s) : Viktor Kuncak, Grant Olney Passmore, Nikhil Swamy

Mots-clés :

Accueil > Centre > Nancy > Agenda > ITP 2016

lire la suite

Haut de page

Suivez Inria