C O N V E C S
Construction of Verified Concurrent Systems
Logo Inria Logo LIG Logo Grenoble INP Logo CNRS Logo UJF
 

   CONVECS and LCIS/CTSYS seek a PhD candidate
Contact: Radu Mateescu
Deadline for applications: July 15, 2016
  
    
   Orange Labs and CONVECS seek a PhD candidate
Contact: Gwen Salaun
Deadline for applications: July 18, 2016
  

CONVECS is a research project-team common between Inria Grenoble - Rhône-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 May 2015. From left to right: Abderahman Kriouile, Radu Mateescu, Eric Jenn (IRT Saint Exupéry, visiting), Fatma Jebali, Jose Ignacio Requeno, Rim Abid, Wendelin Serwe, Gwen Salaün, Lakhdar Akroun, Eric Léo, Alexandre Hamez (IRT Saint Exupéry, visiting), Jingyan Jourdan-Lu, Hubert Garavel, Raquel Oliveira, Hugues Evrard, and Frédéric Lang.

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

 
 
Logo Twitter
 
Last modified: 2016/06/06 10:09:52.