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 par le LACL dans l'amphi 3 (rouge) 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.
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-49) a été modifiée pour la dernière fois le 24-mai-2017 11:07 par oualhadj