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 seront organisées conjointement avec les journées du GT ALGA et auront lieu les 29, 30 et 31 mai 2017, dans l'amphi 3 (rouge)
de la faculté des sciences 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.- 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)
Add new attachment
Only authorized users are allowed to upload new attachments.
«
This particular version was published on 23-mai-2017 12:51 by oualhadj.