Quantitative approaches (20 – 24 February)
9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
14:00
14:30
15:00
15:30
16:00
16:30
-
Monday 20
- Prakash Panangaden, Markov processes as function transformers: bisimulation and approximation – Part I: Overview and Categories of Cones
- Elham Kashefi, Tutorial on quantum computing
- Ross Duncan, Interacting Observables in Categorical Quantum Mechanics
- Aleks Kissinger, Picturing Non-locality: Generalised Mermin Arguments in Categorical Quantum Mechanics
- Claudia Faggian, Geometry of Interaction and Quantum Circuits
-
Tuesday 21
- Prakash Panangaden, Markov processes as function transformers: bisimulation and approximation – Part II: Functorial View of Expectation Values
- Elham Kashefi, Tutorial on quantum computing
- Alexander Green, Functional Quantum Programming
- Pablo Arrighi, The physical Church-Turing thesis and the principles of quantum theory
-
Wednesday 22
- Prakash Panangaden, Markov processes as function transformers: bisimulation and approximation – Part III: Bisimulation, minimal realization and approximation
- Christine Tasson, From quantitative semantics to syntaxes
- Hippocampe: poster session by young (high school) mathematicians
-
Thursday 23
- Thomas Ehrhard, Extensional collapse of the relational semantics of Linear Logic, and applications
- Alejandro Díaz-Caro, Equivalence on propositions and proofs
- Daniele Varacca, Probability and Nondeterminism in Domain Theory, Part I
- Jean Goubault-Larrecq, Probability and Nondeterminism in Domain Theory, Part II
- Friday 24