Category Archives: Uncategorized

Contributeurs du site

Posted on by

La plupart des utilisateurs du site GDR-GPL sont des “contributeurs”. Ils peuvent déposer un “post”, qui doit être approuvé par les administrateurs du site. Ce dépôt se fait en cliquant sur “Submit for Review”, l’article est dans l’état “pending”. En cliquant sur “Publish”, l’article devient visible! Une fois accepté, son contributeur ne peut plus le modifier.

Dans un premier temps, le statut de contributeur sera accordé aux membres du bureau et aux responsables de groupes de travail qui en feront la demande.

Journée MTV2 le 21.11.2024 à l’EPITA, Le Kremlin-Bicêtre

Posted on by

La prochaine journée du groupe de travail MTV2  (Méthodes de test pour la validation et la vérification) du GDR GPL aura lieu le 21 novembre 2024, à l’EPITA sur le campus de Paris – Kremlin-Bicêtre 
  adresse : 14-16 Rue Voltaire, 94270 Le Kremlin-Bicêtre

Nous avons le plaisir de vous annoncer l’exposé invité qui sera donné lors de cette journée :

   Jan Midtgaard (Tarides)
   “Property-Based Testing of OCaml 5”

qui nous présentera les travaux sur QuickCheck et le test de code OCaml multi-cores.

Si vous êtes intéressés, merci de vous inscrire sur le lien suivant :

https://framadate.org/xM8uD51NKLGTNnoO

   au plus tard avant le 6 novembre 2024, en indiquant vos nom et affiliation, si vous participez, si vous prenez le déjeuner et, le cas échéant, si vous souhaitez proposer un exposé (si oui, merci d’envoyer également le titre et le résumé aux animateurs MTV2 et organisateurs (en CC) par mél). Il reste quelques derniers créneaux pour ceux qui veulent proposer un exposé.

Pour toute modification tardive d’inscriptions après le 6 novembre, merci de contacter les animateurs MTV2 et les organisateurs par mail.

Le programme et les informations pratiques seront publiés sur la page du groupe :
https://sites.google.com/view/gdr-gpl-mtv2/manifestations-mtv2/21-11-2024

Bien cordialement,

Les animateurs du groupe MTV2,
Nikolai Kosmatov, Natalia Kushik, Pascale Le Gall, Antoine Rollet

Les organisateurs locaux,
Amazigh Amrane, Alexandre Duret-Lutz, Uli Fahrenberg et Ghiles Ziat

Journée commune AFSEC-SED

Posted on by

Mardi 11 avril de 9h30 à 16h à l’ENSAM de Paris se tiendra une journée commune au GT AFSEC et au CT SED du GDR MACS.

L’inscription est gratuite mais obligatoire et peut se faire à l’adresse suivante : https://forms.gle/P6uH3Zz5Kjr4a1H17

Cinq exposés seront proposés.

  • Moving Block System: Verification Framework. par Rim Saddem (LIS, Aix-Marseille Université)
  • Analyse d’atteignabilité directe des systèmes (max,+)-linéaires à l’aide des polyèdres tropicaux : application à la sûreté. par Guilherme Espindola Winck (LARIS, Université d’Angers)
  • Fuzzing de systèmes à états. par Rémi Parrot (IT Department, Uppsala University)
  • Model-Bounded Monitoring of Hybrid Systems. par Étienne André (LIPN, Université Sorbonne Paris Nord)
  • Computing Linear Inductive Invariants for Petri Nets using Property Directed Reachability. par Nicolas Amat (LAAS-CNRS, INSA Toulouse)

Date: Mardi, 11 Avril, 2023