Program, meeting March 16th.

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

Comments are closed.