Home » Évènement » Journées annuelles du groupe de travail Vérification du GDR Informatique et Mathématiques
Chargement Évènements
  • Cet évènement est passé

Journées annuelles du groupe de travail Vérification du GDR Informatique et Mathématiques

17 juin @ 13 h 00 min - 19 juin @ 14 h 00 min

Les prochaines journées annuelles du GT Vérif auront lieu du 17 au 19 juin 2019 au bâtiment S sur le site de Centrale Nantes.

Elles 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 et l’ouverture sur des thématiques liées à la vérification. Les domaines inclus sont :

  • 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.

Programme :

  • Mardi 18/06 16:10-17:00 : Olivier H. Roux (LS2N) : Model-checking real-time systems with Roméo
  • Mercredi 19/06 9:00-9:50 : Charlotte Truchet (LS2N) et Ghiles Ziat (LIP6) : Programmation par contraintes et interprétation abstraite

Pour plus d’infos, voir le site http://gt-verif.loria.fr/Wiki.jsp?page=JA-2019

Détails

Début :
17 juin @ 13 h 00 min
Fin :
19 juin @ 14 h 00 min
Organisateur
LS2N

Catégories d’Évènement:
,
Étiquettes Évènement :
,

Lieu

ECN
École Centrale Nantes, 1 rue de la Noë
Nantes, 44321 France
+ Google Map
Site Web :
http://www.ec-nantes.fr/
Copyright : LS2N 2017 - Mentions Légales - 
 -