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