Les 29, 30 et 31 mai 2017
Université Paris-Est – Créteil
Les cinquièmes journées annuelles du GT Vérification seront organisées conjointement avec les journées du GT ALGA et auront lieu les 29, 30 et 31 mai 2017 par le LACL dans l’amphi 3 (rouge) de l’UPEC, à Créteil.
Les journées du GT-Vérif visent à rassembler la communauté française en vérification formelle, et en particulier les chercheurs juniors, doctorants et post-doctorants, avec pour objectif de favoriser les collaborations, l’ouverture sur des thématiques liées à la vérification, et pourquoi pas préparer de futures visites de doctorant(e)s.
Elles ont pour ambition de couvrir tous les domaines de la vérification formelle, incluant (entre autres !) :
- la vérification informatique de systèmes, modélisant des systèmes de freinage aux protocoles de communications en passant par les programmes,
- l’emploi de techniques de preuve automatiques ou interactives (model-checking, déduction automatique, assistants de preuve, solveurs SMT, etc. ainsi que leurs combinaisons),
- l’utilisation de logiques pour raisonner sur les propriétés des systèmes (par exemple les logiques temporelles, spatiales, probabilistes ou avec données),
- les techniques d’abstraction pour la vérification.
Inscriptions
Les inscriptions aux journées sont gratuites mais pour des raisons d’organisation, il est demandé de s’inscrire avant le 14 mai.
Programme
Les journées 2017 du GT Vérification sont organisées en six demi-journées thématiques comprenant un exposé invité et de plus courtes présentations de chercheurs juniors, doctorants et post-doctorants. Orateurs invités:
- Olivier Bournez (LIX, Palaiseau)
- Laurent Doyen (LSV, CNRS ENS Cachan)
- Jannik Dreier (LORIA, Nancy)
- Emmanuel Filiot (ULB, Bruxelles)
- Amélie Gheerbrant (IRIF, Paris)
- Matteo Mio (LIP, CNRS ENS Lyon)
Organisation pratique
Dates importantes
- Inscription : 14 mai 2017
- Journées : 29, 30 et 31 mai 2017