| Marktoberdorf Summer School 2026: Engineering Secure and Dependable Software Systems |
|
| Keynote: From Gold Medals to Guaranteed Reasoning: Building Mathematical Superintelligence |
|
| Keynote: Verus: Building a Practical Ecosystem of Provably Correct and Secure Code |
|
| HCSS Conference Dinner |
|
| Provable Security: Operationalizing Formal Methods for National Defense |
|
| AI as an Enabler for Analyzing Business Logic Systems |
|
| CSLib: Building a Platform for AI-assisted Formal Verification in Lean |
|
| Scaling CPS Understanding |
|
| Certified Synthesis of High-Assurance Protocols and Monitors |
|
| Can Your LLM Keep a Secret? |
|
| Deterministic Simulation Testing for the Assurance of Complex Software Systems |
|
| Keynote: The Cognitive Shift: From Centralized Orchestration to Controllable Self-Organizing AI Collectives |
|
| SoS VI Midyear Review Meeting, June 2026 - Registration Webform |
|
| High Confidence Software and Systems Conference |
|
| CMU SoS 2014 Quarterly Lablet PI Meeting |
|
| Science of Security Lablet BAA Kickoff Meeting |
|