Back to All Events

8th Workshop on Design Automation for CPS and IoT (DESTION 2026)

I will be presenting our paper “Vertical Contracts for Safety Control” at DESTION in CPS-IoT Week 2026 in Saint Maol, France.

Previous
April 21

Talk at Max Planck Institute for Software Systems (MPI-SWS)
Next
August 20

The 27th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2026)