Programme

Semaine Mar. 28 Mer. 29 Liste

‹ mercredi 29 janvier 2025

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

›9:30 (30min)

Technical meeting EPIQ

›10:00 (30min)

Pause café

›10:30 (30min)

A rewriting theory for quantum lambda-calculus
Gaetan Lopez

›11:00 (30min)

Generation of state-independent contextuality proofs from hypergraphs
Axel Muller

›11:30 (30min)

Local equivalence of stabilizer states: a graphical characterisation
Nathan Claudet

›12:00 (2h)

Déjeuner

›14:00 (30min)

On linear optical circuits with finite-photon-number sources and detectors
Nicolas Heurtel

›14:30 (30min)

Adapting Barrier Certificates for usage to verify Quantum Computers
Marco Lewis

›15:00 (30min)

On the role of pseudo-entanglement in cryptography
Álvaro Yángüez

›15:30 (30min)

Pause café

›16:00 (30min)

Quantum property testing in sparse directed graphs
Daniel Szabo

›16:30 (30min)

Directed st-connectivity with few paths is in quantum logspace
Roman Edenhofer

›17:00 (30min)

Distributed Quantum Algorithms for Cycle Detection in Networks
Maël Luce

Session

Discours

Logistique

Pause

Sortie

Personnes connectées : 1

Vie privée