POPL 2024 (series) / PLanQC 2024 (series) /
PLanQC 2024 Program
This is the PLanQC 2024 program - see the full program for POPL 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 14 JanDisplayed time zone: London change
Sun 14 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
Mon 15 JanDisplayed time zone: London change
Mon 15 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
Tue 16 JanDisplayed time zone: London change
Tue 16 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
Sat 20 JanDisplayed time zone: London change
Sat 20 Jan
Displayed time zone: London change
09:00 - 10:30 | |||
09:00 45mKeynote | Monoidal Adventures PLanQC Conor McBride University of Strathclyde | ||
09:45 22mTalk | Introducing BRAT PLanQC Ross Duncan Quantinuum, Mark Koch Quantinuum, Alan Lawrence Quantinuum, Conor McBride University of Strathclyde, Craig Roy Quantinuum File Attached | ||
10:07 22mTalk | Circuit Width Estimation via Effect Typing and Linear Dependency (Extended Abstract) PLanQC Andrea Colledan University of Bologna & INRIA Sophia Antipolis, Ugo Dal Lago University of Bologna & INRIA Sophia Antipolis |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
11:00 - 12:30 | |||
11:00 22mTalk | Graphical Primitive Recursion For String Diagrams PLanQC | ||
11:22 22mTalk | Optimal compilation of parametrised quantum circuits PLanQC John van de Wetering University of Amsterdam, Richie Yeung University of Oxford, Tuomas Laakkonen Quantinuum, Aleks Kissinger University of Oxford | ||
11:45 22mTalk | Polynomial-time Classical Simulation of Roetteler’s Shifted Bent Function Algorithm PLanQC | ||
12:07 22mTalk | Qadence: a differentiable interface for digital-analog programs PLanQC Dominik Seitz PASQAL SAS, Niklas Heim PASQAL SAS, João P. Moutinho PASQAL SAS, Roland Guichard PASQAL SAS, Vytautas Abramavicius PASQAL SAS, Aleksander Wennersteen PASQAL SAS, Gert-Jan Both PASQAL SAS, Mario Dagrada PASQAL SAS, Vincent Elfving PASQAL SAS Pre-print File Attached |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
12:30 - 14:00 | |||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
14:00 - 15:30 | New Directions for Quantum ProgrammingPLanQC at Marconi Room Chair(s): Aleks Kissinger University of Oxford | ||
14:00 22mTalk | A feasible and unitary programming language with quantum control PLanQC Alejandro Díaz-Caro ICC (UBA-CONICET) & UNQ, Emmanuel Hainry LORIA, Université de Lorraine, Romain Péchoux Université de Lorraine; CNRS; Inria; LORIA, Mário Silva LORIA, Université de Lorraine | ||
14:22 22mTalk | GUPPY: Pythonic Quantum-Classical Programming PLanQC Mark Koch Quantinuum, Alan Lawrence Quantinuum, Kartik Singhal Quantinuum, Seyon Sivarajah Quantinuum, Ross Duncan Quantinuum Media Attached File Attached | ||
14:44 22mTalk | Quantum and Classical Control (work-in-progress)remote PLanQC Kinnari Dave Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles, Louis Lemonnier Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles, Romain Péchoux Université de Lorraine; CNRS; Inria; LORIA, Vladimir Zamdzhiev Inria |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
16:00 - 17:30 | |||
16:00 22mTalk | Effect Semantics for Quantum Protocols PLanQC Lorenzo Ceragioli IMT Lucca, Italy, Fabio Gadducci University of Pisa, Giuseppe Lomurno University of Pisa, Italy, Gabriele Tedeschi University of Pisa, Italy | ||
16:22 22mTalk | QbC: Quantum Correctness by Constructionremote PLanQC Pre-print | ||
16:45 22mTalk | Quantum Controlled Measurements via Program Transformation PLanQC File Attached | ||
17:07 22mTalk | QGAT: A Generate-and-Test Paradigm for Quantum Circuits PLanQC Ulrik de Muelenaere University of Notre Dame File Attached |