Programme

Semaine Lun. 05 Mar. 06 Mer. 07 Jeu. 08 Ven. 09 Liste

	lundi 5 juin 2023
12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00 22:00	›12:00 (1h45) Accueil et déjeuner 12:00 - 13:45 (1h45) Accueil et déjeuner Accueil et déjeuner ›13:45 (15min) Ouverture des journées Direction GDR › Amphithéatre TA 13:45 - 14:00 (15min) Ouverture des journées Amphithéatre TA Direction GDR ›14:00 (1h) Conférences invités › Amphithéatre TA 14:00 - 15:00 (1h) Conférences invités Amphithéatre TA › Software Supply Chain - Benoît Baudry, KTH Royal Institute of Technology 14:00-15:00 (1h) ›15:00 (1h) GT IDM Ingénierie Dirigée par les Modèles › TD2 15:00 - 16:00 (1h) GT IDM TD2 Ingénierie Dirigée par les Modèles › Ongoing Work on Domain-Specific Modeling for Early Design Evaluation with the Help of Formal Methods for Correctness and Completeness Guarantees - Gurvan Le Guernic, DGA Maîtrise de l'information & Université de Rennes 15:00-15:35 (35min) › FaST: A Model-Driven Framework For Efficient Visualization Of Large-Scale Time Series - Manele Ait Habouche, Université de Bretagne Occidentale - UFR Sciences et Techniques 15:35-16:00 (25min) ›15:00 (1h) GT VL Vélocité Logicielle › Amphithéatre TA 15:00 - 16:00 (1h) GT VL Amphithéatre TA Vélocité Logicielle › HyperAST: Enabling Efficient Analysis of Software Histories at Scale - Quentin Le Dilavrec, Institut de Recherche en Informatique et Systèmes Aléatoires 15:00-15:30 (30min) › Une théorie des organisations communautaires de maintenance de paquets - Théo Zimmerman, Télécom Paris 15:30-16:00 (30min) ›16:00 (30min) Pause café › Amphithéatre TA 16:00 - 16:30 (30min) Pause café Amphithéatre TA ›16:30 (1h) GT IDM Ingénierie Dirigée par les Modèles › TD2 16:30 - 17:30 (1h) GT IDM TD2 Ingénierie Dirigée par les Modèles › Model-Aided Engineering of Cyber-Physical and Socio-Technical Systems - Thuy Nguyen, EDF 16:30-17:10 (40min) › Collaborative Security-by-Design Platform with Model-Driven Engineering approach - Othmane El Karmy, Université Toulouse - Jean Jaurès 17:10-17:25 (15min) ›16:30 (1h) GT VL Vélocité Logicielle › Amphithéatre TA 16:30 - 17:30 (1h) GT VL Amphithéatre TA Vélocité Logicielle › On the Benefits and Limits of Incremental Build of Software Configurations: An Exploratory Study - Georges Aaron Randrianaina, Institut de Recherche en Informatique et Systèmes Aléatoires 16:30-17:00 (30min) › Guiding Feature Models Synthesis from User-Stories: An Exploratory Approach - Thomas Georges, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier 17:00-17:30 (30min) ›16:30 (2h) GT HiFi Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents › TD2 16:30 - 18:30 (2h) GT HiFi TD2 Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents › Stimulus : un langage de programmation synchrone à contrainte appliqué à la simulation d'exigences temps-réel fonctionnelles - Bertrand JEANNET, 3DS 16:30-17:00 (30min) › 10 ans de "Precision Tuning" - Matthieu Martel, Université Perpignan Via Domitia 17:00-17:30 (30min) ›20:30 (2h) Debate in pub (by Eclipse) - Delirium cafe Eclipse 20:30 - 22:30 (2h) Debate in pub (by Eclipse) - Delirium cafe Eclipse

Personnes connectées : 2

Vie privée | Accessibilité