Journées annuelles du groupe de travail Vérification du GDR Informatique et Mathématiques
ECN École Centrale Nantes, 1 rue de la Noë, NantesLes 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…
