ACI Nouvelles Interfaces des Mathématiques

Géométrie du Calcul (GEOCAL)



Ce projet regroupe 10 équipes de recherche en logique, informatique théorique et topologie algébrique.
On trouvera une description des thèmes scientifiques du projet dans ce texte au format PDF (version .gz).

Rencontres scientifiques


Équipes participant au projet

Site (laboratoire, équipe)
Responsable
Institut de Mathématiques de Luminy, LDP
Thomas Ehrhard (responsable du projet)
Preuves, Programmes, Systèmes
Antonio Bucciarelli
Laboratoire d'Informatique Fondamentale, modélisation et vérification
Luigi Santocanale
Laboratoire d'Informatique de Paris Nord, LCR
Patrick Baillot
Laboratoire Spécification et Vérification Jean Goubault-Larrecq
Laboratoire d'Informatique du Parallélisme, PLUME
Daniel Hirschkoff
Unité de recherche FUTURS (INRIA) Dale Miller
Institut de Mathématiques et Modélisation de Montpellier
Daniel Guin
LORIA, projet CALLIGRAMME
Jean-Yves Marion
INRIA-Sophia, projet MIMOSA
Gérard Boudol

Une équipe dirigée par Eric Goubault au sein du laboratoire Sûreté des Logiciels (CEA) fait également partie de notre projet. Elle est rattachée au site Preuves, Programmes, Systèmes. Eric Goubault est aussi responsable de l'Action Spécifique CNRS "Topologie Algébrique pour l'étude des structures de calcul et notamment de la concurrence" avec laquelle notre ACI partage plusieurs centres d'interêt.


Quelques rencontres scientifiques sur des thèmes proches de ceux de GEOCAL