Journées du GDR GPL 2021 - Sciencesconf.org

Pause café

Espace d'interaction et de convivialité

Atelier "Préparer votre dossier de Candidature"

Salle 3

Laurence Duchien et Sandrine Blazy

› Atelier pour les jeunes chercheurs de préparation aux concours CNRS - Sandrine Blazy, Institut de Recherche en Informatique et Systèmes Aléatoires 09:00-11:00 (2h)

AFADL

Salle 1

Session 2
Président de session : Yves Ledru
Programme sur le site AFADL

CIEL

Salle 2

Site de Ciel; Présidente de session : Anne Etien

Pause café

Espace d'interaction et de convivialité

AFADL et GT MTV2

Salle 1

Session GT MTV2
Voir le site d'AFADL pour accéder à l'ensemble des actes.

› Binsec/Rel : Exécution Symbolique Relationnelle Efficace pour Analyse de Binaire Constant-Time - Lesly-Ann Daniel, CEA LIST 13:30-14:00 (30min)

› Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities - 14:00-14:25 (25min)

› Détection d'objectifs de test polluants pour les critères de flot de données - Thibault Martin, CEA LIST 14:25-14:50 (25min)

› Identifying and Generating Missing Tests using Machine Learning on Execution Traces - Frédéric Tamagnan, Orange, Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) 14:50-15:20 (30min)

Session GT CLAP et HIFI

Salle 2

- E. Saillard - S. Conchon - A. Hurault - L. Henrio - K. Martin

› Sound Semantic Static Analysis for Multiple Languages in the MOPSA Project - Antoine Miné, Laboratoire dÍnformatique de Paris 6 13:30-14:10 (40min)

› Verification of FIFO systems - Etienne Lozes, Laboratoire dÍnformatique, Signaux, et Systèmes de Sophia Antipolis 14:10-14:50 (40min)

› Model-Bounded Monitoring of Hybrid Systems - Etienne André, Laboratoire Lorrain de Recherche en Informatique et ses Applications 14:50-15:30 (40min)

Session GT IDM

Salle 3

Sophie Ebersold - Eric CARIOU

› L'IDM a 20 ans ! - Jean-Michel Bruel, Institut de recherche en informatique de Toulouse 13:30-14:15 (45min)

› CoSim20: un environnement pour la simulation collaborative et distribuée - Julien Deantoni, Laboratoire dÍnformatique, Signaux, et Systèmes de Sophia Antipolis 14:15-14:45 (30min)

› L'Industrie du futur et le jumeau numérique, une opportunité pour l'IDM - Antoine BEUGNARD, IMT Atlantique Bretagne-Pays de la Loire - Joël Champeau, École Nationale Supérieure de Techniques Avancées Bretagne 14:45-15:15 (30min)

› Discussion sur le GT IDM - Eric Cariou, Laboratoire Informatique de lÚniversité de Pau et des Pays de lÁdour - Sophie Ebersold, Institut de recherche en informatique de Toulouse 15:15-15:30 (15min)

Pause café

Espace d'interaction et de convivialité

EJCP

Salle EJCP

Programme