ENSIIE

Projet en Coq de l'option Programmation Raisonnée (ENSIIE)
Sandrine Blazy

Novembre 2007 - janvier 2008


Cette page rassemble quelques informations utiles pour le projet.

Articles à présenter

Une synthèse des articles est à rendre au plus tard le lundi 19 novembre à midi au secrétariat.
Les exposés auront lieu mardi 20 novembre à 13 heures.
Le fichier au format pdf des transparents devra m'être envoyé au plus tard lundi 19 novembre.
Chaque exposé durera un quart d'heure et sera suivi de questions.

Binômes encadrés par S.Blazy
Binôme Article Complément
Arnaud Jolly, Olivier Quilez A computing procedure for quantification theory A machine program for theorem-proving Règles d'inférence
Yves Pasteur, Philippe Tony On Shostak's decision procedure for combinations of theories
Natacha Castellan, Mehdi Fekih Deconstructing Shostak

Projet en Coq

Le projet débute le mardi 4 décembre.

La page de Coq, permettant de consulter la documentation de Coq, ainsi que ses bibliothèques.

Notation du projet

Une synthèse du travail réalisé est à rendre au plus tard le mardi 29 janvier. Cette synthèse sera envoyée par mail sous la forme d'un fichier pdf à chaque chargé de projet.
Les exposés auront lieu jeudi 31 janvier à 14 heures 30.
Le fichier au format pdf des transparents devra m'être envoyé au plus tard jeudi 31 janvier à midi.
Chaque exposé durera dix minutes et sera suivi de questions.