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