9h30 Julie Parreaux. Playing Stochastically in Weighted Timed Games to Emulate Memory
10h20 S Akshay. Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata.
11h10 Aline Goeminne. Timed network congestion games

14h Frédéric Herbreteau. Abstractions for the local-time semantics of timed automata:
  a foundation for partial-order methods
14h50 Ocan Sankur. Repairing real-time requirements
15h30 Uli Fahrenberg. Energy Büchi Problems for One-Clock Weighted Timed Automata.