• Compte-rendu synthétique de la journée ADT automatisation du 24 mars 2009
• Questions d'ordre général
• Questions d'ordre « technologique » liées au développement de l'automatisation en Coq