Projet : PROTHEO

previous up next contents
Précédent : Actions régionales, nationales et internationales Remonter : Actions régionales, nationales et internationales Suivant : Actions financées par la Commission


   
Actions nationales

Nous participons aux projets suivants du GDR/PRC ALP, sur le thème contraintes et déduction automatique : Collaboration de solveurs, Languages et Outils pour la DEduction sous Contraintes, Mélanges de Systèmes algébriques et logiques.

Nous coordonnons l'action de recherche coopérative INRIA Presysa : preuves par réécriture de systèmes synchrones et asynchrones.