Journées Annuelles 2025 — Groupe de travail GT‑Vérif

Présentation

Les journées annuelles du GT‑Vérif se tiendront du 05/11/2025 au 07/11/2025 à l'Université Paris‑Est — Créteil. Elles ont pour objectif de rassembler la communauté française travaillant en vérification formelle, en particulier les chercheurs juniors, doctorants et post‑doctorants, afin de favoriser les collaborations et l'ouverture sur des thématiques liées à la vérification.

Thématiques couvertes :

• Vérification informatique de systèmes (systèmes embarqués, protocoles, programmes)
• Techniques de preuve automatiques ou interactives (model‑checking, déduction automatique, assistants de preuve, solveurs SMT, etc.)
• Utilisation de logiques pour raisonner sur les propriétés des systèmes (temporelles, spatiales, probabilistes, avec données)
• Techniques d'abstraction pour la vérification

Inscription

Les inscriptions sont gratuites. Merci de vous inscrire avant le 05/11/2025.

Formulaire d’inscription : ici

Appel à exposés

Toute personne souhaitant donner un exposé lors de ces journées est invitée à l’indiquer dans le formulaire d’inscription.

Si vous souhaitez donner un exposé mais n’avez pas encore de sujet précis, vous pouvez envoyer les informations plus tard par mail à copil-gt-verif@inria.fr

Programme

Le programme comprend 4 demi‑journées, du 5 après-midi au 7 au matin, avec exposés invités et présentations de jeunes chercheurs.

Orateurs invités (en cours de construction) :

• Guillermo A. Perez (University of Antwerp): Proof Over Promises: Making RL Trustworthy
• Frédéric Gervais (LACL): Méthode B (titre à préciser)
• Guillaume Aichhorn (Société Clearsy): Ingénierie et méthodes formelles (titre à préciser)
• Léo Henry (LIS): Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement
• Nicolas Mazzocchi (STU Bratislava): Safety and Liveness of Quantitative Properties and Automata
• Daniela Petrisan (IRIF): (titre à préciser)

Programme complet disponible ici : (à venir)

Informations pratiques

Les participants recevront des précisions logistiques avant le début des journées.

Les journées auront lieu à l’UPEC à Créteil, Faculté des sciences et technologies-Campus centre. Les 05 et 07 novembre, à l'amphi MSE (auditorium de la Maison des Sciences et de l'Environnement). Le 06 novembre, (amphi à venir).

Repas : bâtiment (à venir), Faculté des sciences et technologies.

Plan campus central

Accès

• Métro : Ligne 8, arrêt Créteil-Université. Plan
• RER : Ligne D jusqu’à Vert de Maisons (attention : tous les trains ne s’y arrêtent pas). Trajet à pied 20–30 min.
• Voiture :
  • Parking Université
  • Parking salle des sports

Organisation

• Nathalie Bertrand (Inria, IRISA)
• Damien Busatto-Gaston (UPEC, LACL)
• Youssouf Oualhadj (UPEC, LACL)
• Pierre-Alain Reynier (Aix-Marseille Université, LIS)

Dates importantes

• Inscription : avant le 05/11/2025
• Journées : 05/11/2025 — 07/11/2025

Contacts

Groupe de travail GT‑Vérif — https://gt-verif.lis-lab.fr/