Les 15 et 16 juin 2015
Université Paris-Est – Créteil
Les troisièmes journées annuelles du GT Vérification ont eu lieu les 15 et 16 juin 2015, au LACL, à Créteil, dans l’amphi ECO-103 de la faculté des sciences de gestion, sur le mail des mèches (comment venir).
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 7 juin sur cette page. Les inscriptions ne pourront plus être garanties ensuite.
Programme
Les journées 2015 du GT Vérification sont organisées en quatre demi-journées thématiques comprenant un exposé invité et de plus courtes présentations de chercheurs juniors, doctorants et post-doctorants. Les doctorants sont également invités à présenter leurs travaux dans une session des doctorants.Bases de données
- Diego Figueira (LaBRI, Bordeaux), exposé invité
- Claudia Carapelle (Universität Leipzig, Allemagne)
- Amaldev Manuel (Uniwersytet Warszawski, Varsovie, Pologne)
Systèmes temporisés
- Nicolas Markey (LSV, ENS Cachan), exposé invité
- Aleksandra Jovanovic (University of Oxford, Royaume-Uni)
- Stefano Minopoli (VERIMAG, Grenoble)
- Ocan Sankur (Université Libre de Bruxelles, Belgique)
Vérification de code
- Julien Signoles (CEA LIST, Saclay), exposé invité
- Steven de Oliveira (CEA LIST, Saclay)
- Robin David (CEA LIST, Saclay)
- Anthony Fernandes Pirès (Fondazione Bruno Kessler)
- Jacques-Charles Mbiada Njanda (CEA LIST & INRIA Saclay)
- Richard Genestier (FEMTO-ST, Besançon)
Sécurité et protocoles cryptographiques
- Steve Kremer (LORIA, INRIA Nancy), exposé invité
- Antoine Delignat-Lavaud (INRIA Paris)
- Rémy Chrétien (LSV, ENS Cachan)
Session des doctorants
Les doctorants sont invités à présenter leurs travaux lors d’une sessions spéciale. Le format sera d’une dizaine de minutes, incluant les questions. Il suffit pour cela de préciser le titre de la présentation lors de l’inscription.
Organisation pratique
Dates importantes
- Inscription : 7 juin 2015
- Journées : 15 et 16 juin 2015