<div dir="ltr"><div class="gmail_default" style="color:rgb(0,0,0)"><span style="color:rgb(34,34,34)">**DESTION 2026**</span></div><div class="gmail_default" style="color:rgb(0,0,0)"><span style="color:rgb(34,34,34)">8th Workshop on Design Automation for CPS and IoT</span></div><a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fcps-vo.org%2Fgroup%2FDESTION2026&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C7b1ad10f4bd94edbe85608de5b61a8d8%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C639048672171143882%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=CH1Xf%2F5jBcb3edXoeZExYabOmrKdssctPiJTlTnNnmE%3D&reserved=0" originalSrc="https://cps-vo.org/group/DESTION2026">https://cps-vo.org/group/DESTION2026</a><br>In conjunction with the ACM/IEEE CPS-IoT Week 2026<br>May 11th, 2026, Saint Malo, France<br><br>*OVERVIEW*<br>Aircraft, automobiles, industrial robots, and medical devices comprise Cyber-Physical Systems (CPS) and Internet-of-Things (IoT) applications that promise major economic and societal benefits. However, the design, verification, validation, and operation of such systems are challenging due to scale, complexity, uncertainty, and stringent requirements on safety, performance, security, availability, and many other metrics.<br>Over the past decades, product development has shifted from largely mechanical systems with loosely coupled components to highly integrated cyber-physical architectures with dense software-hardware interactions. This transition has dramatically expanded design complexity, often resulting in multi-year development cycles with numerous redesign loops. Current industrial practice frequently relies on "hot-starting" new products from existing baselines - an approach that reduces risk but also inhibits innovation by limiting systematic exploration of the vast design space.<br>Recent advances in AI for Design Automation offer a promising path forward. Physics-informed and neuro- symbolic machine learning can accelerate simulation; probabilistic modeling and Bayesian methods quantify uncertainty; abstraction reduces design search complexity; generative techniques find shortcuts through complex design spaces. At the same time, the rise of AI-enabled CPS creates the need for Design Automation for AI, including neural architecture search, model verification, runtime monitoring, knowledge representation, heterogeneous simulation, and the use of foundation models in engineering workflows.<br>This full-day workshop will provide a premier forum for researchers and engineers from academia, industry, and government to present and discuss challenges, promising solutions, and applications in design automation for CPS and IoT. DESTION 2026 will have a broad scope covering techniques and tools for modeling, simulation, synthesis, validation, and verification of CPS and IoT, with a focus on "AI for Design Automa- tion" and "Design Automation for AI", and their applications in a variety of domains, such as automotive and transportation systems, avionics, robotics, building architectures, grid, and medical devices.<br><br>*TOPICS OF INTEREST*<br>We invite contributions in the following main topics (but not limited to):<br>\u2022 Physics-informed machine learning for CPS/IoT<br>\u2022 Foundation models for design automation<br>\u2022 Neuro-symbolic learning and systems<br>\u2022 Modeling and simulation of CPS/IoT<br>\u2022 Uncertainty quantification for CPS/IoT<br>\u2022 Assurance and formal verification<br>\u2022 Correct-by-construction design and evolution<br>\u2022 Requirement engineering, test & evaluation<br>\u2022 Languages and tools for specification and design<br>\u2022 Architectural design and design space exploration<br>\u2022 Run-time monitoring and verification<br>\u2022 Benchmarks and datasets for CPS/IoT<br><br>*SUBMISSIONS*<br>All submissions must be in English and will undergo a single-blind peer review process. We consider only original papers that have not been submitted to or published in other conferences or journals. All accepted papers and abstracts will be published as part of the DESTION 2026 proceedings. At least one author of each accepted paper must register for the in-person workshop and present the paper.<br><br>\u2022 Full Papers: Full technical contributions with =6 pages, excluding references and appendix.<br>\u2022 Shorter Papers, Tool Papers, Benchmark Releases, and Demos: We also welcome shorter papers, tool papers, benchmark releases, and demos via submission of a 2-page abstract (excluding references and appendix). Submission of supplementary materials for tools and demos (videos, repository links, and web applications) is encouraged.<br><br>Submission guidelines:<br>Please submit your papers and abstracts at <a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Ddestion2026&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C7b1ad10f4bd94edbe85608de5b61a8d8%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C639048672171161445%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=JLSYK95hKuDa9tUUOlYrl0s4mCMLjNnIE1lgoCQhNgY%3D&reserved=0" originalSrc="https://easychair.org/conferences/?conf=destion2026">https://easychair.org/conferences/?conf=destion2026</a>.<br>Use the IEEE two-column conference template: <a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.ieee.org%2Fconferences%2Fpublishing%2Ftemplates&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C7b1ad10f4bd94edbe85608de5b61a8d8%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C639048672171178360%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=sNsvh7ghOXggafbw3YOHz8q%2BZTvNIiI%2BzgeTB2NxjXk%3D&reserved=0" originalSrc="https://www.ieee.org/conferences/publishing/templates">https://www.ieee.org/conferences/publishing/templates</a>. In case of any questions, please do not hesitate to reach out to us via <a href="mailto:destion2026@tbeckers.com">destion2026@tbeckers.com</a>.<br><br>*IMPORTANT DATES*<br>\u2022 Paper submission deadline: March 5th, 2026<br>\u2022 Notification of acceptance: March 15th, 2026<br>\u2022 Camera-ready deadline: March 25th, 2026<br>   \u2022 Workshop date: May 11th, 2026 (All deadlines are 23:59 AoE.)<br><br>*PREVIOUS YEARS*<br>DESTION has built a strong tradition of technical discussion; its recent iterations can be seen below:<br>\u2022 2025: <a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fcps-vo.org%2Fgroup%2FDESTION2025&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C7b1ad10f4bd94edbe85608de5b61a8d8%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C639048672171195694%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=58Z0F%2F%2B%2FQ3TS%2BsKQdefksQYuaXre0h0GdmbnhdZlhI0%3D&reserved=0" originalSrc="https://cps-vo.org/group/DESTION2025">https://cps-vo.org/group/DESTION2025</a><br>\u2022 2024: <a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fcps-vo.org%2Fgroup%2FDESTION2024&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C7b1ad10f4bd94edbe85608de5b61a8d8%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C639048672171211344%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=tEGe0GwTqFMBPNLk6d7y9BnD7SQ4FByuSVclPXRJe7U%3D&reserved=0" originalSrc="https://cps-vo.org/group/DESTION2024">https://cps-vo.org/group/DESTION2024</a><br>\u2022 2023: <a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fcps-vo.org%2Fgroup%2FDESTION2023&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C7b1ad10f4bd94edbe85608de5b61a8d8%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C639048672171228173%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=K9AOszo4TeUl1Z8toAQpDBi%2B2os2Hm5GOh8lMIm9Oc4%3D&reserved=0" originalSrc="https://cps-vo.org/group/DESTION2023">https://cps-vo.org/group/DESTION2023</a><br>\u2022 2022: <a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fcps-vo.org%2Fgroup%2FDESTION2022&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C7b1ad10f4bd94edbe85608de5b61a8d8%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C639048672171245251%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=yrmedHvIqxVDhf9zVN11g84aODcWQ6yZap9HzvuRkkI%3D&reserved=0" originalSrc="https://cps-vo.org/group/DESTION2022">https://cps-vo.org/group/DESTION2022</a><br><br>*ORGANIZING COMMITTEE*<br>General Co-Chairs:<br>\u2022 Thomas Beckers (Vanderbilt University, USA)<br>\u2022 Lars Lindemann (ETH Zu¨rich, Switzerland)<br>\u2022 Ivan Ruchkin (University of Florida, USA)<br>Program Co-Chairs:<br>\u2022 Himanshu Neema (Vanderbilt University, USA)<br>\u2022 Arun Ramamurthy (Siemens, USA)<br>Steering Committee:<br>\u2022 Janos Sztipanovits (Vanderbilt University, USA)<br>\u2022 Qi Zhu (Northwestern University, USA)<br>\u2022 S. Shankar Sastry (University of California, Berkeley, USA)<br>\u2022 Alberto Sangiovanni-Vincentelli (University of California, Berkeley, USA)<br>\u2022 Werner Damm (Carl von Ossietzky Universitat Oldenburg, Germany)<br>\u2022 Edward A. Lee (University of California, Berkeley, USA)<br>\u2022 Richard Murray (California Institute of Technology, USA)<br>\u2022 George J. Pappas (University of Pennsylvania, USA)<br><br><br><br></div>