Nicolas Guelfi : Réseaux synchronisés (ps)

Olivier Biberstein : Concurrency and O-O with structured Algebraic nets (ps)

Mathieu Buffo : DOOSE - Distributed Object Oriented Software Engineering (ps)

Cécile Péraire : Une méthode de tests fonctionnelle générale (ps)

Stéphane Barbey : Testing in a world of classes and class hierarchies (ps)

Jarle Hulaas : Incremental Object-Oriented implementation of concurrent systems based on prototyping of formal specifications (ps)

Pascal Racloz : Symbolic representation of markings and its application to model checking (ps)

Christophe Buffard : Modeling and validating tasks with algebraic structured nets (ps)

Giovanna di Marzo : An example of use of category theory for AHL nets (ps)

Jacques Flumet : Les grammaires de graphes et le formalisme CO-OPN (ps)