Journées annuelles 2019#
Les 17, 18 et 19 juin
Nantes
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.
Sessions thématiques#
- Programmation par contraintes
- Charlotte Truchet
(Université de Nantes, LS2N)
- Charlotte Truchet
- Vérification et bioinformatique
- Loïc Paulevé
(CNRS, LaBRI)
- Loïc Paulevé
- Vérification paramétrée
- Laure Petrucci
(Université Paris 13, LIPN)
- Laure Petrucci
- Preuve par raffinement
- Christian Attiogbe
(Université de Nantes, LS2N)
- Christian Attiogbe
Appel à exposés#
Toute personne souhaitant donner un exposé lors de ces journées est invitée à envoyer un titre et un résumé (d'une page maximum, au format PDF ou en texte simple) de sa présentation avant le 29 mai 2019. Il n'y aura pas de relecture formelle des propositions, l'objectif de ces journées informelles étant bien sûr d'avoir un maximum d'exposés. Les propositions doivent simplement porter sur la vérification et être déposées sur le site de soumission dédié
Programme#
Dates importantes#
- Date limite de proposition d'un exposé
: 29 mai 2019
- Notification : 31 mai 2019
- Date limite d'inscription : 3 juin 2019
- Journées : 17, 18 et 19 juin 2019
Inscription#
L'inscription, avec ou sans exposé, est gratuite mais obligatoire. Elle se fait par simple envoi d'un email à gtverif2019@ls2n.frPréciser le nom, le prénom, l'affiliation et les dates prévisionnelles d'arrivée et de départ.
Organisation#
- Nathalie Bertrand (Inria, IRISA)
- Benoît Delahaye (Univ. Nantes, LS2N)
- Didier Lime (Centrale Nantes, LS2N)
- Pierre-Alain Reynier (LIS, Aix-Marseille Université)
Add new attachment
Only authorized users are allowed to upload new attachments.
«
This page (revision-12) was last changed on 24-mai-2019 14:47 by Didier Lime