The program is listed below. Please note that the times are in CEST.

July 2

1400 to 1415: Welcome and Introduction (Chair: Shaukat Ali)

Keynote 1: (Chair: Shaukat Ali)

1415 to 1515: Software Engineering for Quantum Computing and Quantum Computing for Software Engineering by Marco Pistoia (JPMorgan Chase & Co.) , Video

Abstract: Leveraging qubit superposition and entanglement, Quantum Computing is paving the way for extremely efficient computations. The underlying quantum hardware is not yet capable of solving industrial-scale problems, but while quantum hardware providers are working at a very fast pace to achieve quantum advantage, the entire software engineering community is making incredible progress in building a new software stack for Quantum Computing, which, from the highest entry-point level down to the execution on quantum hardware, includes the cloud-based access layer, the applications layer, the algorithms layer, and the circuit compilation and optimization layer. This is an important time in the development of Quantum Computing because software engineers have the unique opportunity to shape the software stack by devising new quantum-specific programming languages, novel software principles, and hardware-independent circuit compilers and optimizers to give researchers the opportunity to move from one hardware provider to another with the highest level of flexibility. In this keynote, I will present an overview of the state of the art of Software Engineering for Quantum Computing. I will also address another topic, which is often overlooked: the reverse need for Quantum Computing to facilitate Software Engineering by addressing hard problems that developers have to face on a daily basis, such as reducing the complexity of static program analysis and using Quantum Computing for Machine Learning to reduce the number of the false positives resulting from static analysis.

Biography: Marco Pistoia, Ph.D. is Managing Director, Head of Research and Engineering at JPMorgan Chase & Co., where he conducts and leads research in various areas, particularly Quantum Computing. Formerly, he was a Senior Manager, Distinguished Research Staff Member and Master Inventor at the IBM Thomas J. Watson Research Center in New York, where he managed an international team of researchers responsible for Quantum Computing Algorithms and Applications. He is the inventor of 210 patents, granted by the U.S. Patent and Trademark Office, and 285 patent-pending applications, 26 of which are in the area of Quantum Computing. Dr. Pistoia received his Ph.D. in Mathematics from New York University in May 2005. He has written two books and over 80 scholarly articles on various aspects of Program Analysis, Language-Based Security, Software Engineering, and Quantum Computing. Dr. Pistoia has been the recipient of several awards, including five Best Paper Awards (three ACM SIGSOFT Distinguished Paper Awards at the ACM ISSTA 2007, 2011 and 2014 conferences, respectively, a Best Paper Award at the ACM IUI 2017 conference, and an Honorable Mention at the IEEE VL/HCC 2017 Symposium). Dr. Pistoia has lectured at numerous universities worldwide, including Harvard, MIT, ETH Zurich, The Royal Society of London, Israel Institute of Technology, University of Maryland, Dartmouth College, University of Porto, and École Normale Supérieure.

Papers Session 1: (Chair: Tao Yue)

1530 to 1600: Luís Soares Barbosa, Software engineering for ‘quantum advantage’ Video

1600 to 1630: Shahin Honarvar, Mohammad Reza Mousavi, Rajagopal Nagarajan, Property-based Testing for Quantum Programs in Q# Preprint, Video

1630 to 1700: Thomas Gabor, Sebastian Feld, Hila Safi, Thomy Phan, Claudia Linnhoff-Popien, Insights on Training Neural Networks for QUBO Tasks; Preprint, Video

1700 to 1730: Carlos A Perez Delgado, Hector G. Perez-Gonzalez, Towards a Quantum Software Modeling Language Preprint, Video

July 3

Keynote 2: (Chair: Rui Abreu)

1400 to 1500: From qubits to Quantum Accelerator - The Full Stack Vision by Koen Bertels (University of Porto, Portugal) , Video

Abstract: Quantum computing is a very popular topic even though we still have quite some distance to travel before anything useful will be available. However, there is a lot of work that can be done by other scientific and even industrial fields. The main important topics to work on are all focused on developing a prototype of a quantum accelerator that can be connected to a normal computer and execute the quantum gates. We have been working on the full stack of a quantum computer but given the state and lack of quality of the quantum bits, called qubits, we think it is much more interesting to focus on the development of quantum algorithms that execute functionality that is important for the scientific or commercial partners. This talk will therefore explain the full stack and also illustrate what is already available in the public domain to help others start developing applications and even test the micro-architecture and a powerful quantum simulator that will be needed to execute the algorithm.Given the context of the conference, I will give examples with respect to the software and programming aspects.

Papers Session 2 (Chair: Rui Abreu)

1515 to 1545: Tom Krüger, Wolfgang Mauerer, Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving Preprint , Video

1545 to 1615: Shaydulin, Caleb Thomas, Paige Rodeghero, Making Quantum Computing Open: Lessons from Open-Source Projects

1615 to 1645: Thomas Gabor, Leo Sünkel, Fabian Ritz, Thomy Phan, Lenz Belzner, Christoph Roch, Sebastian Feld, Claudia Linnhoff-Popien, The Holy Grail of Quantum Artificial Intelligence: Challenges in Accelerating the Machine Learning Pipeline Preprint , Video

1645 to 1715: Carmelo R. Cartiere, Formal Quantum Software Engineering: Introducing the Formal Methods of Software Engineering to Quantum Computing Preprint, Video

1715 to 1800: Discussion on Q-SE Roadmap Development , Video