Exposés invités

Saddek Bensalem (Université Grenoble Alpes / Verimag)
Development of verification methods and tools that scale and are usable by engineers.

Sandrine Blazy (Université de Rennes 1 / IRISA / INRIA)
CompCert : vérification formelle avec Coq

Nathanael Fijalkow (Université de Bordeaux / LaBRI)
Learning LTL


Loïg Jezequel (Université de Nantes / LS2N)
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019


Mahsa Shirmohammadi (Université de Paris / IRIF)

The Membership Problem for Hypergeometric Sequences with Rational Parameters

Igor Walukiewicz (Université de Bordeaux / LaBRI)
Concurrent systems need not be hard