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: the CADP toolbox (see §  6.1 ), the TRAIAN compiler, the PIC2LNT translator, and the PMC model checker (see §  6.2 ).

In 2015, the main facts are the following:

The CONVECS Web site ( ) was updated with scientific contents, announcements, publications, etc. Following a request from the computer staff of Inria Grenoble, we worked on the migration of the former Web site “ ” to a more recent web infrastructure. This former site was split into three new, distinct Web sites “ ”, “ ”, and “ ”. Dedicated effort was made to properly redirect all former URLs so as not to create dead links.

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

Also, for the 2015 edition of the Model Checking Contest, we provided two families of models (totalling 15 Nested-Unit Petri Nets) derived from our LNT models.

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.

Invited talks