This is version . It is not the current version, and thus it cannot be edited.
[Back to current version]   [Restore this version]

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

Organisation pratique#

Dates importantes#

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

Add new attachment

Only authorized users are allowed to upload new attachments.
« This particular version was published on 23-mai-2017 12:55 by oualhadj.