Journées annuelles 2017#
Les 29, 30 et 31 mai 2017
Université Paris-Est - Créteil
Les cinquièmes journées annuelles du GT Vérification ont eu lieu les 29, 30 et 31 mai 2017, au LACL, à 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.- Amélie Gheerbrant
(IRIF, Paris)
- Matteo Mio
(LIP, ENS Lyon)
- Laurent Doyen
(LSV, ENS Cachan)
- Emmanuel Filiot
(ULB, Bruxelles)
- Olivier Bournez
(LIX, Palaiseau)
- Jannik Dreier
(LORIA, Nancy)
Organisation pratique#
- Inscriptions
- Informations locales
Dates importantes#
- Inscription : 14 mai 2017
- Journées : 29, 30 et 31 mai 2017
Add new attachment
Only authorized users are allowed to upload new attachments.
«
This particular version was published on 20-mars-2017 19:02 by oualhadj.