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, 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.
Orateurs invités:

Organisation pratique#

Dates importantes#

  • Inscription : 14 mai 2017
  • Journées : 29, 30 et 31 mai 2017

Ajouter un attachement

Seuls les utilisateurs autorisés peuvent publier de nouveaux attachements.
« Cette page (révision-24) a été modifiée pour la dernière fois le 30-mars-2017 15:44 par oualhadj