30 novembre & 1er décembre
Paris, IRIF
Les journées annuelles du GT Vérification 2023 ont eu lieu les 30 novembre et 1er décembre 2023 à l’IRIF, sur le campus des Grands Moulins, Paris 13ème.
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.
APPEL A EXPOSES
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 17 novembre 2023. 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 envoyées à mailto:copil-gt-verif@inria.fr.
PROGRAMME
https://gt-verif.lis-lab.fr/programme-2023/
DATES IMPORTANTES
- Proposition d’un exposé : 17/11
- Date limité d’inscription : 23/11 (le plus tôt est le mieux !)
- Journées : 30/11 et 1/12
INSCRIPTION
Les inscriptions sont closes.
INFORMATIONS PRATIQUES
Les exposés auront lieu au bâtiment Sophie Germain (place Aurélie Nemours, entre le 54 et le 60 de l’Avenue de France).
C’est expliqué ici: https://www.irif.fr/informations/contacts
Jeudi 30 novembre, nous serons dans la salle 1021, au premier étage du bâtiment Sophie Germain.
Vendredi 1er décembre, nous serons dans l’amphi Turing: au sous-sol du bâtiment Sophie Germain (prendre les escaliers devant les ascenseurs).
Les repas seront servis au Restaurant Buffon, rue Hélène Brion (à 5’ du bâtiment Sophie Germain).
ORGANISATION
- Nathalie Bertrand (Inria, IRISA)
- François Laroussinie (IRIF, U Paris Cité)
- Pierre-Alain Reynier (LIS, Aix-Marseille Université)