DESTION 2024 Call for Papers

DESTION 2024 will take place on May 13, 2024 in Hong Kong as part of the CPS-IoT Week events.

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

Important Dates:

  • 07 March 2024 (AoE): [Extended] Submission deadline
  • 17 March 2024: Author notification
  • 22 March 2024: Camera-ready submission deadline
  • 13 May 2024: Workshop

Submissions:

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 IEEE Xplore as part of the DESTION 2024 proceedings.

Full Papers: Full technical contributions should have no more than 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 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.

Submission guidelines:

Please submit your papers and abstracts at https://easychair.org/conferences/?conf=destion2024. Your final camera-ready paper MUST be formatted using the IEEE conference template provided below. It is highly recommended that you proofread and check the layout of your paper BEFORE using PDF eXpress™ or submitting the final PDF version of your paper. Formatting Instructions: https://www.ieee.org/conferences/publishing/templates.html.

 

Previous year’s conference information is available at: