A Conference in Honour of Prakash Panangaden on his 60th Birthday, Oxford, 2014
29 videos • 587 views • by OxfordQuantumVideo
1
Samson Abramsky: "An Operational Interpretation of Negative Probabilities and No-Signaling Models"
OxfordQuantumVideo
Download
2
Frank de Boer, "Leaving traces: a note on a sound and complete trace logic"
OxfordQuantumVideo
Download
3
Bob Coecke, "Terminality implies non-signalling (and other abstract nonsense about causality)"
OxfordQuantumVideo
Download
4
Vincent Danos: "Formal mean field theories for graph rewriting"
OxfordQuantumVideo
Download
5
Josée Desharnais, "Enforcing data-flow and termination-sensitive information flow"
OxfordQuantumVideo
Download
6
Ross Duncan, "The non-logic of quantum mechanics"
OxfordQuantumVideo
Download
7
Jean Goubault-Larrecq, "Random measurable selections"
OxfordQuantumVideo
Download
8
Patrick Hayden, "Spacetime quantum secret sharing"
OxfordQuantumVideo
Download
9
Bart Jacobs: "Perspectives on Categorical Quantum Logic"
OxfordQuantumVideo
Download
10
Radha Jagadeesan, "TCC, with history"
OxfordQuantumVideo
Download
11
Elham Kashefi: "Classically-Controlled QC"
OxfordQuantumVideo
Download
12
Sophia Knight, "Asynchronous public announcement"
OxfordQuantumVideo
Download
13
Dexter Kozen, "Optimal coin flipping"
OxfordQuantumVideo
Download
14
Marta Kwiatkowska, "Probabilistic model checking of labelled Markov processes"
OxfordQuantumVideo
Download
15
Kim Larsen, "Probabilistic bisimulation distances & statistical model checking"
OxfordQuantumVideo
Download
16
Catuscia Palamidessi: "A Variant of the Kantorovich distance for Differential Privacy"
OxfordQuantumVideo
Download
17
Gordon Plotkin: "Layout randomization and nondeterminism"
OxfordQuantumVideo
Download
18
Jan Rutten: "The dual equivalence of equations and coequations for automata"
OxfordQuantumVideo
Download
19
Mehrnoosh Sadrzadeh, "Word order alternation in Sanskrit via precyclicity in pregroup grammars"
OxfordQuantumVideo
Download
20
Philip Scott: "Coordinatizing Countable MV-Algebras and AF C*-algebras"
OxfordQuantumVideo
Download
21
Peter Selinger, "Generators and relations for the Clifford groupoid"
OxfordQuantumVideo
Download
22
Alexandra Silva, "Automata learning: a categorical perspective"
OxfordQuantumVideo
Download
23
Glynn Winskel: "Distributed probabilistic strategies"
OxfordQuantumVideo
Download
24
Mingsheng Ying, "Quantum programming: from superposition of data to superposition of programs"
OxfordQuantumVideo
Download
25
Stephen Brookes: "Grainless models of concurrency"
OxfordQuantumVideo
Download
26
Franck van Breugel: "Computing a Bismilarity Pseudometric on Probabilistic Automata"
OxfordQuantumVideo
Download
27
James Worrell: "Ultimate Positivity is Decidable for Linear Recurrence Sequences"
OxfordQuantumVideo
Download
28
Joel Ouaknine: "The Polyhedron-Hitting Problem"
OxfordQuantumVideo
Download
29
Mike Mislove: "From Haar to Lebesgue via Domain Theory"
OxfordQuantumVideo
Download