Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
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

General Chair, Scientific Chair
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 2019, the main facts are the following:

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

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

Also, for the 2019 edition of the Model Checking Contest, one family of models generated using CADP (totalling 16 Nested-Unit Petri Nets) was 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