HSCC Keynote

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.

HSCC 2022 purely virtual

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.