IEEE Conferences

The 2023 IEEE Quantum Software Symposium is organized as an integral part of the 2023 IEEE International Conference on Quantum Software.

The promise of quantum software is to revolutionize the development of the industry. In line with today's developers' and researchers' greater social and environmental awareness, we must encourage the development of ethical quantum technologies that positively transform people's lives. Quantum software will be the vehicle of the future to implement this transformation, and our goal during the symposium is to contribute to the community platform of researchers and developers with tools, and techniques for integrating quantum software into existing productions systems, and thinking, awareness, and a vision for a responsible quantum revolution.

We welcome all initiatives to standardize and democratize access to programming quantum systems, their integration with classical computing platforms such as the cloud and HPC, advances in program design and verification formalisms, new algorithms, and more. Register now for attending to the QSW Symposium.

QSW Symposium Program

Date/Time	Session	Presentation
Monday 7/3 14:00 - 15:10 Location: Comiskey	QSW_SYM_1 Session Chair: Salvadore de la Puente	Quantum-Classical Integration: Scenarios and Strategies Bridging the Gap Ismael Faro, Director of Services and Production, IBM As quantum technologies continue to advance at an unprecedented pace, the integration of quantum and classical systems has emerged as a crucial frontier in computational science and engineering. This presentation explores the various scenarios and strategies that can effectively bridge the gap between quantum and classical computing paradigms. We delve into the challenges and opportunities presented by quantum-classical integration and discuss cutting-edge approaches that enable seamless collaboration between these two computational domains. Join us as we explore the exciting possibilities and roadmap towards harnessing the full potential of quantum-classical integration in Cloud or HPC scenarios. Taking the new challenges in Hybrid architecture and programming models, that will allow us combine quantum technological innovations with the current classical computation resources, bringing impact in the real-world applications. Panel: Machine-Agnostic Programming Languages Panelists: Bettina Heim, NVIDIA Cassandra Granade, Dual Space Solutions, author Dor Israeli, Quantum Machines Pete Campora, Quantinuum Thomas Alexander, IBM Machine-agnostic representations of quantum programs are crucial for establishing a common language that exposes the capabilities of quantum computers and consolidates cooperation between the hardware and software development industries. By transcending specific hardware architectures, these representations enable portability, flexibility, and collaboration in quantum software development. They facilitate seamless integration between hardware and software, fostering a unified ecosystem and accelerating the advancement of quantum computing technology.
Monday 7/3 15:25 - 16:35 Location: Comiskey	QSW_SYM_2 Quantum Software Engineering Session Chair: Shaukat Ali, Simula Research Laboratory and Oslo Metropolitan University	Progressing the Development of Quantum Software Engineering - Proposals and Their Implementation Ignacio García Rodríguez de Guzmán Together with other calls to action, the Talavera Manifesto for Software Engineering and Programming was the starting point for the development of Quantum Software Engineering (QSE). QSE is a key factor for the success of quantum computing, which today is starting to emerge in multiple proposals covering different areas of quantum software, such as quality, testing, re-engineering, hybrid systems, service-orientation, development methodologies, etc. However, these advances are not useful for industry without appropriate environments that integrate these advances and make them available to engineers. Therefore, in addition to the analysis of various proposals and advances, we will see how environments such as QuantumPath® integrate all this knowledge from the point of view of QSE.
		Parity Quantum Optimization and Universal Parity Quantum Computing Michael Fellner The Parity Architecture allows to solve optimization problems involving k-local interactions on a planar quantum device in constant runtime and with spatially local physical interactions only, without the need of SWAP-gates. This works for digital as well as for analog quantum devices, using variational quantum optimization algorithms or annealing schemes, respectively. The reduction in connectivity requirements and runtime comes at the cost of a qubit overhead, which we minimize with a compilation step in preprocessing. In this talk, I will outline the main ideas of this approach and discuss how it gives advantage also for universal quantum computation in that it allows an easy implementation of logical CPhase gates and provides an intrinsic robustness against bit-flip errors.
		Testing Quantum Programs: Challenges & Techniques Rui Abreau This keynote will explore the uncharted terrain of quantum program testing. As quantum computing pushes computational boundaries, testing quantum programs presents unique challenges, like handling quantum noise, state validation, measurement issues, and system non-determinism. We'll shed light on the latest techniques overcoming these hurdles, such as unit testing, quantum assertion, metamorphic and mutation testing, quantum simulation, and formal verification methods. With case studies and a glimpse into future research, this talk promises a comprehensive understanding of the complexity and necessity of testing in the quantum computing landscape. Ideal for quantum programmers, testing professionals, and students intrigued by quantum technology.
		Abstracting Quantum Computation Joe Fitzsimons, Horizon Quantum
Tuesday 7/4 9:25 - 10: 35 Location: Comiskey	QSW_SYM_3 Cloud-based Quantum Computing Session Chair: Florian Neukart	Cloud-based Quantum Computing Georg Gesek Practical Approaches to Probing Scientific Problems with Cloud-based Quantum Computers Bert de Jong Short-term Applications of Quantum Technology in Cloud Computing Environments Dinesh Verma Hybrid Quantum Neural Networks: Design, Implementation, and Execution Alexey Melnikov Cloud-based Quantum Computing Reuben Brasher
Tuesday 7/4 10:50 - 12:00 Location: Comiskey	QSW_SYM_4 Session Chair: Victoria Jodi	Quantum for Good Responsible QC: Why We Need It & Its Relevance in the Software Space Mira Wolf-Bauwens Computing As Accelerator in Life Science & Drug Response Prediction Vishal Shete

Organizing Committee

Chairs:

Shaukat Ali, Simula Research Laboratory and Oslo Metropolitan University
Victoria Jodl, Terra Quantum
Florian Neukart, Terra Quantum
Salvador de la Puente, IBM

About IEEE

IEEE is the world’s largest professional association advancing innovation and technological excellence for the benefit of humanity. IEEE and its members inspire a global community to innovate for a better tomorrow through its highly cited publications, conferences, technology standards, and professional and educational activities. IEEE is the trusted “voice” for engineering, computing and technology information around the globe.

About IEEE Computer Society

With nearly 85,000 members, the IEEE Computer Society (CS) is the world’s leading organization of computing professionals. Founded in 1946, and the largest of the 38 societies of the Institute of Electrical and Electronics Engineers (IEEE), the CS is dedicated to advancing the theory and application of computer and information-processing technology.

About the Technical Committee on Services Computing

Founded in 2003, IEEE Computer Society’s Technical Community on Services Computing (TCSVC) is a multidisciplinary group whose purpose is to advance and coordinate work in the field of Services Computing carried out throughout the IEEE in scientific, engineering, standard, literary and educational areas. IEEE TCSVC membership details are available at http://tab.computer.org/tcsvc/