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

• Première rencontre GEOCAL (26 et 27 janvier 2004, Luminy, Marseille).
  Programme et renseignements pratiques.
• Réunion Concurrence et Mobilité, à Lyon.
  Dates : 26 et 27 mai 2004.
  Organisateur : Daniel Hirschkoff (LIP, Lyon).
• Réunion Théorie des preuves des types inductifs et coinductifs, à Marseille.
  Dates : 17 et 18 juin 2004.
  Organisateur : Luigi Santocanale (LIF, Marseille).
• Réunion Complexité Implicite et Logique, à Villetaneuse.
  Dates : 6 et 7 septembre 2004.
  Organisateur : Patrick Baillot (LIPN, Villetaneuse).
• Réunion Constructivisme et extraction de programmes à partir de preuves, à Marseille-Luminy.
  Dates : 23 et 24 novembre 2004.
  Organisateurs : Marie-Renée Fleury et Pierre Hyvernat (IML, Marseille).
  Cette réunion est organisée à l'occasion de l'attribution du grade de Docteur Honoris Causa à Per Martin-Löf par l' université de la Méditerranée le jeudi 25 novembre.
• Réunion Invariants algébriques et topologiques du calcul, à Montpellier (I3M).
  Dates : 17 et 18 mars 2005.
  Organisateurs : Eric Goubault, Philippe Malbos.
• Réunion Sémantique du Calcul, à Paris (PPS).
  Dates : 20 et 21 juin 2005.
  Organisateurs : Antonio Bucciarelli.
• Session résidentielle Geocal06, à Marseille (CIRM).
  Dates : du 30 janvier au 3 mars 2006.
  Organisateurs : Thomas Ehrhard et Laurent Regnier.
  

É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

• Alliance project Simplicial and Cubical Sets and Knowledge Evolution in Distributed Systems, à Chevaleret (Paris).
  Dates : 3 et 4 mai 2004.