CfP: Design Automation for CPS and IoT (DESTION 2024)

As part of the CPS-IoT Week 2024 ( premier international conferences, we are excited to invite you to submit your paper at the 6th international workshop on "Design Automation for CPS and IoT (DESTION 2024)".

Call for Papers: 


Hong Kong, China | May 13, 2024 |

DESTION workshop provides a premier international 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 2024 has 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 Automation" 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. We invite contributions in the following main topics (but not limited to):

  • Machine learning in CPS/IoT
  • Assurance and formal verification methodologies
  • Correct-by-construction design and evolution
  • Requirement engineering
  • Real-time execution
  • Test and evaluation
  • Languages and tools for specification and design
  • Architectural design
  • Circuit design
  • Run-time monitoring
  • Benchmarks and datasets
  • Modeling and simulation of CPS
  • Design-space exploration
  • Natural language processing
  • Uncertainty quantification
  • Neuro-symbolic learning

Detailed information on this call for papers can be found at:


All submissions must be in English. Only original papers that have not been submitted or published in other conferences or journals will be considered. All accepted papers and demo abstracts will be published in ACM "CPS-IoT 2024 Workshops" proceedings.

****** Important Dates *******

  • 01 March 2024 (AoE): Submission deadline Extended to March 07, 2024
  • 08 March 2024: Author notification
  • 22 March 2024: Camera-ready submission deadline

The submissions will be of two categories:

1) Full Papers: Full technical contributions should have no more than 6 pages, excluding references and appendix.

2) Shorter Papers, Tool Papers, Benchmark Releases, and Demos: We also welcome shorter papers, tool papers, benchmark releases, and demos via submission of 2-page abstracts, excluding references and appendix. Supplementary materials for tools and demos such as videos, repository links, and online accessible web-applications are encouraged.

Please submit your papers and abstracts at The submission can use the ACM Latex template available at

 Previous year’s conference information is available at:


Submitted by Amy Karns on