| Causal Calculi Based on Nets (CALIBAN) | July 23, 1995 |
| International Exchange - N Anissimov | December 24, 1996 |
| Algebraic Net Theory (ANT) | May 31, 1998 |
| Formal Methods Europe Information Resources (FME Inf Res) | June 30, 1997 |
| Formal Methods Industrial Seminars (FME Ind Sem) | November 30, 1997 |
| Compositional Nets For Real-Time Systems (COMFORT) | March 31, 2000 |
| Algebraic Tools for Modelling Telecommunication Systems (ATMTS) | March 31, 1998 |
| Traceability for Dependable Avionic Systems | March 31, 2000 |
| Validation Techniques for Real-Time Distributed Systems | September 30, 1998 |
| A European Network for Increased Safety at Small Enterprises (ISA-EUNET) | December 31, 1999 |
| Box Algebra with Time (BAT) | May 31, 2001 |
| Theoretical Approach for the Modelling and Analysis of Hybrid Systems | November 30, 1999 |
| Hollingwood -EPSRC Case | September 30, 1998 |
| Parallel and distributed object-oriented languages: semantics and development method | November 30, 1999 |
| Verifying Interaction Abstractions in High Integrity Cocurrent Systems using Petri Nets (VINTAGE) | November 30, 1999 |
| A System for Parallel Model Checking | December 31, 2002 |
| MyGrid (MyGrid) | December 31, 2002 |
| Box Algebra with Asynchronous Communications (BEACON) | February 28, 2003 |
| Java in Pep (JIP) | March 31, 2004 |
| Rigorous Open Development Environment for Complex Systems (RODIN) | October 31, 2007 |
| CAusal SemantIcs of Nets with inhibitOr arcs (CASINO) | September 30, 2007 |
| Design and Verification of Asynchronous Circuits (DAVAC) | August 31, 2010 |
