Journées annuelles 2017#
Les 29, 30 et 31 mai 2017
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
Add new attachment
Only authorized users are allowed to upload new attachments.
«
This particular version was published on 20-mars-2017 18:06 by oualhadj.