**DESTION 2026** 8th Workshop on Design Automation for CPS and IoT 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%7C639048672170997988%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=V3LMWm1I6o1%2BGAYDCgFRTuRRrQogRHokbv6w1yBoRjo%3D&reserved=0 In conjunction with the ACM/IEEE CPS-IoT Week 2026 May 11th, 2026, Saint Malo, France
*OVERVIEW* 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. 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. 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. 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. *TOPICS OF INTEREST* We invite contributions in the following main topics (but not limited to): • Physics-informed machine learning for CPS/IoT • Foundation models for design automation • Neuro-symbolic learning and systems • Modeling and simulation of CPS/IoT • Uncertainty quantification for CPS/IoT • Assurance and formal verification • Correct-by-construction design and evolution • Requirement engineering, test & evaluation • Languages and tools for specification and design • Architectural design and design space exploration • Run-time monitoring and verification • Benchmarks and datasets for CPS/IoT *SUBMISSIONS* 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. • Full Papers: Full technical contributions with =6 pages, excluding references and appendix. • 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. Submission guidelines: Please submit your papers and abstracts at 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%7C639048672171018962%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=W2eDYPQGqODElTSr3UYCHHAxWaqhhxxnxtzaNQxOlHE%3D&reserved=0. Use the IEEE two-column conference template: 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%7C639048672171036815%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=1nJj18BaYpIvR%2Bij4mP04EYlgzZjyWbKRTPrldYA5cc%3D&reserved=0. In case of any questions, please do not hesitate to reach out to us via [email protected]. *IMPORTANT DATES* • Paper submission deadline: March 5th, 2026 • Notification of acceptance: March 15th, 2026 • Camera-ready deadline: March 25th, 2026 • Workshop date: May 11th, 2026 (All deadlines are 23:59 AoE.) *PREVIOUS YEARS* DESTION has built a strong tradition of technical discussion; its recent iterations can be seen below: • 2025: 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%7C639048672171054185%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=fy1LAdvT4WOaVd0oJ0Q%2FlIDhCapLqnco7pl45TkF0uE%3D&reserved=0 • 2024: 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%7C639048672171071562%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=lFroCn1ARURw7RYT4zsu61m8aBLEgwROSplm0CEFPVY%3D&reserved=0 • 2023: 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%7C639048672171088238%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=hYXdVeheh%2F3rphHWkjaZkIlIIWFRl8NZxvrdYlMmFrI%3D&reserved=0 • 2022: 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%7C639048672171107849%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=uwPyfkx320aNmb4C%2Fk71PfJE0aMLZnXBowFMv02GR5E%3D&reserved=0 *ORGANIZING COMMITTEE* General Co-Chairs: • Thomas Beckers (Vanderbilt University, USA) • Lars Lindemann (ETH Zu¨rich, Switzerland) • Ivan Ruchkin (University of Florida, USA) Program Co-Chairs: • Himanshu Neema (Vanderbilt University, USA) • Arun Ramamurthy (Siemens, USA) Steering Committee: • Janos Sztipanovits (Vanderbilt University, USA) • Qi Zhu (Northwestern University, USA) • S. Shankar Sastry (University of California, Berkeley, USA) • Alberto Sangiovanni-Vincentelli (University of California, Berkeley, USA) • Werner Damm (Carl von Ossietzky Universitat Oldenburg, Germany) • Edward A. Lee (University of California, Berkeley, USA) • Richard Murray (California Institute of Technology, USA) • George J. Pappas (University of Pennsylvania, USA)
--- To opt-out from this mailing list, send an email to [email protected] with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting [email protected]
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
