CONVECS is a research project-team common between the Inria Centre at the University Grenoble Alpes and the LIG laboratory. Its research activities focus on the formal modeling and verification of asynchronous concurrent systems, which are instantiated in various domains (communication protocols, distributed algorithms, GALS, etc.). To this aim, CONVECS proposes new formal languages for specifying the behaviour and the properties of concurrent systems, and devises efficient verification algorithms and tools running on sequential and massively parallel machines.

The CONVECS team in November 2024. From left to right: Baptiste Lepers (LIG/KRAKOS, visiting), Hubert Garavel, Zachary Assoumani, Wendelin Serwe, Gwen Salaün, Jean-Baptiste Horel, Philippe Ledent (Aedvices Consulting, visiting), Quentin Nivon, Frédéric Lang, Radu Mateescu, Myriam Étienne, Wei Chen, Irman Faqrizal, Abdelilah Mejdoubi, Aline Uwimbabazi, Germán Vega (LIG/VASCO, visiting), and Suraj Gupta (not on the picture).

CONVECS builds on the scientific expertise and human potential of the former VASY project-team of Inria.