LIRMM, Laboratoire d'Informatique, de Robotique et de MicroElectronique de Montpellier

• Equipe: DOC: Données, objets, composants
  
  • Contacts: Marianne Huchard, Clémentine Nebut, Chouki Tibermacine , Christelle Urtado, Sylvain Vauttier, Xavier Dolques
  • Lien: http://www.lirmm.fr/DOC/
• Equipe: Coconuts: contraintes, apprentissage et systèmes multi-agents
  
  • Contacts: Michel Liquière
  • Lien: http://www.lirmm.fr/coconut/index.html

LIF, Laboratoire d'Informatique Fondamentale, Marseille

• Equipe : Modélisation et Vérification
  
  • Contact: Luigi Santocanale, Fréderic Olive, François Brucker
  • Lien: http://www.lif.univ-mrs.fr/