6th International Workshop on Quantum Software Engineering (Q-SE 2025)
Quantum computers offer the prospect of unprecedented speed-ups for certain algorithms. However, to realise the quantum advantage one needs to develop sophisticated implementations of quantum algorithms that are often interfaced with classical algorithms. To ensure the reliability of quantum algorithms and their integration with classical systems, we need a novel engineering discipline that can deal with the particularities of quantum technology. Thus, we believe this is the right time to build a community for quantum software engineering (Q-SE), focusing on devising methods, approaches, and processes to develop correct software for quantum programs efficiently. The Q-SE workshop is a platform for researchers and practitioners to discuss challenges in developing quantum software in high-level quantum languages, novel solutions to build correct methods for testing quantum programs, executing quantum software, developing best practices, and creating a research roadmap of quantum software engineering.
The key goals of the workshop are:
- Provide practical and generalizable insights on how to apply and extend existing approaches to quantum software development or develop entirely new approaches.
- Devise ways in which industry and academia can collaborate to provide further knowledge on developing quantum software.
- Provide academia with feedback on which skills and abilities are required in quantum software development and where to concentrate on the education of students.
- Demonstrate to academia new, as well as existing, practical challenges in the field of quantum software engineering.
- Communicate the latest research findings to practitioners and discuss ways to adapt them for industrial products, services, and processes.
The key outcomes of the workshop are:
- Understanding the current state-of-the-art and state of the practice related to quantum software engineering.
- Continued discussion on developing a future research roadmap for quantum software engineering from the last edition.
- Establishing a new research community in the area of quantum software engineering through developing a special interest group.
Previous editions
- 5th International Workshop on Quantum Software Engineering (Q-SE 2024)
- 4th International Workshop on Quantum Software Engineering (Q-SE 2023)
- 3rd International Workshop on Quantum Software Engineering (Q-SE 2022)
- 2nd International Workshop on Quantum Software Engineering (Q-SE 2021)
- 1st International Workshop on Quantum Software Engineering (Q-SE 2020)
This program is tentative and subject to change.
Sat 3 MayDisplayed time zone: Eastern Time (US & Canada) change
07:00 - 17:00 | |||
09:00 - 10:30 | Opening and Keynote Q-SE at 207 Chair(s): Stefan Klikovits Johannes Kepler University, Linz, Mohammad Reza Mousavi King's College London | ||
09:00 15mRegistration | Arrival and Registration Q-SE | ||
09:15 15mDay opening | Opening RemarksQuantum Q-SE | ||
09:30 60mKeynote | The art of abstraction in quantum softwareQuantum Q-SE Olivia Di Matteo University of British Columbia | ||
10:30 - 11:00 | |||
10:30 30mBreak | Saturday Morning Break Catering | ||
11:00 - 12:30 | |||
11:00 30mResearch paper | Towards Defect Prediction for Quantum SoftwareQuantum Q-SE Xuan Mao Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, China, Zijie Huang Shanghai Key Laboratory of Computer Software Testing and Evaluation, Jianxin Ge , Chao Wang University of Southern California, Wuxu Wang , Lizhi Cai Shanghai Key Laboratory of Computer Software Testing & Evaluating, Shanghai Software Center | ||
11:30 30mResearch paper | Quantum vs. Classical Machine Learning Algorithms for Software Defect Prediction: Challenges and OpportunitiesQuantum Q-SE Md Nadim University of Saskatchewan, Mohammad Hassan University of Prince Edward Island, Ashis Kumar Mandal Hajee Md. Danesh Science and Technology , Bangladesh, Chanchal K. Roy University of Saskatchewan, Canada | ||
12:00 30mResearch paper | Quantum Pattern Detection: Accurate State- and Circuit-based AnalysesQuantum Q-SE Julian Shen Karlsruhe Institute of Technology, Joshua Ammermann Karlsruhe Institute of Technology (KIT), Christoph König Karlsruhe Institute of Technology, Ina Schaefer KIT | ||
12:30 - 14:00 | |||
13:15 45mLunch | Saturday Lunch Catering | ||
14:00 - 15:30 | |||
14:00 30mResearch paper | Analyzing, Fixing and Optimizing a Space-Efficient Quantum Circuit for the Graph K-Coloring ProblemQuantum Q-SE Oscar Belletti Politecnico di Milano, Simone Reale Politecnico di Milano, Elisabeta di Nitto Politecnico di Milano | ||
14:30 30mResearch paper | The Quantum Program Dependence Graph and Its Uses in Quantum Software DevelopmentQuantum Q-SE | ||
15:00 30mResearch paper | Qunicorn: A Middleware for the Unified Execution Across Heterogeneous Quantum Cloud OfferingsQuantum Q-SE Benjamin Weder Institute of Architecture of Application Systems (IAAS), University of Stuttgart, Johanna Barzen University of Stuttgart, Martin Beisel Institute of Architecture of Application Systems (IAAS), University of Stuttgart, Fabian Bühler , Daniel Georg , Frank Leymann University of Stuttgart, Lavinia Stiliadou Institute of Architecture of Application Systems (IAAS), University of Stuttgart | ||
15:30 - 16:00 | |||
15:30 30mBreak | Saturday Afternoon Break Catering | ||
16:00 - 17:30 | |||
16:00 20mShort-paper | Bridging the Quantum Divide: Aligning Academic and Industry Goals in Software EngineeringQuantum Q-SE Jake Zappin William and Mary, Trevor Stalnaker William & Mary, Oscar Chaparro William & Mary, Denys Poshyvanyk William & Mary | ||
16:20 40mDay closing | Closing and Next Q-SE Quantum Q-SE | ||
Accepted Papers
Call for Papers
Q-SE welcomes submissions addressing topics across the full spectrum of Quantum Software Engineering, being inclusive of quantitative, qualitative, and mixed-methods research. Topics of interest include but are not limited to:
- Paradigms for developing quantum software
- Quantum software design
- Quantum software testing
- Quantum software verification
- Quantum software coding practices
- Quantum software reuse
- Quantum software experimentations
- Quantum software execution
- Quantum programming languages
- Service-oriented quantum software
- Industrial applications
- Empirical evaluations
We welcome two types of publications
- Regular papers (8 pages, including references): Research or experience reports, research methods, longer challenge papers.
- Position paper (4 pages, including references): Describing a well-argued position in any area of quantum software engineering.
We also encourage authors to submit
- Fast Abstracts (2 pages, including references), describing Work in Progress and Challenges, insipring discussion and debate.
Evaluation Criteria (inspired by ICSE 2025’s review criteria)
All submissions submitted electronically through EasyChair will be reviewed by at least three program committee members. Each reviewer will evaluate each contribution for its:
- Novelty: The novelty and innovativeness of contributed solutions, problem formulations, methodologies, theories and/or evaluations, i.e., the extent to which the paper is sufficiently original with respect to state-of-the-art.
- Rigor: The soundness, clarity and depth of a technical or theoretical contribution, and the level of thoroughness and completeness of an evaluation.
- Relevance: The significance and/or potential impact of the research to the field of software engineering.
- Verifiability and Transparency: The extent to which the paper includes sufficient information to understand how an innovation works; to understand how data was obtained, analysed, and interpreted; and how the paper supports independent verification or replication of the paper’s claimed contributions. Any artefacts attached to or linked from the paper may be checked by one reviewer.
- Presentation: The clarity of the exposition in the paper.
Reviewers will carefully consider all of the above criteria during the review process, and authors should take great care in clearly addressing them all. The paper should clearly explain and justify the claimed contributions.
Paper submissions
All authors should use the official “IEEE Template”, as can be obtained from the IEEE Template page https://www.ieee.org/conferences/publishing/templates.html
Submission link
https://easychair.org/conferences/?conf=qse2025
Important dates
- Papers Submission: 11 Nov 2024 AoE
- Acceptance Notification: 08 Dec 2024 AoE
- Camera Ready: 05 Feb 2025 AoE
| Sun 8 Dec 2024 Paper Acceptance Notification |
| Mon 11 Nov 2024 Paper Submission Deadline |
Rui Abreu
INESC-ID; University of Porto
Portugal
Shaukat Ali
Simula Research Laboratory and Oslo Metropolitan University
Norway
Paolo Arcaini
National Institute of Informatics
Japan
Carsten Blank
data cybernetics ssc GMbH
Germany
José Campos
University of Porto, Portugal
Portugal
Olivia Di Matteo
University of British Columbia
Sebastian Feld
Delft University of Technology
Netherlands
Jose García-Alonso
Universidad de Extremadura
Spain
Felix Gemeinhardt
Johannes Kepler University, Linz
Kesha Hietala
Sandia National Laboratories
United States
Stefan Hillmich
Software Competence Center Hagenberg (SCCH)
Austria
Gunel Jahangirova
King's College London
United Kingdom
Andriy Miranskyy
Toronto Metropolitan University (formerly Ryerson University)
Canada
Anila Mjeda
CyberSkills, MTU Munster Technological University; Lero - the Science Foundation Ireland Research Centre for Software
Ireland
Robert Rand
University of Chicago
United States
Ina Schaefer
KIT
Germany
Peter Selinger
Dalhousie University
Canada
Xinyi Wang
Simula Research Laboratory; University of Oslo
Norway
Robert Wille
Technical University of Munich & SCCH GmbH
Germany
Tao Yue
Beihang University
China
Lei Zhang
University of Maryland Baltimore County
United States
Jianjun Zhao
Kyushu University
Japan
Li Zhou
Institute of Software, Chinese Academy of Sciences
China
daniel park
Yonsei University, South Korea