gdr-gpl-2022 : Journées nationales du GDR GPL 2022

7-10 juin 2022 Vannes (France)

ATTENTION : Une migration de la base de données est programmée jeudi 21 août.
Elle peut occasionner des problèmes d'accès à Sciencesconf.

Mot de passe oublié ? Créer un compte

Accueil
Programme
Informations inscription
Inscription
Sponsors
Plan d'accès

Programme

Semaine Mar. 07 Mer. 08 Jeu. 09 Ven. 10 Liste

mardi 7 juin 2022 ›

08:00

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

18:00

19:00

›8:30 (30min)

Accueil

8:30 - 9:00 (30min)

Accueil

›9:00 (30min)

Ouverture des journées

› Amphithéatre ENSIBS

9:00 - 9:30 (30min)

Ouverture des journées

Amphithéatre ENSIBS

›9:30 (1h)

Invité

› Amphithéatre ENSIBS

9:30 - 10:30 (1h)

Invité

Amphithéatre ENSIBS

› The upcoming wall of software complexity in computational sciences - Vincent Reverdy, Laboratoire d'Annecy de Physique des Particules 09:30-10:30 (1h)

›10:30 (30min)

Pause café

10:30 - 11:00 (30min)

Pause café

›11:00 (1h30)

Session GT CLAP

› D010

11:00 - 12:30 (1h30)

Session GT CLAP

D010

› Modern Compiler Technology to Optimize Code from Ionic Models - Tiago Trevisan Jost, Laboratoire des sciences de língénieur, de línformatique et de límagerie 11:00-11:30 (30min)

› Macle : un langage dédié à l'accélération de programmes OCaml sur FPGA - Loic Sylvestre, LIP6 11:30-12:00 (30min)

› Optimisations dans le compilateur formellement vérifié CompCert - David Monniaux, VERIMAG 12:00-12:30 (30min)

›11:00 (1h30)

Session GT HIFI

› A105

11:00 - 12:30 (1h30)

Session GT HIFI

A105

› Business Processes Meet Spatial Concerns: the sBPMN Verification Framework - Pascal Poizat, Université Paris Nanterre 11:00-11:30 (30min)

› Philosophers may Dine - Definitively! - Safouan Taha, Laboratoire Méthodes Formelles 11:30-12:00 (30min)

› Formal Methods in Practice: Model Checking in the Railway Industry - Nicolas Aucouturier, Prover Technology 12:00-12:30 (30min)

›11:00 (1h30)

Atelier Préparation au Concours CNRS

› Amphithéatre ENSIBS

11:00 - 12:30 (1h30)

Atelier Préparation au Concours CNRS

Amphithéatre ENSIBS

› Atelier de préparation aux concours CNRS - Catherine Dubois, Dubois 11:00-12:30 (1h30)

›12:30 (1h30)

Déjeuner

12:30 - 14:00 (1h30)

Déjeuner

›14:00 (1h30)

Session GT Eco-Responsable

› D010

14:00 - 15:30 (1h30)

Session GT Eco-Responsable

D010

›14:00 (1h30)

Session GT GLIA

› A105

14:00 - 15:30 (1h30)

Session GT GLIA

A105

› What's new about Wise Object - Flavien Vernier, Laboratoire dÍnformatique, Systèmes, Traitement de lÍnformation et de la Connaissance 14:00-14:30 (30min)

› Adversarial retraining pour les systèmes configurables - Paul Temple, PReCISE research center, University of Namur 14:30-15:00 (30min)

› Extraction de la variabilité depuis les schémas de données des entrées/sorties de simulateurs de systèmes d'aide à la décision dans le domaine agricole - Thomas Georges, Laboratoire dÍnformatique de Robotique et de Microélectronique de Montpellier 15:00-15:30 (30min)

›15:30 (30min)

POSTER/DEMO
Nicolas Magaud

15:30 - 16:00 (30min)

POSTER/DEMO

Nicolas Magaud

› A Contract and Facet Based Method for Modelling and Verification of Heterogeneous Systems - A. Abdelkader Khouass, Nantes University 15:30-16:00 (30min)

› A qualitative pilot for complex systems simulation - Baptiste Gueuziec, CEA - Frédéric Boulanger, Laboratoire Méthodes Formelles - Jean-Pierre Gallois, CEA 15:30-16:00 (30min)

› ADT4HPC: Algebraic Data Types for High Performance Computing - Thaïs Baudon, LIP 15:30-16:00 (30min)

› ClassName Distribution Visualization: detecting inconsistencies in class names - 15:30-16:00 (30min)

› Ensuring open and scalable interoperability for smart information system - Boubou Thiam NIANG, DISP, EA4570, 69676 Bron, France 15:30-16:00 (30min)

› Fédération de modèles, une solution d'assemblage de modèles pour l'interopérabilité de sources d'information hétérogènes : l'approche FML / Openflexo - Sylvain Guérin, ensta bretagne 15:30-16:00 (30min)

› Guaranteeing Timed Opacity using Parametric Timed Model Checking - Dylan Marinho, Université de Lorraine, LORIA 15:30-16:00 (30min)

› Mitten, A Scenario-Based Consensus Protocols Testing Tool - Çagdas Bozman, Functori 15:30-16:00 (30min)

› Model-driven deployment of Digital Twins for Smart Environments - The Human at home projecT case study - Caroline Cao, Lab-STICC, UMR CNRS 6285 15:30-16:00 (30min)

› Time-Traveling Queries for Faster Debugging and Program Comprehension - Maximilian Ignacio Willembrinck Santander, Steven Costiou, Anne Etien, Stéphane Ducasse 15:30-16:00 (30min)

›15:30 (30min)

Pause café

15:30 - 16:00 (30min)

Pause café

›16:00 (2h)

Session Prix de Thèse
Pascal Poizat

› A105

16:00 - 18:00 (2h)

Session Prix de Thèse

A105

Pascal Poizat

›18:00 (1h)

Réunion Resp. GT et comité scientifique

› D010

18:00 - 19:00 (1h)

Réunion Resp. GT et comité scientifique

D010

Session

Discours

Logistique

Pause

Sortie

Vie privée | Accessibilité