Classical computing is reaching its limit. Thus, it is necessary to revolutionize the current computing form with novel computing paradigms. Towards this end, quantum computing is one of the promising computing paradigms. However, programming quantum computers differs significantly from classical computing due to novel features of quantum computing, such as superposition and entanglement. The 4th International Workshop on the Art, Science, and Engineering of Quantum Programming (QP 2027) will provide a platform for researchers and practitioners interested in the Art, Science, and Engineering of Quantum Programming and its relation with classical programming to discuss research challenges, possible solutions, and future research directions. Such discussion could build the roadmap for quantum programming.

Motivation

There is a significant rise in interest in quantum computing (QC). At the same time, there is a great need for efficient and intuitive programming of quantum computers, as the present form of programming quantum computers stays very close to the hardware. Thus, it is necessary to devise novel approaches to the Art, Science (both theoretical and empirical), and Engineering of quantum programming. QP 2027 will provide a platform for researchers to present their work on these aspects of quantum programming and discuss future research directions to build a research roadmap for researchers and practitioners. With the involvement of practitioners, we also aim to hear their opinions on practical challenges associated with quantum programming.

The workshop is intended for researchers, including students, at any stage of their careers. Moreover, practitioners are also a relevant audience for the workshop.

We foresee QP 2027 as a specialization of the Programming 2027 conference; thus, all topics covered by Programming 2027 that are tailored to quantum programming are relevant to QP 2027.

Call for Papers

Topics of Interest

Topics of interest include, but are not limited to, the following topics from the scope of Programming 2027 when tailored to quantum programming:

• Quantum programming languages, APIs, programming models, and programming styles
• Formal programming models and proofs for quantum programs
• Empirical studies and user studies of quantum programming
• Development processes, tools, and quality assurance methods for quantum software
• Distributed systems programming involving quantum computing
• Parallel programming involving quantum computing
• Interpreters, virtual machines, and compilers for quantum programs
• Modularity and separation of concerns in quantum programming
• Model-based development for quantum software
• Metaprogramming and reflection for quantum programming
• Testing and debugging of quantum programs
• Verification of quantum programs
• Quantum programming education
• Quantum programming environments
• Social aspects of quantum programming

Submission Types

We invite submissions of the following types:

• Regular papers (8 pages): Novel research contributions and experience reports presenting results, methods, tools, or practical insights relevant to quantum programming.
• Position papers (2 pages): Papers presenting well-argued positions, emerging ideas, open challenges, or directions for future research in quantum programming.
• Lightning Talks (abstract only, no publication): Late-breaking results, work in progress, preliminary ideas, or challenges intended to stimulate discussion at the workshop.

Evaluation Criteria

All submissions will be peer-reviewed by members of the Program Committee. Submissions will be evaluated according to the following criteria, adapted to the scope of the workshop and the nature of each submission:

• Relevance: The extent to which the contribution addresses topics and challenges in quantum programming and aligns with the workshop’s objectives.
• Soundness: The extent to which the contributions and claims are supported by appropriate reasoning, methods, evidence, or formal arguments. Depending on the nature of the work, this may include theoretical foundations, formal proofs, empirical evaluations, or practical experience.
• Significance: The extent to which the contribution advances the understanding or practice of quantum programming, addresses important challenges, or opens promising directions for future research.
• Novelty: The extent to which the contribution presents original ideas, results, approaches, or perspectives in relation to existing work.
• Verifiability and Transparency: The extent to which the contribution provides sufficient information to understand and assess its claims, methods, and results. Where applicable, this includes the availability of implementations, experimental details, data, or other supporting artifacts that facilitate independent verification or reproducibility.
• Presentation: The clarity, organization, and quality of the submission, including the effective communication of its motivation, contributions, supporting arguments, and conclusions.

The criteria will be applied according to the submission type:

• Regular papers will be assessed against all relevant criteria, with particular emphasis on technical soundness, originality, significance, and the strength of the supporting evidence. Experience reports and practice-oriented contributions will additionally be assessed on their practical relevance, the clarity of the lessons learned, and their potential to inform future quantum programming research and practice.
• Position papers will be assessed primarily on the clarity and relevance of the proposed position, the strength and coherence of its supporting arguments, the originality of the perspective, and its potential to stimulate discussion and inspire future research. Completed implementations or empirical evaluations are not required.
• Lightning-talk abstracts will be assessed primarily on their relevance, timeliness, clarity, and potential to generate engaging and productive discussion. Preliminary results, open questions, and exploratory ideas are welcome and are not expected to meet the same level of maturity or validation as regular papers.

The workshop welcomes contributions using diverse research methodologies, including theoretical, empirical, and practice-oriented approaches. Evaluation will take into account the objectives, maturity, and nature of each contribution, recognizing that different types of quantum programming research require different forms of evidence and validation.

Submissions

Formatting guidelines for submissions: The companion proceedings for 2027 will be published in the ACM Digital Library. The templates can be downloaded here:

• LaTeX (please use the sigconf option, i.e., \documentclass[sigconf]{acmart})
• MS Word

The workshop proceedings will be published as part of the conference companion in the ACM Digital Library.

Important Dates

• Submission deadline: December 14, 2026 (AoE)
• Notification of acceptance: January 15, 2027
• Camera-ready deadline: TBD according to the PROGRAMMING 2027 publication schedule
• Workshop: March 15 or March 16, 2027