Services and Quantum Software Workshop
(SQS 2025) - Program and Schedule

Time: 09:00-12:30

Chair: Jose Garcia-Alonso, University of Extremadura, Spain

First session (9:00 – 10:30):
  • Opening
  • Keynote: State of the Art in Quantum Software Engineering and Optimization, Prof. Tao Yue, Beihang University, China
  • Jérome Ricciardi, Sébastien Bardin, Christophe Chareton and Benoît Valiron. Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
Second session (11:00 – 12:30):
  • Vincent Gierisch and Wolfgang Mauerer. QEF: Reproducible and Exploratory Quantum Software Experiments

  • Jose Antonio Parejo and Antonio Ruiz-Cortés. The Advantage Boundary: A Formal Basis for Integrating Quantum and Classical Services in Hybrid SaaS

  • Elena Desdentado, Macario Polo and Coral Calero. Estimating the number of shots to improve results accuracy

  • Alessandro Bocci, Giuseppe Bisicchia, Jose Garcia-Alonso and Antonio Brogi. A Circuit Mirroring Approach to Selecting the Best Quantum Computer
Promoted by
University of Extremadura