The next meeting will be held at Inria Paris, Friday March 16th 2018, 10am — 5pm.
Program:
- 10h-11h: Tim Bourke: Compiling a Synchronous Language with Timers for Symbolic Simulation
- 11h-12h: Eric Goubault and Sylvie Putot: Inner and Outer Approximating Flowpipes for Delay Differential Equations
- 13h-14h30: lunch (Le Repaire)
- 14h30-15h30: Uli Fahrenberg: Higher-dimensional Timed Automata
- 15h30-17h: Working in small groups
