Session 1. 10:45 - 12:15

  • 10:45-11:00

    Workshop presentation by the organizers

    Ricardo Pérez del Castillo, Mario Piattini, Manuel A. Serrano

    Welcome and brief outlook to the Talavera Manifesto on Quantum Software Engineering & Programming, its main commitments and call for action

  • 11:00-11:45
    Keynote: "Quantum Service Oriented Computing. Current Landscape and Challenges"

    Juan Manuel Murillo

    Professor of Advanced Software Engineering Techniques at the University of Extremadura.

  • 11:45-12:15
    An Exploratory Study on the Challenges of Engineering Quantum Applications in the Cloud

    Daniel Vietz, Johanna Barzen, Frank Leymann, Benjamin Weder and Vladimir Yussupov

12:15 - 13:00 Break & Exhibits

Session 2. 13:00 - 14:30

  • 13:00-13:20
    QuantumPath´s Annealer Compositor

    Jose Luis Hevia, Guido Peterssen, Ezequiel Murina, Aurelio Martínez and Mario Piattini

  • 13:20-13:40
    Cybersecurity for Quantum Computing

    Natalie Kilber

  • 13:40-14:00
    Engineering Reliable Hybrid Quantum Software: An Architectural-driven Approach

    Max Scheerer, Jonas Klamroth, Oliver Denninger

  • 14:00-14:15
    Trials and Tribulations of Developing Hybrid Quantum-Classical Microservices Systems

    Javier Rojo, Enrique Moguel, David Valencia, Javier Berrocal, Jose García-Alonso and Juan M. Murillo

  • 14:15-14:30
    Testing Quantum Programs using Q# and Microsoft Quantum Development Kit

    Mariia Mykhailova and Mathias Soeken

14:30 - 15:15 Break & Exhibits

Session 3. 15:15 - 16:45

  • 15:15-15:35
    Software Quality Issues in Quantum Information Systems

    Javier Verdugo, Moisés Rodríguez and Mario Piattini

  • 15:35-15:55
    Constraints for executing quantum programs in real quantum devices

    Lorenzo Saraiva, Edward Hermann Haeusler, Vaston Costa and Marcos Kalinowski

  • 15:55-16:15
    Formal Quantum Software Engineering

    Carmelo R. Cartiere

  • 16:15-16:35
    Towards a quantum algorithm for evaluating WCETs

    Gabriella Bettonte, Stéphane Louise and Renaud Sirdey

16:35-16:45 Closure

* The program is scheduled in Mountain Time (MDT) — UTC-6