Meeting in Grenoble, 2024, 18-19 November

Programme prévisionnel

Le 18 Novembre, matin :
Travail en groupes

Le 18 Novembre, après-midi
13h40-14h : Accueil session plénière
14h-14h30 : Olga Kouchnarenko : Introduction et informations sur les livrables ADAPT réalisés
14h30 -15h : Simon Bliudze : A Modelling Approach with Refinement for Hierarchical Control of Structured CPSs
15h-15h30 : Pause et discussion
15h30 - 16h : Raphaël Bleuse, tba, sur le contrôle
16h-16h30 : Neven Vilani : Counting Abstraction for the Verification of Structured Parameterized Networks
16h30-17h00 : Nathan Gallone : Modular design of BIP motifs for aggregated control
17h00-17h15 : Discussion
19h30 : Diner

Le 19 Novembre, matin :
9h30-10h : Benoît Piranda : Extending Blinky Blocks with Screens
10h00-10h30 : Nicolas Basset : Uniform sampling for Timed Automata and Timed Regular Expressions
10h30-11h : Pause et discussion
11h-11h15 : Antonios Naguib : Instrumenting Blinky Blocks (work in progress)
11h15-12h : Olga et Marius : les livrables à venir
12h : Déjeuner sur le campus

Le 19 Novembre, après-midi :
Travail en groupes

Still open question: Which logo do you prefer among the 3 versions below? 

adapt1

logo2

logo3