News

We have compiled a tentative program for HSCC’22 available here. Note that all times are in Milano, IT time and that the program might be subject to change.

We are happy to announce that Ufuk Topcu will give a keynote talk on “Autonomous systems in the intersection of formal methods, learning, and controls” at HSCC’22.

See HSCC Keynote for a detailed abstract of the talk and a biography of Ufuk.

Following the decision of the CPS-IoT Week organization, HSCC 2022 will be held purely virtual.

Despite the best efforts of the whole organizing committee, the tail of the pandemic is preventing us from running CPS-IoT Week with an in-person component, as we planned originally. CPS-IoT Week will therefore run as a virtual event. Opting for this choice instead of a hybrid event was a tough decision where we had to strike a balance among several constraints. Detailed information, including registration options, will be available shortly on the website of CPS-IoT Week and of all its conferences and related events.

The call for papers HSCC 2022 is now available.

Webpage of the conference Hybrid Systems: Computation and Control (HSCC) 2022 is now online.