La réunion MAVeriQ aura lieu dans la salle 3058 du bâtiment Sophie Germain, campus grands moulins. Nous nous y retrouverons à partir de 9h30.
Le programme :
9:30 - Accueil, café et viennoiseries
10:00 - Nathalie Bertrand, « Decisiveness of Markov Decision Processes »
10:45 - Serge Haddad, « Interrupt Timed Automata and their Extensions »
11:30 - Bernardo Jacobo Inclán, « On bounded delay timed channel coding »
12:30 - Pause déjeuner
13:30 - Aldric Degorre, « Discussing Bandwidth of timed automata »
15:15 - Business meeting