Projet ANR SOAPDC :
Structures d'Ordre et Applications
au calcul Distribué, Parallèle et Concurrent

Description du projet au format texte et pdf.

Le rapport scientifique final du projet au format pdf.

Participants

• Peter Niebert,
• HongYang Qu,
• Rémi Morin,
• Nicolas Baudru,
• Luigi Santocanale (coordinateur du projet),
• Paul Ruet,
• Emmanuel Godard.

Rencontres

• Premier rencontre : CMI, salle 102, le 23/03/2006, à 14h00. Le programme.
• Deuxième rencontre : reporté. Le programme.
• Troisième rencontre : CMI, salle 102, le 1/06/2006, à 14h00. Le programme.
• Quatrième rencontre : CMI, salle 102, le 15/06/2006, à 15h00. Le programme.
• Cinquième rencontre : CMI, salle 102, le 22/06/2006, à 14h00. Le programme.
• Sixième rencontre : CMI, salle ??, le 13/07/2006, à 14h00. Le programme.
• Rattrapage du deuxième rencontre : CMI, salle 102, le 7/12/2006. Le programme.
• Septième rencontre : CMI, salle 102, le 25/01/2007, à 12h45. Le programme.
• Huitième rencontre : IML, Amphi Herbrand, le vendredi 23/02/07, de 14h00. Le programme.
• Neuvième rencontre : CMI, salle 102, le 8/03/2007, à 12h45. Le programme.

Événements

• Groupe de Travail Treillis Marseillais, au CIRM, 23-27/04/2007.

Bibliographie

• Publications du projet SOAPDC.

Outils

• La page web (en cours de construction) du model checker POEM.
• La page web de AMSC.