‹Programming› 2024 (series) / QP 2024 (series) /
QP 2024 Program
This is the QP 2024 program - see the full program for ‹Programming› 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 11 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 11 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 5mDay opening | Opening QP Jianjun Zhao Kyushu University | ||
09:05 55mKeynote | Property-Based Testing and Debugging of Quantum ProgramsQP Keynote QP Mohammad Reza Mousavi King's College London | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee & Fika Catering | ||
10:30 - 12:00 | |||
10:30 30mTalk | Lossy Effect Transformers: Reasoning about Quantum Security Loss with Relational Effect Predicates and Weakest Precondition LogicLightning Talk QP | ||
11:00 30mTalk | Model-based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid SystemsFull Paper QP | ||
11:30 30mTalk | A Constraint Programming Approach for QUBO solving and Quantum AnnealingFull Paper QP Philippe Codognet Japanese-French Laboratory for Informatics | ||
12:00 - 13:00 | |||
12:00 60mLunch | Lunch Catering | ||
13:00 - 14:30 | |||
13:00 30mTalk | Shifting Quantum Circuits Languages Abstraction Level with Composable Quantum OraclesLightning Talk QP Javier Sánchez Rivero COMPUTAEX, Daniel Talaván COMPUTAEX, Jose García-Alonso Universidad de Extremadura, Antonio Ruiz-Cortés University of Seville, Juan Manuel Murillo University of Extremadura and COMPUTAEX Foundation | ||
13:30 50mOther | Open discussion QP | ||
14:20 10mDay closing | Closing QP Jianjun Zhao Kyushu University | ||
14:30 - 15:00 | |||
14:30 30mCoffee break | Coffee & Fika Catering | ||
18:00 - 20:00 | |||
18:00 2hSocial Event | Reception Social Events | ||
Tue 12 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 12 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:30 - 10:00 | |||
09:30 30mCoffee break | Coffee & Fika Catering | ||
12:00 - 13:00 | |||
12:00 60mLunch | Lunch Catering | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee & Fika Catering | ||
18:30 - 19:30 | |||
18:30 60mSocial Event | Pizza Social Social Events | ||
Wed 13 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 13 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:15 - 10:45 | |||
10:15 30mCoffee break | Coffee & Fika Catering | ||
12:15 - 13:15 | |||
12:15 60mLunch | Lunch Catering | ||
14:45 - 15:15 | |||
14:45 30mCoffee break | Coffee & Fika Catering | ||
19:00 - 22:00 | |||
19:00 3hSocial Event | Banquet Social Events | ||
Thu 14 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 14 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee & Fika Catering | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
14:30 - 15:00 | |||
14:30 30mCoffee break | Coffee & Fika Catering | ||
Fri 15 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 15 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 12:00 | Social EventSocial Events | ||
10:00 2hSocial Event | Lund walk Social Events | ||