Quantum Software Engineering (Dagstuhl Seminar 24512)

The Dagstuhl Seminar 24512 on "Quantum Software Engineering" was held from December 15 to 20, 2024. It brought together 26 participants from industry and academia from 13 different countries, including senior and junior researchers as well as practitioners in the field of Quantum Software Engineering. The aim of the seminar was to advance software engineering methods and tools for the engineering of hybrid quantum systems by promoting personal interaction and open discussion among researchers who are already working in this emerging area of knowledge. The first day of the seminar was devoted to the topic "When software engineering meets quantum mechanics", while the second day focused on "Quantum software engineering and its challenges." During both days, 16 invited presentations were given. The rest of the seminar was organized into three working groups to address the topics "Quantum Software Design, Modelling and Architecturing", "Adaptive Hybrid Quantum Systems", and "Quantum Software Quality Assurance". The seminar was a very fruitful experience for all participants both in terms of scientific outcomes and in terms of the personal relationships that were generated to jointly address future experiences.. Authors: Ali, Shaukat [Simula Research Laboratory, Oslo (Norway)]; Barzen, Johanna [Institute of Architecture of Application Systems (IAAS), Stuttgart (Germany)]; Delgado, Andrea [Oak Ridge National Laboratory (ORNL), Oak Ridge, TN (United States)]; Müller, Hausi A. [Univ. of Victoria, BC (Canada)]; Murillo, Juan Manuel [Univ. of Extremadura, Cáceres (Spain)]. DOE Contract: AC05-00OR22725. Subjects: 97 MATHEMATICS AND COMPUTING; Adaptive hybrid quantum systems; Computing methodologies; Linear algebra; Quantum algorithms; Quantum architecture; Quantum circuit compilation; Quantum computing; Quantum machine learning; Quantum modeling; Quantum networking; Quantum optimization; Quantum runtime systems; Quantum simulation; Quantum software development; Quantum software engineering; Quantum software quality assurance; Quantum software stack and platforms; Software and its engineering; Theory of c