9th International Conference on Quantum Simulation and Quantum Walks / 9e conférence internationale sur la simulation quantique et les marches quantiques

Collection 9th International Conference on Quantum Simulation and Quantum Walks / 9e conférence internationale sur la simulation quantique et les marches quantiques

Organizer(s) Di Molfetta, Giuseppe ; Kendon, Vivien ; Shikano, Yutaka ; Stefkova, Tereza
Date(s) 20/01/2020 - 24/01/2020
linked URL https://conferences.cirm-math.fr/2161.html

All the collection videos (5)

56:48

published on February 13, 2020

Time-multiplexed quantum walks

By Christine Silberhorn

49:20

published on February 13, 2020

Problems with continuous quantum walks

By Chris Godsil

01:06:46

published on February 13, 2020

How to compute using quantum walks

By Vivien Kendon

47:02

published on February 13, 2020

Spatial search using lackadaisical quantum walks

By Thomas G. Wong

44:38

published on February 13, 2020

Photonic graph states and their applications to quantum networks

By Stefanie Barz

Mathematics
and Interactions

Arithmetic Geometry – A Conference in Honor of Hélène Esnault on the Occasion of Her 70th Birthday

Not Only Scalar Curvature Seminar

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models

Lean for the curious mathematician / Lean pour mathématiciens

Collection 9th International Conference on Quantum Simulation and Quantum Walks / 9e conférence internationale sur la simulation quantique et les marches quantiques

Time-multiplexed quantum walks

Problems with continuous quantum walks

How to compute using quantum walks

Spatial search using lackadaisical quantum walks

Photonic graph states and their applications to quantum networks

Topological Symmetry and Duality in Quantum Lattice Models (2/4)

Topological Symmetry and Duality in Quantum Lattice Models (¼)

SageMath: research and experimentation in Combinatorics - Lecture 1

SageMath: research and experimentation in Combinatorics - Lecture 2

Compacted binary trees, stretched exponential and asymptotic behavior of recurrences

Complex analysis in Lean

Stone duality and its formalization

Finite Type Properties of (Tame) Fundamental Groups

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

Working with Mathlib