09h00-10h00: Claude Marché (LRI Orsay) - Preuve de programmes C et Java par traduction fonctionnelle
10h30-11h30: Silvio Ranise (LORIA Nancy) - An Extensible and Decidable Logic for Pointer Programs Manipulating Linked Lists
11h30-12h00: Nicolas Peltier (Leibniz Grenoble) - Logique et termes-graphes
12h00-12h30: Karim Nour (LAMA Chambéry) - Une logique combinatoire classique
14h15-15h15: Claude Kirchner et Benjamin Wack (LORIA Nancy) - Aspects sémantiques et logiques du calcul de réécriture
15h15-16h15: René David (LAMA Chambéry) - Forte normalisation de divers systèmes de lambda-calcul
16h30-17h00: Frédéric Prost (Leibniz Grenoble) - Réécriture de graphes
17h00-17h30: Caroline Priou (PPS Paris 7) - Séparabilité dans un lambda calcul non-déterministe
09h00-10h00: Pierre Lescanne (ENS Lyon) - Implantation de la logique de la connaissance en COQ
10h30-11h30: Renaud Rioboo (LIP6 Paris 6) - Le projet
Focal (exposé)
11h30-12h30: Olivier Ruatta (LACO Limoges) - Mathemagix
13h00: Déjeuner
(restaurant
Universitaire Diderot, salle Duthérian)
14h15-15h15: Jean-Guillaume Dumas (LMC Grenoble) - Modélisation de la librairie d'algèbre linéaire LinBox
Pause café
15h30-16h00: Pierre Lescanne (ENS Lyon) - Le calcul X
16h00-16h30: Stéphane Lengrand (PPS Paris 7) - Elimination des coupures et normalisation en logique intuitioniste
