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 2025. From left to right: Aline Uwimbabazi, Wei Chen, Gwen Salaün, Zachary Assoumani, Nabil Bouchta, Ouadie Khebbeb, Wendelin Serwe, Radu Mateescu, Hubert Garavel, Frédéric Lang, Quentin Nivon, Gregor Goessler (SPADES, visiting), Suraj Gupta (not on the picture), and Myriam Étienne (not on the picture).

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