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é [slides]
- Antoine Girard, Compositional synthesis for symbolic control
- Khalil Ghorbal, Tutorial on Differential Algebra