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 Nonlocality: 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 ChurchTuring 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íazCaro, Equivalence on propositions and proofs
 Daniele Varacca, Probability and Nondeterminism in Domain Theory, Part I
 Jean GoubaultLarrecq, Probability and Nondeterminism in Domain Theory, Part II
 Friday 24