Précédent : Actions régionales, nationales et internationales Remonter : Actions régionales, nationales et internationales Suivant : Actions financées par la Commission
Précédent : Actions régionales, nationales et
internationales Remonter : Actions régionales, nationales et
internationales Suivant : Actions financées par la
Commission
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.