The Second International Workshop on the Art, Science, and Engineering of Quantum ProgrammingQP 2024
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.
QP 2024 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 road map for quantum programming.
Mon 11 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 5mDay opening | Opening QP Jianjun Zhao Kyushu University | ||
09:05 55mKeynote | Property-Based Testing and Debugging of Quantum ProgramsQP Keynote QP Mohammad Reza Mousavi King's College London |
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee & Fika Catering |
10:30 - 12:00 | |||
10:30 30mTalk | Lossy Effect Transformers: Reasoning about Quantum Security Loss with Relational Effect Predicates and Weakest Precondition LogicLightning Talk QP | ||
11:00 30mTalk | Model-based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid SystemsFull Paper QP | ||
11:30 30mTalk | A Constraint Programming Approach for QUBO solving and Quantum AnnealingFull Paper QP Philippe Codognet Japanese-French Laboratory for Informatics |
12:00 - 13:00 | |||
12:00 60mLunch | Lunch Catering |
13:00 - 14:30 | |||
13:00 30mTalk | Shifting Quantum Circuits Languages Abstraction Level with Composable Quantum OraclesLightning Talk QP Javier Sánchez Rivero COMPUTAEX, Daniel Talaván COMPUTAEX, Jose García-Alonso Universidad de Extremadura, Antonio Ruiz-Cortés University of Seville, Juan Manuel Murillo University of Extremadura and COMPUTAEX Foundation | ||
13:30 50mOther | Open discussion QP | ||
14:20 10mDay closing | Closing QP Jianjun Zhao Kyushu University |
14:30 - 15:00 | |||
14:30 30mCoffee break | Coffee & Fika Catering |
Accepted Papers
Call for Papers
Overview
Classical computing is reaching its limit. Thus, there is a need to revolutionize the current form of computing. 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. Thus, the Art, Science, and Engineering of Quantum Programming differ from classical programming. Therefore, there is a need to initiate a discussion on the art, science, and engineering of quantum programming and its relation to classical programming. QP2024, thus, will provide a platform for researchers and practitioners interested in various aspects of quantum programming and its relation with classical programming to discuss research challenges, possible solutions, and future research directions. Such discussion could build the road map for the Art, Science, and Engineering of Quantum Programming.
Motivation
There is a significant rise in interest in quantum computing (QC), with technical giants such as IBM, Google, and Microsoft rapidly pushing the boundaries of quantum hardware. At the same time, there is a great need to program quantum computers efficiently and intuitively since the present form of programming quantum computers stays very close to the hardware. Thus, there is a need to build novel approaches to the Art, Science (both theoretical and empirical), and engineering of quantum programming. QP2024, thus, will provide a platform for researchers to present their works 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 see 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 as a specialization of the Programming 2024 conference; thus, all the topics from Programming 2024 tailored to quantum programming are relevant for QP2024.
Submission Types
We invite submission of papers of the following types:
-
Regular papers (8 pages): Novel research works, experience reports
-
Position paper (2 pages): Describing a well-argued position.
-
Lighting Talks (Only Abstract, No Publication): challenges
Regular papers will be evaluated with respect to the real-world significance of the described quantum programming experience as well as their ability to forge partnerships and ultimately yield successful solutions. Position papers represent a position on any aspect of the Art, Science, and Engineering of Quantum Programming with good argumentation. Lighting talks are abstracts that describe late-breaking results, work in progress, or real-world challenges. Both position papers and lighting talks abstracts will be evaluated according to their ability to generate discussion and suggest interesting areas for future research.
Submission Instructions
Please follow the ACM acmart format v1.87 or newer and submit papers as a PDF file: https://www.acm.org/publications/proceedings-template. If using LaTeX, please use the following class configuration: \documentclass[sigconf,screen]{acmart}.
Submission link: https://easychair.org/conferences/?conf=qp2024
Publications for Papers
Please note that the accepted papers will be published as part of the companion of Programming 2024 in the ACM DL. Publication in the ACM DL is conditional on the acceptance by the program committee.
Workshop Format
QP2024 will feature two types of events. First, we will have a session on presenting papers accepted in the workshop. The rest of the workshop will be focused on a dedicated discussion of the workshop topics in a similar fashion as Dagstuhl or Shonan to draft a roadmap on the topic of the workshop. The workshop organizers will send invitations to the researchers working in this area. However, the workshop is open to anyone who is interested. Please consult the workshop chairs if you are interested in joining the workshop.