Quantitative approaches (20 – 24 February)

Schedule

Monday 20

9:00 - 10:20
Lecture Prakash Panangaden (Montréal, Canada) Markov processes as function transformers: bisimulation and approximation — Part I: Overview and Categories of Cones
10:40 - 12:00
Lecture Elham Kashefi (Edinburgh, UK) Tutorial on quantum computing
14:00 - 15:00
Invited talk Ross Duncan (Brussels, Belgium) Interacting Observables in Categorical Quantum Mechanics
15:20 - 16:20
Invited talk Aleks Kissinger (Oxford, UK) Picturing Non-locality: Generalised Mermin Arguments in Categorical Quantum Mechanics
16:20 - 17:00
Contributed talk Claudia Faggian (Paris, France) Geometry of Interaction and Quantum Circuits

Tuesday 21

9:00 - 10:20
Lecture Prakash Panangaden (Montréal, Canada) Markov processes as function transformers: bisimulation and approximation — Part II: Functorial View of Expectation Values
10:40 - 12:00
Lecture Elham Kashefi (Edinburgh, UK) Tutorial on quantum computing
14:00 - 15:00
Invited talk Alexander Green (Dalhousie University, Canada) Functional Quantum Programming
15:20 - 16:20
Invited talk Pablo Arrighi (Grenoble, France) The physical Church-Turing thesis and the principles of quantum theory

Wednesday 22

9:00 - 10:20
Lecture Prakash Panangaden (Montréal, Canada) Markov processes as function transformers: bisimulation and approximation — Part III: Bisimulation, minimal realization and approximation
10:40 - 12:00
Lecture Christine Tasson (Paris, France) From quantitative semantics to syntaxes
13:45 - 15:00
Hippocampe: poster session by young (high school) mathematicians

Thursday 23

9:00 - 10:20
Lecture Thomas Ehrhard (Paris, France) Extensional collapse of the relational semantics of Linear Logic, and applications
10:40 - 11:20
Contributed talk Alejandro Díaz-Caro (Villetaneuse, France) Equivalence on propositions and proofs
14:00 - 15:00
Invited talk Daniele Varacca (Paris, France) Probability and Nondeterminism in Domain Theory, Part I
15:20 - 16:20
Invited talk Jean Goubault-Larrecq (Paris, France) Probability and Nondeterminism in Domain Theory, Part II

Friday 24

9:00 - 10:20
Lecture Christine Tasson (Paris, France) From quantitative semantics to syntaxes
10:40 - 11:20
Contributed talk Benoît Valiron (Philadelphia, US) On denotational semantics of quantum computation
11:20 - 12:00
Contributed talk Geoff Cruttwell (Ottawa, Canada) Reconsidering Cartesian differential categories
14:00 - 15:00
Invited talk Rick Blute (Ottawa, Canada) Homological algebra and differential linear logic
15:20 - 16:20
Invited talk Robin Cockett (Calgary, Canada) What is a Differential PCA?