A Conference in Honour of Samson Abramsky on the event of his 60th Birthday 28-30 May 2013 Oxford Department of Computer Science, Lecture Theatre B Organisers: Bob Coecke, Luke Ong, Prakash Panangaden Local organisers: Destiny Chen, Aleks Kissinger Please contact Destiny Chen <destiny.chen@cs.ox.ac.uk> for all questions. www: http://www.cs.ox.ac.uk/sa60/index.html PROGRAM: Tuesday 28th May » 08.30-09.15 Registration and Payment 09.30-10.00 Introduction/welcome by Head of Department 10.00-10.30 Luke Ong 10.30-11.00 Radha Jagadeesan Title: Linearizability, Revisited. 11.00-11.30 BREAK 11.30-12.00 Nikos Tzevelokos & Andrzej Murawski Title: Towards Nominal Abramsky 12.00-12.30 Paul-Andre Mellies Title: Dialogue categories and Frobenius 12.30-14.00 LUNCH 14.00-14.30 Glynn Winskel Title: Quantum event structures and strategies'' 14.30-15.00 Marcelo Fiore Title: The Algebra of DAGs 15.00-15.30 BREAK 15.30-16.00 Dusko Pavlovic Title: Concepts extended in time 16.00-16.30 Noson Yanofsky Title: Kolmogorov Complexity of Categories 16.30-16.45 BREAK 16.45-17.15 Marina Lenisa Title: Unfixing the Fixpoint: the theories of the lambdaY-calculus 17.15-17.45 Martin Hyland Wednesday 29th May » 09.30-10.00 Dan Ghica Title: Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits 10.00-10.30 Ross Duncan Title: Tracing a path from game semantics to post-quantum protocols 10.30-11.00 Aleks Kissinger 11.00-11.30 BREAK 11.30-12.00 Jamie Vicary Title: Stitching the Logical Quilt 12.00-12.30 Bob Coecke Title: The logic of quantum mechanics - take II 12.30-14.00 LUNCH 14.00-14.30 Philip Scott Title: A categorical model of higher-order quantum computation 14.30-15.00 Chris Heunen Title: On the functor l^2 15.00-15.30 BREAK 15.30-16.00 Simon Gay Title: Deadlock-Free Processes and Non-Zero Vectors 16.00-16.30 Mingsheng Ying Title: Floyd-Hoare logic for quantum programs 16.30-16.45 BREAK 16.45-17.15 Ray Lal Title: A sheaf-theoretic approach to the contextuality of cluster states 17.15-17.45 Shane Mansfield Title: On the reality of observable properties 19.30 Dinner at Wolfson Thursday 30th May » 09.30-10.00 Achim Jung Title: Continuous domain theory in logical form 10.00-10.30 Mike Mislove Title: Searching for a Random Variables 10.30-11.00 Prakash Panangaden Title: Which is the fairest of them all? The expressive power of indeterminate primitives. 11.00-11.30 BREAK 11.30-12.00 Peter Hines Title: Coherence in the untyped setting 12.00-12.30 Gordon Plotkin 12.30-14.00 LUNCH 14.00-14.30 Chris Hankin & Malacaria 14.30-15.00 Jamie Gabbay 15.00-15.30 Jim Laird Title: computational interpretations of linear logic [For admin and other information see: http://www.mta.ca/~cat-dist/ ]