Inria
Inria.fr
Inria Channel
Il y a 2 Résultats avec le mot clé : "Assistant de preuve Coq"
École CEA-EDF-Inria
Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction
Cette école CEA-EDF-Inria abordera les techniques de base en modélisation et vérification d'algorithmes en Coq. Elle s'adresse aux étudiants, chercheurs ou ingénieurs qui ont une bonne connaissance de la programmation dans un langage conventionnel (C, Java).
Lieu : Inria - Antenne Parisienne, 23 avenue d'Italie - Paris 13ème
Intervenants : Yves Bertot (Inria), Pierre Castéran (U Bordeaux), Benjamin Gregoire (Inria), Pierre Letouzey (U. Denis Diderot), Assia Mahboubi (Inria).
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction
École CEA-EDF-Inria
Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction
Cette école CEA-EDF-Inria abordera les techniques de base en modélisation et vérification d'algorithmes en Coq. Elle s'adresse aux étudiants, chercheurs ou ingénieurs qui ont une bonne connaissance de la programmation dans un langage conventionnel (C, Java).
Lieu : Inria - Rocquencourt bâtiment 1
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction
Centres de recherche Inria
