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

General chair, scientific chair
Member of the organizing committee

Scientific events selection

Chair of conference program committee
Member of the conference program committee


Member of the editorial board

Software Dissemination and Internet Visibility

The CONVECS project-team distributes several software tools: the CADP toolbox (see §  5.1 ), the TRAIAN compiler (see §  5.2 ), the PIC2LNT translator (see §  5.3 ), and the PMC model checker (see §  5.4 ).

In 2014, the main facts are the following:

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

By the end of December 2014, the CADP forum  ( ), opened in 2007 for discussions regarding the CADP toolbox, had over 320 registered users and over 1570 messages had been exchanged.

Also, five large Petri nets derived from our LNT models were provided as benchmark examples for the 2014 edition of the Model Checking Contest.

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:

Awards and Distinctions

H. Garavel is an invited professor at Saarland University (Germany) as a holder of the Gay-Lussac Humboldt Prize.

Lectures and Invited Conferences