Journées du GDR GPL 2021 - Sciencesconf.org

Pause café

Espace d'interaction et de convivialité

Exposé invité

Salle Principale

Oratrice : Patricia Bouyer-Decitre - Présidente Session : Catherine Dubois

› De l'analyse automatique de systèmes temporisés au contrôle de systèmes dynamiques - Patricia Bouyer-Decitre, Laboratoire Méthodes Formelles 09:00-10:30 (1h30)

Session posters et démos

Salle des Posters

https://gdr-gpl-2021.sciencesconf.org/data/program/ProgrammePosters_1.pdf

Déjeuner

Espace d'interaction et de convivialité

Session GT Logiciel Éco-Responsable

Salle 2

Programme : présentation, talks, table ronde

› Présentation et activités du GT - Adel Noureddine, LIUPPA 13:30-14:00 (30min)

› Green Is the New Clean - Olivier Le Goaer, LIUPPA 14:00-14:20 (20min)

› Retour d'expérience sur l'enseignement du Green IT - Adel Noureddine, LIUPPA 14:30-14:50 (20min)

› Table ronde - Adel Noureddine, LIUPPA 14:50-15:30 (40min)

AFADL et GT LVP

Salle 1

Session GT LVP
Président de session : Julien Signoles.
Voir le site d'AFADL pour accéder à l'ensemble des actes.

› Pas de Pannes, Pas d'Exploits: Vérification Automatique de Noyaux Embarqués - Sébastien Bardin, CEA LIST 13:30-14:00 (30min)

› Modèle de fuite structurée & applications à la compilation sécurisée - Vincent Laporte 14:00-14:30 (30min)

› Un prouveur automatique pour la géométrie projective et son intégration à Coq - Nicolas Magaud 14:30-15:00 (30min)

› Unsolvability of the Quintic Formalized in Dependent Type Theory - Cyril Cohen 15:00-15:30 (30min)

AFSEC

Salle 3

Mehdi Lhommeau, Loïg Jezequel

› Une approche polyédrique pour la vérification SMT de réseaux de Petri - Nicolas Amat, Laboratoire dánalyse et dárchitecture des systèmes 13:30-14:10 (40min)

› SMT-Based Bounded Model Checking of Max-Plus Linear Systems - Muhammad Syifa'ul Mufid, Institut Teknologi Sepuluh Nopember Surabaya 14:10-14:50 (40min)

› DEPS : A language for modeling and solving system synthesis problem - Pierre-Alain Yvars, Laboratoire QUARTZ - Laurent Zimmer, Dassault Aviation 14:50-15:30 (40min)

Pause café

Espace d'interaction et de convivialité

EJCP

Salle EJCP

Programme