Rechercher

École de Printemps d'Informatique Théorique

Lieu: Fréjus
Date et Heure de début: 24-05-2015
Date et Heure de fin: 29-05-2015
Description: l'École de printemps d'informatique théorique peut intéresser des thésards et/ou post-doc. Cette année elle porte sur la preuve mécanisée de programmes. Elle s'adresse à tout jeune chercheur intéressé de près ou de loin par ce thème et aucune connaissance préalable sur la preuve sur ordinateur n'est nécessaire. L'outil utilisé est l'assitant de preuve Coq. Cet événement est organisé par Yann Régis-Gianas (enseignant-chercheur Paris Diderot), Pierre Letouzey (enseignant-chercheur Paris Diderot) et Matthieu Sozeau (chercheur Inria).
Site Web: http://www.epit2015.website/