Précédent : Action de Recherche Coopérative Java Remonter : Actions régionales, nationales et internationales Suivant : Collaborations internationales
Précédent : Action de Recherche Coopérative
Java Remonter : Actions régionales, nationales et
internationales Suivant : Collaborations
internationales
Isabelle Attali participe au groupe de travail « Spécification, vérification, sémantique » du GDR ALP : Algorithmique, Langages et Programmation dont le responsable est Giuseppe Castagna, ENS-Ulm.
Loïc Pottier, Laurence Rideau et Laurent Théry participent au groupe de travail GDR-AMI sur déduction et calcul formel.