Category Archives: An2023

Journées communes LVP+MTV2 les 16-17 nov. 2023 à Palaiseau

Posted on by

Les prochaines journées communes des groupes de travail LVP et MTV2 auront lieu

    les 16-17 novembre 2023

    au CEA List, adresse : 2 Boulevard Thomas Gobert, 91120 Palaiseau.

Le programme et les informations pratiques seront communiqués sur

https://groupes.renater.fr/wiki/lvp/public/2311journeeslvp_mtv2

Grâce au soutien du GDR GPL, du CEA List et de la Graduate School “Informatique et Sciences du Numérique” de l’Université Paris-Saclay, la participation aux journées est gratuite, les déjeuners et pauses café sont offerts. Les journées commenceront par le déjeuner le 16 novembre et se termineront après le déjeuner le 17 novembre.

Pour des raisons d’organisation et d’autorisation d’accès sur le site, l’inscription est obligatoire. 

Nous vous invitons à vous inscrire et à soumettre une éventuelle proposition de présentation sur le site suivant :

https://framaforms.org/journees-des-gt-lvp-et-mtv2-du-gdr-gpl-du-cnrs-16-et-17-novembre-2023-1632212678

au plus tard avant le 16 octobre 2023. 

Vous pouvez proposer des présentations (en français ou en anglais) de vos travaux, sous diverses formes, incluant un exposé oral, un tutoriel, une démonstration d’outil, une présentation de projet ou un poster.

En espérant vous voir nombreux lors de ces journées,

Les responsables des GT LVP et MTV2 et les organisateurs locaux,

Alain, Antoine, Boutheina, Julien, Natalia, Nicolas, Nikolaï et Pascale

Date: Jeudi, 16 Novembre, 2023 to Vendredi, 17 Novembre, 2023

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

Journée MTV2 le 16.03.2023 au LMF, Univ.Paris-Saclay

Posted on by

La prochaine journée du groupe de travail MTV2 (Méthodes de test pour la validation et la vérification) aura lieu

  le jeudi 16 mars 2023
  au laboratoire LMF de l’Université Paris-Saclay.

Elle sera organisée sur place par Burkhart Wolff, Frédéric Voisin et Fatiha Zaidi.

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

   https://framadate.org/jlYKjeU4hCCxXiwo
   de préférence, avant le 10 février 2023.

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 organisateurs par mél). 

Le programme et les informations pratiques seront publiés sur la page du groupe :

https://sites.google.com/view/gdr-gpl-mtv2/manifestations-mtv2/16-03-2023

Date: Jeudi, 16 Mars, 2023

Journée commune GT Vélocité Logicielle et Ingénierie des Modèles – Paris (LIP6) – 10 Mars 2023

Posted on by

Le vendredi 10 mars 2023 à Paris, au LIP6, aura lieu une journée commune aux groupes de travail Vélocité Logicielle et Ingénierie des Modèles.

En raison de la grève actuelle dans les transports, la journée physique à Paris est annulée. Elle est remplacée par une journée en visio-conférence (le lien sera donné dans le programme ci-dessous).

Les exposés seront plutôt centrés sur des travaux d’intérêt à la fois pour l’Ingénierie Des Modèles et pour la Vélocité Logicielle ; idéalement, à leur frontière.