6th International Workshop on

Quantum Compilation

09:30	COFFEE
9:45	Opening : Prof. Dr. Manfred Hauswirth (Fraunhofer FOKUS)
10:00	INVITED TALK : Prof. Dr. Robert Wille (TU Munich)
11:00	Remmy Zen, Jan Olle, Luis Colmenarez, Matteo Puviani, Markus Müller and Florian Marquardt Quantum Circuit Discovery for Fault-Tolerant Logical State Preparation with Reinforcement Learning [Paper PDF]
11:30	Seiseki Akibue, Go Kato and Seiichiro Tani Probabilistic unitary and state synthesis with optimal accuracy [Paper PDF]
12:00	Silas Dilkes and Yao Tang A Greedy Search Algorithm for the Construction of Architecture-Aware Pauli-Exponential-Clifford Circuits [Paper PDF]
12:30	LUNCH
13:30	Poster Session
14:00	John van de Wetering and Matthew Amy Optimising quantum circuits is generally hard [Paper PDF]
14:30	Raphael Seidel Automatic quantum function parallelization and memory management in Qrisp [Paper PDF]
15:00	Vivien Vandaele Lower T-count with faster algorithms [Paper PDF]
15:30	COFFEE
16:00	Emmanuel Hainry, Romain Péchoux and Mário Silva Branch Sequentialization in Quantum Polytime [Paper PDF]
16:30	John van de Wetering, Richie Yeung, Tuomas Laakkonen and Aleks Kissinger Optimal compilation of parametrised quantum circuits [Paper PDF]
17:00	END

09:30	COFFEE
10:00	INVITED TALK : Bettina Heim (NVIDIA)
11:00	Mark Koch, Agustín Borgna, Seyon Sivarajah, Alan Lawrence, Alec Edgington, Douglas Wilson, Craig Roy, Luca Mondada, Lukas Heidemann and Ross Duncan HUGR: A Quantum-Classical Intermediate Representation [Paper PDF]
11:30	Julian Teske and André Carvalho Machine learning models for layout selection and extension of the native gate set with an efficient calibration and compilation
12:00	Dohun Kim, Minyoung Kim, Sarah Meng Li and Michele Mosca Improving the Fidelity of CNOT Circuits on NISQ Hardware [Paper PDF]
12:30	LUNCH
13:30	POSTER SESSION
14:00	Yannick Stade, Ludwig Schmid, Lukas Burgholzer and Robert Wille Compiler Development for Neutral Atom Quantum Computers [Paper PDF]
14:30	Korbinian Staudacher, Ludwig Schmid, Wanja Sajko and Robert Wille Towards a Cross-Compilation Strategy for Neutral Atoms Using Graph-like ZX-Diagrams [Paper PDF]
15:00	Aaron Miller Treespilation and the Bonsai Algorithm: Grow Your own Fermion-to-Qubit Mappings [Paper PDF]
15:30	COFFEE
16:00	Tanuj Khattar and Craig Gidney Rise of conditionally clean ancillae for optimizing quantum circuits [Paper PDF]
16:30	Kostia Chardonnet, Ugo Dal Lago, Naohiko Hoshino and Paolo Pistone From Lambda Calculus to Quantum Circuits Through the Geometry of Interaction [Paper PDF]
17:00	END