Journée « automatisation » du 24 mars 2009
10h30-12h30
Synthèse de la journée sur Cocorico!
- Questions d'ordre général autour de l'ADT
- Exposé de Pierre Letouzey
- Problèmes posés par la réalisation de procédures de décisions réflexives en Coq (Stéphane Lescuyer)
- Présentation de l'ANR Decert (Frédéric Besson)
- Tactique basée sur le théorème des zéros (Loïc Pottier)
- Autour des procédures de décision pour l'arithmétique linéaire (Assia Mahboubi)
- Bilan et discussion
Synthèse de la journée sur Cocorico!