Software Certification Consortium #24 Program Agenda
Software Certification Consortium Meeting #24
May 14-15, 2026 | U.S. Nuclear Regulatory Commission - Rockville, Maryland
Following the HCSS Conference
Conference Archives: https://sos-vo.org/group/scc/meetings
| THURSDAY, MAY 14 | |
| 0730 - 0830 | BREAKFAST |
| 0830 - 0900 | Welcome & Introductions |
| 0900 - 0945 | The Accountability Crisis for Autonomous Vehicle Safety Phil Koopman (Carnegie Mellon University, emeritus) |
| 0945 - 1000 | Discussion |
| 1000 - 1015 | Refreshment Break |
| 1015 - 1100 | Beyond AI Agents -- Converged Software Engineering for Critical Systems Bill Scherlis (Carnegie Mellon University) |
| 1100 - 1145 | Safety Engineering in the Agentic Era Ramesh S (General Motors R&D) |
| 1145 - 1215 | Moderated Discussion |
| 1215 - 1315 | LUNCH |
| 1315 - 1400 | Certification Challenges for a Safe and Secure Healthcare Delivery Platform Natarajan Shankar (Stanford Research Institute) |
| 1400 - 1445 | AI Systems for Safe Treatment Recommendation in Mental Health Care Forrest Laine (Vanderbilt University) |
| 1445 - 1515 | Moderated Discussion |
| 1515 - 1530 | Refreshment Break |
| 1530 - 1615 | Automation and AI in Critical Software Engineering: Loss of Collateral Validation? Mats Heimdahl (University of Minnesota) |
| 1615 - 1630 | Discussion |
| 1630 - 1730 | Panel: Topic and Panelists to Come |
| 1730 - 1740 | Wrap-up Day 1 |
| Pay your own way dinner - Thursday Evening | |
| FRIDAY, MAY 15 | |
| 0730 - 0830 | BREAKFAST |
| 0830 - 0845 | Recap/Welcome & Introductions |
| 0845 - 0930 | Assurance and Approval Considerations When Using LLMs in the Development of Aircraft Systems and Software Kim Wasson (Joby Aviation) |
| 0930 - 1015 | As in the Cockpit, So in the Cubicle Mallory Graydon (NASA Langley Research Center) |
| 1015 - 1045 | Moderated Discussion |
| 1045 - 1100 | Refreshment Break |
| 1100 - 1145 | The AI Wrote It, the Theorem Prover Signed It: Rigorous Engineering in the Age of LLMs Joe Kiniry (Sigil Logic) |
| 1145 - 1200 | Discussion |
| 1200 - 1300 | LUNCH |
| 1300 - 1345 | Knowledge Maps in a Regulatory Context Norbert Carte (U.S. Nuclear Regulatory Commission) |
| 1345 - 1430 | A Rigorous Approach to Analyzing and Improving the Robustness of Software-Intensive Systems Eunsuk Kang (Carnegie Mellon University) |
| 1430 - 1500 | Moderated Discussion |
| 1500 - 1515 | Refreshment Break |
| 1515 - 1545 | The SCC Book - Update |
| 1545 - 1600 | Wrap-up |