previous up next contents
Précédent : Actions nationales et Remonter : Actions nationales et 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 participe aussi à une action du GDR Programmation sur le développement d'outils de démonstration pour la vérification de programmes de type industriel.