The workshop explores how large language models and other interactive, multimodal approaches can capture stakeholder input in natural forms (e.g., text, speech, diagrams, simulations, and demonstrations) and translate it into formal or semi-formal artifacts for assurance, testing, and verification. It recognizes that interactive co-design is also a human–computer interaction (HCI) challenge, requiring interfaces and backend representations that minimize user burden, surface ambiguity and inconsistency, and support iterative inspection and correction. By bringing together researchers and practitioners from CPS, IoT, autonomy, formal methods, and HCI, the workshop aims to catalyze discussion and share lessons—both successes and failures—on interactive knowledge elicitation, and to articulate a practical research agenda for the safe and assured deployment of autonomous systems in the real world.

Submission Guidelines

Please follow the guideline as stated in https://icdsaas.github.io/cpsweek2026/

Committees

Program Committee

• Person 1 Edward Kim
• Person 2 Yasser Shoukry
• Person 3 Bjoern Hartmann

Contact

All questions about submissions should be emailed to ek65@eecs.berkeley.edu