09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
›9:30 (30min)
9:30 - 10:00 (30min)
Technical meeting EPIQ
›10:00 (30min)
10:00 - 10:30 (30min)
Pause café
›10:30 (30min)
10:30 - 11:00 (30min)
A rewriting theory for quantum lambda-calculus
Gaetan Lopez
›11:00 (30min)
11:00 - 11:30 (30min)
Generation of state-independent contextuality proofs from hypergraphs
Axel Muller
›11:30 (30min)
11:30 - 12:00 (30min)
Local equivalence of stabilizer states: a graphical characterisation
Nathan Claudet
›12:00 (2h)
12:00 - 14:00 (2h)
Déjeuner
›14:00 (30min)
14:00 - 14:30 (30min)
On linear optical circuits with finite-photon-number sources and detectors
Nicolas Heurtel
›14:30 (30min)
14:30 - 15:00 (30min)
Adapting Barrier Certificates for usage to verify Quantum Computers
Marco Lewis
›15:00 (30min)
15:00 - 15:30 (30min)
On the role of pseudo-entanglement in cryptography
Álvaro Yángüez
›15:30 (30min)
15:30 - 16:00 (30min)
Pause café
›16:00 (30min)
16:00 - 16:30 (30min)
Quantum property testing in sparse directed graphs
Daniel Szabo
›16:30 (30min)
16:30 - 17:00 (30min)
Directed st-connectivity with few paths is in quantum logspace
Roman Edenhofer
›17:00 (30min)
17:00 - 17:30 (30min)
Distributed Quantum Algorithms for Cycle Detection in Networks
Maël Luce
