Program, meeting May 22nd 2018

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

Comments are closed