previous up next top index
Précédent : Actions nationales et internationales Remonter : Actions nationales et internationales Suivant : Actions internationales


Actions nationales

Nous participons au projet groupé DEMOTHEO du GDR Programmation et Outils pour l'Intelligence Artificielle, sur le thème contraintes et déduction automatique. Ce projet regroupe les équipes PROTHEO, DEMONS du LRI et des chercheurs de Strasbourg et Rouen. Dans ce contexte, notre projet a participé à une action du GDR Programmation sur le développement d'outils de démonstration pour la vérification de programmes de type industriel. Nous dirigeons également deux groupes de travail du GDR/PRC AMI, le groupe ``Déduction et calcul formel'' et le groupe ``Méthodes effectives de décidabilité''.