Information Society Technologies (IST) Programme, FET Open Assessment Project: IST-2000-26410

Operative commencement date of contract: May 1st, 2001.

Participants:

• Software Engineering Group, Institut für Informatik, ALU Freiburg, Germany.
  David Basin, Sebastian Mödersheim, Luca Viganò.

• Mechanized Reasoning Group, DIST, Università degli Studi di Genova, Italy.
  Alessandro Armando, Luca Compagna, Enrico Giunchiglia.
• LORIA-INRIA-Lorraine, Nancy, France.
  Mohamed Mehdi Bouallagui, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron.

Mailing list: aviss@informatik.uni-freiburg.de