‹Programming› 2023 (series) / QP 2023 (series) /
QP 2023 Program
This is the QP 2023 program - see the full program for ‹Programming› 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 13 MarDisplayed time zone: Osaka, Sapporo, Tokyo change
Mon 13 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change
08:30 - 17:30 | |||
08:30 9hRegistration | Registration | ||
10:30 - 11:00 | |||
10:30 30mBreak | Break Breaks | ||
12:00 - 14:00 | |||
12:00 2hBreak | Lunch Break Breaks | ||
15:30 - 16:00 | |||
15:30 30mBreak | Break Breaks | ||
Tue 14 MarDisplayed time zone: Osaka, Sapporo, Tokyo change
Tue 14 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change
08:30 - 17:30 | |||
08:30 9hRegistration | Registration | ||
09:00 - 10:30 | Keynote and First papersQP at Faculty of Engineering Building 6, Seminar Room C Chair(s): Tao Yue Simula Research Laboratory | ||
09:00 5mDay opening | Workshop Opening QP Shaukat Ali Simula Research Laboratory, Paolo Arcaini National Institute of Informatics
, Tao Yue Simula Research Laboratory | ||
09:05 55mKeynote | Static Analysis for Quantum Software Correctness and ReliabilityQP Keynote QP | ||
10:00 30mTalk | Model-Driven Quantum Federated Learning (QFL)Full Paper QP Armin Moin Technical University of Munich, Germany, Atta Badii University of Reading, United Kingdom, Moharram Challenger University of Antwerp | ||
10:30 - 11:00 | |||
10:30 30mBreak | Break Breaks | ||
11:00 - 12:00 | First paper sessionQP at Faculty of Engineering Building 6, Seminar Room C Chair(s): Shaukat Ali Simula Research Laboratory | ||
11:00 30mTalk | QUARC: Towards an Efficient Hybrid System for Bounded Model CheckingLightning Talk QP Christoph Kirsch University of Salzburg; Czech Technical University, Stefanie Muroya Lei Institute of Science and Technology in Austria | ||
11:30 30mTalk | Towards Reliable Distributed Quantum Computing on Quantum InterconnectsFull Paper QP Ryo Wakizaka Kyoto University | ||
12:00 - 14:00 | |||
12:00 2hBreak | Lunch Break Breaks | ||
14:00 - 15:30 | Second paper sessionQP at Faculty of Engineering Building 6, Seminar Room C Chair(s): Jianjun Zhao Kyushu University | ||
14:00 30mTalk | Generalized W state circuits in the qudit Clifford hierarchyFull Paper QP Lia Yeh University of Oxford | ||
14:30 30mTalk | TornadoQSim: An open-source high-performance and modular system for Quantum Circuit SimulationLightning Talk QP Athanasios Stratikopoulos The University of Manchester, Ales Kubicek ETH Zürich, Juan Fumero University of Manchester, UK, Christos Kotselidis KTM Innovation / The University of Manchester | ||
15:00 30mTalk | Capturing qubit decoherence through paraconsistent transition systemsFull Paper QP | ||
15:30 - 16:00 | |||
15:30 30mBreak | Break Breaks | ||
16:00 - 17:30 | Third paper sessionQP at Faculty of Engineering Building 6, Seminar Room C Chair(s): João Paulo Fernandes LIACC, Universidade do Porto, Porto, Portugal | ||
16:00 30mTalk | Towards a New Model of Experiential Learning for Quantum ProgrammersLightning Talk QP Shwetha Jayaraj New York Institute of Technology, Ali Gedawi New York Institute of Technology, Yusui Chen , Michael Nizich New York Institute of Technology | ||
16:30 30mTalk | Symbolic quantum programming for supporting applications of quantum computing technologiesFull Paper QP Jaroslaw Adam Miszczak Institute of Theoretical and Applied Informatics, Polish Academy of Sciences | ||
17:00 10mDay closing | Workshop Closing QP Shaukat Ali Simula Research Laboratory, Paolo Arcaini National Institute of Informatics
, Tao Yue Simula Research Laboratory | ||
Wed 15 MarDisplayed time zone: Osaka, Sapporo, Tokyo change
Wed 15 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change
08:30 - 17:30 | |||
08:30 9hRegistration | Registration | ||
08:45 - 09:00 | |||
08:45 15mOther | Conference Opening | ||
10:30 - 11:00 | |||
10:30 30mBreak | Break Breaks | ||
12:00 - 14:00 | |||
12:00 2hBreak | Lunch Break Breaks | ||
15:30 - 16:00 | |||
15:30 30mBreak | Break Breaks | ||
Thu 16 MarDisplayed time zone: Osaka, Sapporo, Tokyo change
Thu 16 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change
08:30 - 17:30 | |||
08:30 9hRegistration | Registration | ||
10:30 - 11:00 | |||
10:30 30mBreak | Break Breaks | ||
12:00 - 14:00 | |||
12:00 2hBreak | Lunch Break Breaks | ||
15:30 - 16:00 | |||
15:30 30mBreak | Break Breaks | ||
17:00 - 17:15 | |||
17:00 15mOther | Announcements | ||