The 22nd Annual HCSS Conference
Date: Apr 04, 2021 – Apr 05, 2021
HIGH CONFIDENCE SOFTWARE AND SYSTEMS CONFERENCE
A world class community of researchers gather each year for a full week of High Confidence Software and Systems Conference activities that are structured to focus on new scientific and technological foundations that can enable entirely new generations of engineered designs that are becoming essential for effectively operating life–, safety–, security–, and mission–critical systems.
The 22nd annual HCSS Conference will be held the week of May 16, 2022.
2022 Themes:
- Autonomous IoT Systems
- Cyber Defense of the Supply Chain
- Identifying and Controling Weird Machines
- Driving Formal Methods (FM) to Practice
Submitted by root
on
Date: Apr 04, 2021 – Apr 05, 2021
HIGH CONFIDENCE SOFTWARE AND SYSTEMS CONFERENCE
A world class community of researchers gather each year for a full week of High Confidence Software and Systems Conference activities that are structured to focus on new scientific and technological foundations that can enable entirely new generations of engineered designs that are becoming essential for effectively operating life–, safety–, security–, and mission–critical systems.
The 22nd annual HCSS Conference will be held the week of May 16, 2022.
2022 Themes:
- Autonomous IoT Systems
- Cyber Defense of the Supply Chain
- Identifying and Controling Weird Machines
- Driving Formal Methods (FM) to Practice
Submitted by root
on