The next meeting will be held at Inria Paris, Tuesday May 22nd 2018, 10am — 5pm. Program: Alexandre Chapoutot, Problèmes de satisfaction de contraintes et systèmes dynamiques Alexandre Vieira, Commande optimale des systèmes linéaires de complémentarité Antoine Girard, Compositional synthesis for symbolic control Khalil Ghorbal, Tutorial on Differential Algebra

Continue reading

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…

Continue reading