Sites Inria

English version

ITP 2016

ITP 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.

  • Date : 22/08/2016 au 27/08/2016
  • Lieu : Centre Inria Nancy - Grand Est, 615 rue du Jardin Botanique, 54600 Villers-lès-Nancy
  • Intervenants : Viktor Kuncak, Grant Olney Passmore, Nikhil Swamy

Plus d'infos et programme: https://itp2016.inria.fr/

Contacts scientifiques: Jasmin Christian Blanchette et Stephan Merz

Contact administratif: Anne-Lise Charbonnier 

Localisation

Keywords: Security Formalization of mathematics Program verification

Haut de page

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