Call for Presentations: HCSS 2026

The Twenty-Sixth High Confidence Software and Systems (HCSS) Conference will be held May 11–13, 2026, at the Historic Inns of Annapolis in Annapolis, Maryland.

HCSS brings together researchers, practitioners, and leaders from government, academia, non-profits, and industry to advance the scientific foundations and real-world practice of building secure, reliable, and resilient software-intensive systems, including cyber-physical systems.

The 2026 conference will highlight three timely themes:
🔹 Beyond AI – advancing rigorous, mathematically grounded engineering techniques and technology transitions
🔹 AI as an Enabler – leveraging AI to accelerate and strengthen high-confidence software and systems engineering
🔹 Assuring AI – developing intrinsic and extrinsic evidence for trust, safety, and security in AI-enabled software supply chains

We invite proposals for technical talks and experience reports that explore formal methods, systems assurance, security, resilience, and the transition of research into practice. The program will also feature invited speakers, panels, posters, and contributed presentations.

📅 Abstracts due: January 19, 2026
📢 Notifications: February 17, 2026

The conference is co-chaired by Mike Dodds (Galois, Inc.) and Sandeep Neema (Vanderbilt University) and is sponsored by the National Security Agency.

We encourage members of the high-confidence systems community—and those working at the intersection of software, systems, and assurance—to submit and join this important conversation.

🔗 Learn more and submit your abstract via the HCSS Conference website.