… to the website of the virtual workshop on

Control Software Synthesis for Cyber-Physical Systems
– On Harvesting Structural and Information-Flow Properties

January 18th 2023 and February 15th 2023

1pm – 3:15 pm UTC

>>>>> Please register (for free) here! <<<<

Here you can find more information about the scope of the workshop, the preliminary schedule, the invited speakers and the abstracts of their talks.

This workshop is organized by the (Co)-Chairs of the IEEE CSS Technical Committee on Discrete Event Systems.