Didier Buchs : A deduction system for concurrent objects (ps).

Nicolas Guelfi : Comparison of Object Oriented Formal Methods (ps)

Jarle Hulaas : The tools implementing the distributed COOPN language (ps)

Julie Vachon : Subtyping as a Support for Incremental Development

Giovanna di Marzo : Formal Development of Java Distributed Applications (ps)

Frédéric Veynachter : Fusion for EasyMeeting (ps)

Gabriel Eckert : Practical typology (ps)