‹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
Mon 13 Mar 2023
Tue 14 Mar 2023
Wed 15 Mar 2023
Thu 16 Mar 2023
Rooms
Faculty of Engineering Building 2, Registration Area
Faculty of Engineering Building 2, Room 212
Faculty of Engineering Building 6, Registration Area
Faculty of Engineering Building 6, Seminar Room C
Hongo University Campus area
Tracks
QP
‹Programming›
‹Programming› Breaks
Badges
Full Paper
Lightning Talk
QP Keynote
Your Program
Nothing to filter
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 | ||