PLDI 2025 (series) / WQS 2025 (series) /
WQS 2025 Program
This is the WQS 2025 program - see the full program for PLDI 2025 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Tue 17 JunDisplayed time zone: Seoul change
Tue 17 Jun
Displayed time zone: Seoul change
09:00 - 10:10 | |||
09:00 10mDay opening | Day opening WQS | ||
09:10 50mKeynote | TBA WQS Samson Abramsky University College London | ||
10:30 - 12:00 | |||
10:30 50mKeynote | TBA_2 WQS Yunong Shi AWS Quantum Technologies | ||
11:20 20mTalk | A Semantics for Quantum Loops WQS | ||
11:40 20mTalk | From Fermions to Qubits: A ZX-Calculus Perspective WQS Haytham McDowall-Rose University of Oxford, Razin A. Shaikh University of Oxford, Lia Yeh University of Oxford | ||
14:00 - 15:20 | |||
14:00 20mTalk | Deriving a Kronecker-Free Functional Quantum Simulator WQS Martin Elsman University of Copenhagen | ||
14:20 20mTalk | Quantum Circuit Compilation with #SAT WQS | ||
14:40 20mTalk | Optimization and Synthesis of Quantum Circuits with Global Gates WQS Alejandro Villoria Leiden University, Henning Basold Leiden University, Alfons Laarman Leiden University | ||
15:00 20mTalk | Quantum Multiplexer Simplification for State Preparation WQS José A. de Carvalho Universidade Federal de Pernambuco, Carlos A. Batista Federal University of Pernambuco, Tiago M.L. de Veras Universidade Federal de Pernambuco, Israel F. Araujo data cybernetics ssc GMbH, Adenilton J. da Silva Universidade Federal de Pernambuco | ||
15:40 - 17:00 | |||
15:40 50mKeynote | TBA_3 WQS Raphael Seidel Fraunhofer Institute for Open Communication Systems | ||
16:30 20mTalk | Noise-Aware Calibration-Based Adaptive Gate Folding for Linear Zero-Noise Extrapolation WQS Leanghok Hour Pukyong National University, Myeongseong Go Pukyong National University, Youngsun Han Pukyong National University | ||
16:50 10mTalk | Automating Quantum Hoare Logic with Automata (Work-In-Progress) WQS | ||