Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

Member of the Organizing Committees

Scientific Events Selection

Chair of Conference Program Committees
Member of the Conference Program Committees


Member of the Editorial Boards
Reviewer - Reviewing Activities

Software Dissemination and Internet Visibility

The CONVECS project-team distributes several software tools, among which the CADP toolbox.

In 2017, the main facts are the following:

The CONVECS Web site ( was updated with scientific contents, announcements, publications, etc.

H. Garavel started a major rewrite of CorTeX, a build system and a collection of tools for documents prepared using LaTeX.

By the end of December 2017, the CADP forum (, opened in 2007 for discussions regarding the CADP toolbox, had over 414 registered users and over 1796 messages had been exchanged.

Also, for the 2017 edition of the Model Checking Contest, three families of models generated using CADP (totalling 64 Nested-Unit Petri Nets) were provided.

Other research teams took advantage of the software components provided by CADP (e.g., the BCG and OPEN/CAESAR environments) to build their own research software. We can mention the following developments:

Other teams also used the CADP toolbox for various case studies:

Invited Talks

Research Administration