Didier Buchs : Formal Framework for Heterogeneous Incremental Development (ps).

Giovanna di Marzo : Heterogenous formal specification for distributed systems (ps)

Pascal Racloz : Reactive Petri nets with synchronisation (ps)

Jarle Hulaas : A distributed synchronization algorithm for CO-OPN (ps)

Mathieu Buffo : The contextual coordination model (ps)

Julie Vachon : Kind of Subtyping in OO specification formalisms (ps)

Nicolas Guelfi : Fusion and COOPN/2 for the Eurecom project (ps)

Cécile Péraire : A Test set selection for OO software: regularity hypotheses and tool (ps)

Stéphane Barbey : Uniformity hypotheses and subdomain decomposition in TOOS (ps)