OASIS: The Oxford Advanced Seminar on Informatic Structures

The Oxford Advanced Seminar on Informatic Structures is a weekly interdisciplinary seminar of the Department of Computer Science, University of Oxford. This seminar series exposes the research interests of the Foundations  Logic and Structures research theme. We have an organising programme committee spanning the breadth of the interests of the Foundations group, from category theory, quantum computation and quantum information theory, to logic, semantics. Feel free to contact any of us for further information or if you want to be added to the talk announcement mailing list.

Everyone is more than welcome to attend OASIS. Unless otherwise stated, the talks are on Fridays at 2 pm in the Lecture Theatre A of the Department of Computer Science, followed by informal friendly discussions over tea and biscuits in the lounge. Hope to see you all there.

While in-person participation is strongly encouraged, the talks will be accessible remotely as well, at the following Zoom link:
https://cs-ox-ac-uk.zoom.us/j/99562853810?pwd=VmJFUlhNbVJwOUpjTE5hUk9LUkMvUT09
Meeting ID: 995 6285 3810
Passcode: 983333

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

• 15Nov2024
  Deniable encryption in a quantum world

  14:00 Friday 15th November ( week 5, Michaelmas Term 2024 ) in Bill Roscoe Lecture Theatre (ex LTB)

  Andrea Coladangelo ( University of Washington, Seattle WA (USA) )
• 8Nov2024
  Neural Model Checking

  14:00 Friday 8th November ( week 4, Michaelmas Term 2024 ) in Bill Roscoe Lecture Theatre (ex LTB)

  Mirco Giacobbe ( University of Birmingham )
• 1Nov2024
  Type Systems for Numerical Error Analysis

  14:00 Friday 1st November ( week 3, Michaelmas Term 2024 ) in Bill Roscoe Lecture Theatre (ex LTB)

  Justin Hsu ( Cornell University (Ithaca, NY, USA) and University College London )
• 25Oct2024
  Side-effects are comonadic: dependently graded comonads and parametric right adjoint monads.

  14:00 Friday 25th October ( week 2, Michaelmas Term 2024 ) in Bill Roscoe Lecture Theatre (ex LTB)

  David Jaz Myers ( Topos Research UK )
• 18Oct2024
  Imprecise Probabilistic Machine Learning: Being Precise About Imprecision

  14:00 Friday 18th October ( week 1, Michaelmas Term 2024 ) in Lecture Theatre A

  Michele Caprio ( University of Manchester )
• 24Jun2024
  Scalable Static Analysis of Parallel Programs with Tens of Millions of Lines of Code

  14:00 Monday 24th June ( week 10, Trinity Term 2024 ) <meta itemprop="location" content="TBA"/>

  Jeff Huang
• 13Jun2024
  Epistemic Horizons From Deterministic Laws: Lessons From a Nomic Toy Theory

  14:00 Thursday 13th June ( week 8, Trinity Term 2024 ) in Lecture Theatre B

  Tomáš Gonda ( University of Innsbruck (Austria) )
• 7Jun2024
  Localisable Monads

  14:00 Friday 7th June ( week 7, Trinity Term 2024 ) in Lecture Theatre B

  Carmen Constantin ( University College London (UCL) )
• 31May2024
  Non-Elementary Compression of First-Order Proofs in Deep Inference Using Epsilon-Terms

  11:30 Friday 31st May ( week 6, Trinity Term 2024 ) in Lecture Theatre B

  Cameron Allett ( University of Bath )
• 17May2024
  Categorical composable cryptography

  14:00 Friday 17th May ( week 4, Trinity Term 2024 ) in Lecture Theatre B

  Martti Karvonen ( University College London (UCL) )
• 10May2024
  Towards a certified type-theoretic kernel

  14:00 Friday 10th May ( week 3, Trinity Term 2024 ) in Lecture Theatre B

  Meven Lennon-Bertrand ( University of Cambridge )
• 26Apr2024
  On the Mechanisation of Multiparty Asynchronous Session Types

  14:00 Friday 26th April ( week 1, Trinity Term 2024 ) in Lecture Theatre B

  Marco Carbone ( ITU Copenhagen )
• 8Mar2024
  Evidential decision theory via partial Markov categories

  14:00 Friday 8th March ( week 8, Hilary Term 2024 ) in Lecture Theatre A

  Elena Di Lavore ( University of Pisa (Italy) )
• 1Mar2024
  Two-dimensional Kripke Semantics

  14:00 Friday 1st March ( week 7, Hilary Term 2024 ) in Lecture Theatre A

  Alex Kavvos ( University of Bristol )
• 23Feb2024
  Axioms for the category of finite-dimensional Hilbert spaces and linear contractions

  14:00 Friday 23rd February ( week 6, Hilary Term 2024 ) in Lecture Theatre A

  Matthew Di Meglio ( University of Edinburgh (Scotland) )
• 26Jan2024
  Digital Twins: An Emerging Paradigm for Self-Adaptive Model-Centric Systems

  14:00 Friday 26th January ( week 2, Hilary Term 2024 ) in Lecture Theatre B

  Einar Broch Johnsen ( University of Oslo )
• 22Jan2024
  Contactless Payments made Private via Bisimilarity

  14:00 Monday 22nd January ( week 2, Hilary Term 2024 ) in Tony Hoare room

  Ross Horne ( University of Strathclyde, Glasgow (Scotland) )
• 1Dec2023
  Involutive Markov categories and the quantum de Finetti theorem

  14:00 Friday 1st December ( week 8, Michaelmas Term 2023 ) in Lecture Theatre B

  Antonio Lorenzin ( University of Innsbruck (Austria) )
• 24Nov2023
  Compositional Bayesian Inference and Stochastic Combs

  14:00 Friday 24th November ( week 7, Michaelmas Term 2023 ) in Lecture Theatre B

  Dylan Braithwaite ( University of Strathclyde, Glasgow (Scotland) )
• 17Nov2023
  Deterministic Semantics for Probabilistic Programs

  14:00 Friday 17th November ( week 6, Michaelmas Term 2023 ) in Lecture Theatre B

  Fredrik Dahlqvist ( University College London, UK )
• 10Nov2023
  Special Delivery: Programming with Mailbox Types

  14:00 Friday 10th November ( week 5, Michaelmas Term 2023 ) in Lecture Theatre B

  Simon Fowler ( University of Glasgow (Scotland) )
• 3Nov2023
  Sound and Complete Projection for Global Types

  14:00 Friday 3rd November ( week 4, Michaelmas Term 2023 ) in Lecture Theatre B

  Dawit Tirore ( University of Copenhagen (Denmark) )
• 13Oct2023
  The Dafny Programming Language and Static Verifier

  14:00 Friday 13th October ( week 1, Michaelmas Term 2023 ) in Lecture Theatre B

  Stefan Zetzsche ( Amazon Web Services, London )
• 21Jun2023
  Logic-Guided Optimization Metaheuristics in Hybrid System Falsification and Parameter Tuning

  10:00 Wednesday 21st June ( Trinity Term 2023 ) in Lecture Theatre B

  Ichiro Hasuo ( National Institute of Informatics, Tokyo )
• 20Jun2023
  Proving Safety of Automated Driving Vehicles

  10:00 Tuesday 20th June ( Trinity Term 2023 ) in Lecture Theatre B

  Ichiro Hasuo ( National Institute of Informatics, Tokyo )
• 19Jun2023
  Compositional Probabilistic Model Checking with String Diagrams of MDPs

  10:00 Monday 19th June ( Trinity Term 2023 ) in Lecture Theatre B

  Ichiro Hasuo ( National Institute of Informatics, Tokyo )
• 9Jun2023
  Implicit automata in typed λ-calculi

  14:00 Friday 9th June ( week 7, Trinity Term 2023 ) in Tony Hoare room

  Lê Thành Dũng (Tito) Nguyễn ( École normale supérieure de Lyon, France )
• 2Jun2023
  Towards a Calculus of Substitution for Dinatural Transformations

  14:00 Friday 2nd June ( week 6, Trinity Term 2023 ) in Tony Hoare room

  Alessio Santamaria ( University of Sussex, UK )
• 30May2023
  Event structure semantics for multiparty sessions

  14:00 Tuesday 30th May ( week 6, Trinity Term 2023 ) in Tony Hoare room

  Ilaria Castellani ( INRIA, France )
• 26May2023
  The Functional Machine Calculus

  14:00 Friday 26th May ( week 5, Trinity Term 2023 ) in Tony Hoare room

  Christopher Barrett ( University of Birmingham )
• 19May2023
  Why are Proofs Relevant in Proof Relevant Models?

  14:00 Friday 19th May ( week 4, Trinity Term 2023 ) in Lecture Theatre B

  Federico Olimpieri ( University of Leeds, UK )
• 12May2023
  Logical resources and arboreal adjunctions

  14:00 Friday 12th May ( week 3, Trinity Term 2023 ) in Tony Hoare room

  Luca Reggio ( University College London, UK )
• 28Apr2023
  A Framework for Higher-Order Effects & Handlers

  14:00 Friday 28th April ( week 1, Trinity Term 2023 ) in Tony Hoare room

  Tom Schrijvers ( KU Leuven, Belgium )
• 19Jun2020
  TBA

  14:00 Friday 19th June ( week 8, Trinity Term 2020 ) <meta itemprop="location" content="TBA"/>

  Mehrnoosh Sadrzadeh ( UCL )
• 15May2020
  Computability, universality and quantum automata

  14:00 Friday 15th May 2020<meta itemprop="location" content="TBA"/>

  Pablo Arrighi ( Aix-Marseille Université )
• 20Mar2020
  Coherence for cartesian closed bicategories, via normalisation-by-evaluation

  14:00 Friday 20th March ( week 9, Hilary Term 2020 ) in Online: https://www.twitch.tv/pjsaville

  Philip Saville ( University of Edinburgh )

  Join us online
• 28Feb2020
  Quantum differentials on boolean algebras and other applications

  14:00 Friday 28th February ( week 6, Hilary Term 2020 ) in Lecture Theatre A

  Shahn Majid ( QMUL )
• 21Feb2020
  Diagrammatic sets between rewriting and topology

  14:00 Friday 21st February ( week 5, Hilary Term 2020 ) in Lecture Theatre A

  Amar Hadzihasanovic ( IRIF, Université de Paris )
• 7Feb2020
  Concurrency from ℕ-linearity

  14:00 Friday 7th February ( week 3, Hilary Term 2020 ) in Lecture Theatre A

  Robin Piedeleu ( UCL )
• 11Dec2019
  Phase space simulation method for quantum computation with magic states on qubits

  14:00 Tuesday 11th December ( Michaelmas Term 2019 ) in Tony Hoare Room, RHB

  Juani Bermejo-Vega ( University of Granada, Spain )
• 6Dec2019
  Causal Inference in Healthcare

  14:00 6th December ( Michaelmas Term 2019 ) <meta itemprop="location" content="TBA"/>

  Ciarán Lee ( Babylon Health / University College London )
• 29Nov2019
  Formal Verification of Higher-order Probabilistic Programs

  14:00 Friday 29th November ( week 7, Michaelmas Term 2019 ) in Lecture Theatre B

  Marco Gaboardi ( Boston University )
• 19Nov2019
  Quantum Computing and Music

  13:30 Tuesday 19th November ( Michaelmas Term 2019 ) in Tony Hoare Room, Robert Hooke Building

  Eduardo Miranda ( University of Plymouth )
• 13Nov2019
  Applying Quantum Advantage to Computation

  16:00 13th November 2019<meta itemprop="location" content="TBA"/>

  Carlos Perez-Delgado ( School of Computing, University of Kent )
• 8Nov2019
  Quantum and Post-Quantum Phenomena in Networks

  14:00 8th November ( Michaelmas Term 2019 ) <meta itemprop="location" content="TBA"/>

  Matty Hoban ( Goldsmiths, University of London )
• 1Nov2019
  Quantum linear network coding for entanglement distribution in restricted architectures

  14:00 1st November ( Michaelmas Term 2019 ) <meta itemprop="location" content="TBA"/>

  Steven Herbert ( University of Oxford, in partnership with Riverlane )
• 25Oct2019
  Towards verified quantum crypto

  14:00 Friday 25th October ( Michaelmas Term 2019 ) in LTB

  Dominique Unruh ( Institute of Computer Science, University of Tartu )
• 2Aug2019
  Is it possible to be objective in every physical theory?

  14:00 2nd August 2019<meta itemprop="location" content="TBA"/>

  Carlo-Maria Scandolo ( University of Calgary )
• 21Jun2019
  Compiling quantum software in the NISQ era

  14:00 Friday 21st June ( week 8, Trinity Term 2019 ) in Lecture Theatre B

  Ross Duncan ( University of Strathclyde / Cambridge Quantum Computing )
• 31May2019
  String diagrams - from control theory to concurrency and beyond

  14:00 Friday 31st May ( week 5, Trinity Term 2019 ) in LTA, Wolfson Building, Parks Road, Oxford OX1 3QD

  Pawel Sobocinski ( University of Southampton )
• 24May2019
  Computability for Operators on Hilbert Space

  14:00 Friday 24th May ( week 4, Trinity Term 2019 ) in LTB,Wolfson Building, Parks Road, Oxford

  Robert Furber ( Aalborg University )
• 10May2019
  Quadratic speedup for finding marked vertices by quantum walks

  14:00 Friday 10th May ( Trinity Term 2019 ) <meta itemprop="location" content="TBA"/>

  Stacey Jeffery ( QuSoft, CWI and University of Amsterdam )
• 3May2019
  The next 700 abstract machines

  14:00 Friday 3rd May ( week 1, Trinity Term 2019 ) in Room 051

  Dan Ghica ( University of Birmingham )
• 26Apr2019
  Nuclear monads and their uses

  14:00 Friday 26th April ( week 0, Trinity Term 2019 ) in Lecture Theatre B

  Dusko Pavlovic ( University of Hawaii )
• 8Mar2019
  The finitary monad-Lawvere theory correspondence

  14:00 Friday 8th March ( Hilary Term 2019 ) in Lecture Theatre B

  John Power ( University of Bath )
• 6Mar2019
  Hybrid quantum-classical computation and Clifford Magic circuits

  14:00 Wednesday 6th March ( week 8, Trinity Term 2019 ) <meta itemprop="location" content="TBA"/>

  Sergii Strelchuk ( DAMTP, University of Cambridge )
• 15Feb2019
  Simulations between contextual resources

  14:00 Friday 15th February ( week 5, Hilary Term 2019 ) in Lecture Theatre B

  Martti Karvonen ( University of Edinburgh )
• 25Jan2019
  Information cohomology: an overview

  14:00 Friday 25th January ( week 2, Hilary Term 2019 ) in Lecture Theatre B

  Juan Pablo Vigneaux ( Institut de Mathématiques de Jussieu – Paris Rive Gauche, Université Paris Diderot – Paris 7 )
• 18Jan2019
  Bulk Entanglement Gravity and Radon Transform: Towards Finding Einstein's Equation in Hilbert Space

  14:00 Friday 18th January ( week 1, Hilary Term 2019 ) <meta itemprop="location" content="TBA"/>

  Charles Cao ( Joint Center for Quantum Information and Computer Science )
• 30Nov2018
  Trajectory domains: describing the behavior of computing systems

  14:00 Friday 30th November ( week 8, Michaelmas Term 2018 ) in Lecture Theatre B

  Levin Hornischer ( University of Amsterdam )
• 23Nov2018
  For every quantum walk there is a (classical) lifted Markov chain with faster mixing time

  14:00 23rd November ( Michaelmas Term 2018 ) <meta itemprop="location" content="TBA"/>

  Danial Dervovic ( Department of Computer Science, UCL )
• 19Oct2018
  Evaluating the Jones polynomial with tensor networks

  14:00 Friday 19th October ( week 2, Michaelmas Term 2018 ) <meta itemprop="location" content="TBA"/>

  Konstantinos Meichanetzidis ( University of Leeds, School of Physics and Astronomy )
• 12Oct2018
  Towards a Higher Structure Identity Principle

  14:00 Friday 12th October ( week 1, Michaelmas Term 2018 ) in Lecture Theatre B

  Benedikt Ahrens ( University of Birmingham )
• 19Sep2018
  Quantum extensions of ordinary maps

  14:00 Wednesday 19th September ( week 22, Trinity Term 2018 ) in Lecture Theatre B

  Andre Kornell ( UC Davis )
• 17Sep2018
  Kitaev's quantum double model, bulk and boundary, in graphical calculus

  14:00 Monday 17th September ( Trinity Term 2018 ) in Lecture Theatre B

  Lucy Liuxuan Zhang
• 22Jun2018
  Lambda calculus and the Four Colour Theorem

  14:00 22nd June ( Trinity Term 2018 ) in Lecture Theatre B

  Noam Zeilberger ( University of Birmingham )
• 11Jun2018
  Almost quantum correlations violate the no-restriction hypothesis

  14:00 11th June ( week 8, Trinity Term 2018 ) in Lecture Theatre B

  Ana Belén Sainz ( Perimeter Institute )
• 1Jun2018
  A categorical characterization of relative entropy on standard Borel spaces

  14:00 1st June ( week 6, Trinity Term 2018 ) in Tony Hoare room

  Prakash Panangaden ( McGill University )
• 28May2018
  A graph-theoretic explanation of Born's rule

  14:00 28th May ( week 6, Trinity Term 2018 ) in Lecture Theatre B

  Adan Cabello ( University of Seville )
• 25May2018
  Gradients in Games

  14:00 Friday 25th May ( week 5, Trinity Term 2018 ) in Lecture Theatre B

  David Balduzzi ( DeepMind )
• 18May2018
  An Informational Approach to Identical Quantum Particles

  14:00 18th May 2018<meta itemprop="location" content="TBA"/>

  Philip Goyal ( University at Albany — Department of Physics )
• 11May2018
  10 Years of ZX Calculus

  14:00 Friday 11th May ( week 3, Trinity Term 2018 ) in Lecture Theatre B

  Ross Duncan, Miriam Backens and Simon Perdrix
• 4May2018
  Strong and uniform convergence in the teleportation simulation of bosonic Gaussian channels

  14:00 Friday 4th May ( Trinity Term 2018 ) <meta itemprop="location" content="TBA"/>

  Mark Wilde ( Center for Computation and Technology, Louisiana State University )
• 27Apr2018
  Games, traces and distributive laws

  14:00 Friday 27th April ( week 1, Trinity Term 2018 ) in Lecture Theatre B

  Tamara von Glehn ( University of Cambridge )
• 20Apr2018
  Topological nominal semantics

  14:00 Friday 20th April ( week 0, Trinity Term 2018 ) in Lecture Theatre B

  Jamie Gabbay ( Heriot-Watt University )
• 6Apr2018
  Axiomatic Information Thermodynamics

  14:00 Friday 6th April ( week -2, Trinity Term 2018 ) <meta itemprop="location" content="TBA"/>

  Ben Schumacher ( Kenyon College )
• 8Mar2018
  Higher order quantum operations of unitaries

  14:00 Thursday 8th March ( week 8, Hilary Term 2018 ) in Tony Hoare Room

  Mio Murao ( University of Tokyo )
• 6Mar2018
  An Efficient Quantum Compiler that Reduces T Count

  16:00 Tuesday 6th March ( Hilary Term 2018 ) <meta itemprop="location" content="TBA"/>

  Earl Campbell ( University of Sheffield )
• 23Feb2018
  Contextuality of transformations

  14:00 23rd February ( Hilary Term 2018 ) <meta itemprop="location" content="TBA"/>

  Shane Mansfield ( Paris Diderot University )
• 9Feb2018
  Old and new from the theory of d-frames

  14:00 Friday 9th February ( week 4, Michaelmas Term 2017 ) in Lecture Theatre B

  Achim Jung ( University of Birmingham )
• 2Feb2018
  Quantum machine learning

  14:00 Friday 2nd February ( Hilary Term 2018 ) <meta itemprop="location" content="TBA"/>

  Seth Lloyd ( MIT )
• 1Feb2018
  Backprop as Functor: a compositional perspective on supervised learning

  14:00 Thursday 1st February ( week 3, Hilary Term 2018 ) in Lecture Theatre B

  David Spivak ( MIT )
• 12Jan2018
  Information processing in generalised probabilistic theories II

  14:00 Friday 12th January ( week 0, Hilary Term 2018 ) in Lecture Theatre B, Wolfson Building

  John Selby ( Perimeter Institute for Theoretical Physics )
• 8Dec2017
  Learning Distances with Topological Quantum Computation

  14:00 Friday 8th December ( week 9, Michaelmas Term 2017 ) in Lecture Theatre B

  Alessandra di Pierro ( University of Verona )
• 24Nov2017
  The information content of quantum sources

  14:00 Friday 24th November ( week 8, Michaelmas Term 2017 ) in Lecture Theatre B

  Giuilio Chiribella ( University of Oxford )
• 3Nov2017
  Automata in Glued Vector Spaces

  14:00 Friday 3rd November ( week 4, Michaelmas Term 2017 ) in Lecture Theatre B

  Daniela Petrisan ( IRIF, Paris 7 )
• 30Oct2017
  Primitives of Nonclassicality in the N-qubit Pauli Group

  14:00 30th October ( week 4, Michaelmas Term 2017 ) in LTB

  Cai Waegell ( Chapman University )
• 6Oct2017
  A Promising Semantics for Relaxed-Memory Concurrency

  14:00 Friday 6th October ( week 0, Michaelmas Term 2017 ) <meta itemprop="location" content="TBA"/>

  Chung-Kil Hur ( Seoul National University )
• 5Sep2017
  Infinity-operads as polynomial monads

  14:00 Tuesday 5th September ( Trinity Term 2017 ) in Lecture Theatre B

  Joachim Kock
• 31Jul2017
  Constructing categories of (co)relations via pushout

  14:00 Monday 31st July ( Trinity Term 2017 ) in LTB

  Brendan Fong
• 18Jul2017
  Graphs, foams, homology, polytopes and abstract tensors

  14:00 Tuesday 18th July ( week 12, Trinity Term 2017 ) in Lecture Theatre B, Department of Computer Science

  Scott Carter ( University of South Alabama )
• 16Jun2017
  Semantics of higher-order probabilistic programs with continuous distributions

  14:00 Friday 16th June ( week 8, Trinity Term 2017 ) in Lecture Theatre B

  Hongseok Yang ( University of Oxford )
• 7Jun2017
  An interpretation of system F through bar recursion

  14:00 Wednesday 7th June ( week 7, Trinity Term 2017 ) in Room 051, Wolfson Building

  Valentin Blot ( Queen Mary, University of London )
• 22May2017
  Discrete algebraic path integrals

  14:00 22nd May ( week 5, Trinity Term 2017 ) in LTB

  Cohl Furey ( University of Cambridge )
• 5May2017
  Port-based teleportation for arbitrary systems

  14:00 5th May ( week 2, Trinity Term 2017 ) in Wolfson Building, LTB

  Sergii Strelchuk ( University of Cambridge (Dept. Applied Mathematics & Theoretical Physics) )
• 28Apr2017
  Application of a resource theory for magic states to fault-tolerant quantum computing

  14:00 Friday 28th April ( week 1, Trinity Term 2017 ) in LTB

  Mark Howard ( University of Sheffield )
• 21Apr2017
  Classification of quantum-like models depending on interference (in)equalities

  14:00 Friday 21st April ( week 0, Trinity Term 2017 ) in Tony Hoare Room, Robert Hooke Building, Parks Road (NB unusual place)

  Irina Basieva ( Linnaeus University, City University )
• 20Mar2017
  Category theory for cyber-physical systems

  15:00 Monday 20th March ( week 10, Hilary Term 2017 ) in Tony Hoare Room, Department of Computer Science

  Ed Griffor ( NIST )
• 17Mar2017
  Einstein-Podolsky-Rosen Steering in Quantum Theory and Beyond

  14:00 Friday 17th March ( week 9, Hilary Term 2017 ) in Lecture Theatre A, Department of Computer Science

  Matty Hoban ( Department of Computer Science, University of Oxford )
• 10Mar2017
  A monad for full ground reference cells

  14:00 Friday 10th March ( week 8, Hilary Term 2017 ) in Lecture Theatre B, Department of Computer Science

  Ohad Kammar ( Department of Computer Science, University of Oxford )
• 3Mar2017
  Verification of Concurrent Quantum Protocols by Equivalence Checking

  14:00 Friday 3rd March ( week 7, Hilary Term 2017 ) in Lecture Theatre B, Department of Computer Science

  Simon Gay ( Department of Computing Science, University of Glasgow )
• 24Feb2017
  Weakly globular n-fold categories

  14:00 Friday 24th February ( Hilary Term 2017 ) in LTB

  Simona Paoli ( University of Leicester )
• 17Feb2017
  Formal semantics for Bayesian reasoning

  14:00 17th February ( week 5, Hilary Term 2017 ) in LTB

  Fabio Zanasi ( UCL )
• 10Feb2017
  Linear and Non-linear Models of Natural Language Semantics

  14:00 Friday 10th February ( week 4, Hilary Term 2017 ) in LTB

  Dimitri Kartsaklis ( Queen Mary University of London )
• 3Feb2017
  Graphical structures for quantum error correction

  14:00 Friday 3rd February ( week 3, Hilary Term 2017 ) in Lecture Theatre B, Department of Computer Science

  Dominic Horsman ( Joint Quantum Centre, Durham University )
• 27Jan2017
  Event structures for quantum computation

  14:00 Friday 27th January ( week 2, Hilary Term 2017 ) in Lecture Theatre B

  Frank Roumen ( University of Cambridge )
• 20Jan2017
  Category Theory and Lightweight Ontology: Many Worlds, or Many Structures?

  14:00 Friday 20th January ( week 1, Hilary Term 2017 ) in Lecture Theatre B, Department of Computer Science

  Yoshihiro Maruyama ( University of Kyoto, Japan )
• 2Dec2016
  A compositional account of Herbrand's theorem via concurrent games

  14:00 Friday 2nd December ( week 8, Michaelmas Term 2016 ) in Lecture Theatre B, Wolfson Building, Parks Road

  Pierre Clairambault ( ENS Lyon )
• 25Nov2016
  Causal models with hidden variables

  14:00 Friday 25th November ( week 7, Michaelmas Term 2016 ) in Lecture Theatre B, Wolfson Building

  Robin Evans ( Department of Statistics, Oxford )
• 18Nov2016
  The Holant problem and classical simulation of quantum computations

  14:00 Friday 18th November ( week 6, Michaelmas Term 2016 ) in Lecture Theatre B

  Miriam Backens ( University of Bristol )
• 11Nov2016
  Currencies and knowledge in resource theories

  14:00 Friday 11th November ( week 5, Michaelmas Term 2016 ) in Lecture Theatre B, Wolfson Building

  Lídia del Rio ( ETH Zurich )
• 1Nov2016
  Knowledge representation in systems biology

  14:00 Tuesday 1st November ( Michaelmas Term 2016 ) in Lecture Theatre B, Wolfson Building, Parks Road

  Jean Krivine ( CNRS and Univ Paris VII )
• 28Oct2016
  Introducing open games

  12:00 Friday 28th October ( week 3, Michaelmas Term 2016 ) <meta itemprop="location" content="TBA"/>

  Jules Hedges ( University of Oxford )
• 21Oct2016
  Sketches for arithmetic universes

  14:00 Friday 21st October ( week 2, Michaelmas Term 2016 ) <meta itemprop="location" content="TBA"/>

  Steve Vickers ( University of Birmingham )
• 11Oct2016
  Can algorithmic group theory offer quantum resistant algorithms to be used for cryptography?

  14:00 Tuesday 11th October ( week Week 1, Michaelmas Term 2016 ) in Lecture Theatre B

  Delaram Kahrobaei
• 23Jun2016
  The complexity of estimating local physical quantities

  14:00 23rd June 2016<meta itemprop="location" content="TBA"/>

  Sevag Gharibian ( Virginia Commonwealth University (USA) )
• 17Jun2016
  Hybrid components, monadically

  14:00 Friday 17th June ( week 8, Trinity Term 2016 ) <meta itemprop="location" content="TBA"/>

  Luis Barbosa ( Universidade do Minho )
• 10Jun2016
  14:00 Friday 10th June ( Trinity Term 2016 ) in Lecture Theatre B
• 3Jun2016
  Analysis of the entropy vector approach to distinguish classical and quantum causal structures

  14:00 3rd June 2016<meta itemprop="location" content="TBA"/>

  Mirjam Weilenmann ( University of York )
• 25May2016
  Black Holes, Firewalls, and the Complexity of States and Unitaries

  14:00 Wednesday 25th May ( week 5, Hilary Term 2016 ) in Lecture Theatre B

  Scott Aaronson ( MIT )
• 20May2016
  Complexity classification of two-qubit commuting Hamiltonians

  14:00 Friday 20th May 2016<meta itemprop="location" content="TBA"/>

  Laura Mancinska ( University of Bristol )
• 13May2016
  What is "orthodox quantum mechanics"?

  14:00 Friday 13th May ( week 3, Trinity Term 2016 ) in Lecture Theatre B

  David Wallace ( University of Oxford )
• 6May2016
  On thin air reads: towards an event structures model of relaxed memory

  14:00 Friday 6th May ( week 2, Hilary Term 2016 ) in Lecture Theatre B

  Alan Jeffrey
• 29Apr2016
  A step up in expressiveness of decidable fixpoint logics

  14:00 Friday 29th April ( week 1, Trinity Term 2016 ) in Lecture Theatre B

  Michael Vanden Boom ( University of Oxford )
• 11Mar2016
  A proposal for a new foundation for proof theory

  14:00 Friday 11th March ( week 8, Hilary Term 2016 ) in Lecture Theatre B

  Alessio Guglielmi ( University of Bath )
• 4Mar2016
  On proof nets and complexity

  14:00 Friday 4th March ( week 7, Hilary Term 2016 ) in Lecture Theatre B

  Willem Heijltjes ( University of Bath )
• 26Feb2016
  Hypergraph rewriting and symmetric monoidal structure

  14:00 Friday 26th February ( week 6, Hilary Term 2016 ) in Lecture Theatre B

  Aleks Kissinger ( Radboud University )
• 19Feb2016
  Efficient detection of the Quantum Fisher Information

  14:00 19th February ( Hilary Term 2016 ) <meta itemprop="location" content="TBA"/>

  Davide Girolami (University of Oxford)
• 12Feb2016
  Resource robustness and discrimination of physical processes

  14:00 Friday 12th February ( Hilary Term 2016 ) <meta itemprop="location" content="TBA"/>

  Marco Piani
• 5Feb2016
  On Hierarchical Communication Topologies in the pi-calculus

  14:00 Friday 5th February ( week 3, Hilary Term 2016 ) in Lecture Theatre B

  Emanuele D'Osualdo ( University of Kaiserslautern )
• 29Jan2016
  Towards a proof theory of analogical reasoning

  14:00 Friday 29th January ( week 2, Hilary Term 2016 ) in Lecture Theatre B

  Matthias Baaz ( University of Technology, Vienna )
• 4Dec2015
  Undecidability of the Spectral Gap

  14:00 Friday 4th December ( week 8, Michaelmas Term 2015 ) in Lecture Theatre B

  Toby Cubitt ( UCL )
• 2Dec2015
  Dynamic-Epistemic Logic: Then and Now.

  14:00 Wednesday 2nd December ( week 8, Michaelmas Term 2015 ) in Lecture Theatre B

  Johan van Benthem ( Amsterdam & Stanford )
• 27Nov2015
  Nash, Nyquist and Next

  14:00 Friday 27th November ( week 7, Michaelmas Term 2015 ) in Lecture Theatre B

  Peter Chin
• 20Nov2015
  EPR Steering: Quantification and multipartite entanglement detection

  14:00 Friday 20th November ( week 6, Michaelmas Term 2015 ) in LTB

  Paul Skrzypczyk ( University of Bristol )
• 13Nov2015
  Oles embeddings

  14:00 Friday 13th November ( week 5, Michaelmas Term 2015 ) in Lecture Theatre B

  Paul Levy ( University of Birmingham )
• 6Nov2015
  Coalgebraic Dynamic Logic: Basic Completeness Results

  14:00 Friday 6th November ( week 4, Michaelmas Term 2015 ) in Lecture Theatre B

  Helle Hvid Hansen ( Delft University of Technology )
• 30Oct2015
  Irreversibility and symmetries in quantum theory

  14:00 Friday 30th October ( week 3, Michaelmas Term 2015 ) <meta itemprop="location" content="TBA"/>

  David Jennings ( Imperial College London )
• 23Oct2015
  Structural Resolution meets Curry-Howard

  14:00 Friday 23rd October ( week 2, Michaelmas Term 2015 ) in Lecture Theatre B

  Ekaterina Komendantskaya ( University of Dundee )
• 16Oct2015
  On the simplicial and cubical models of univalent foundations

  14:00 Friday 16th October ( week 1, Michaelmas Term 2015 ) in Lecture Theatre B

  Nicola Gambino ( University of Leeds )
• 23Sep2015
  Probabilistic Contextuality in Physics and Human Behavior

  14:00 Wednesday 23rd September ( Michaelmas Term 2015 ) in Lecture Theatre A (NB unusual room)

  Ehtibar Dzhafarov ( Purdue University )
• 10Aug2015
  Optimization and Machine Learning Using Quantum Annealing

  14:00 Monday 10th August ( Trinity Term 2015 ) in Lecture Theatre B, Department of Computer Science

  Steve Adachi ( Lockheed Martin Information Systems & Global Solutions )
• 23Jul2015
  A canonical form for weighted automata and applications to approximate minimization

  15:00 Thursday 23rd July ( week 13, Trinity Term 2015 ) in Lecture Theatre B, Department of Computer Science

  Prakash Panangaden ( McGill University )
• 26Jun2015
  Exploring the energy landscape of (quantum) optimisation problems

  14:00 Friday 26th June ( week 9, Trinity Term 2015 ) in Lecture Theatre B, Department of Computer Science

  Stefan Zohren ( Department of Materials, University of Oxford )
• 19Jun2015
  Double glueing and models of linear logic

  14:00 Friday 19th June ( week 8, Trinity Term 2015 ) in Lecture Theatre B

  Hugh Steele ( Universite Paris 13 )
• 12Jun2015
  Tracking Quantum Computations By Polynomial Arithmetic

  14:00 Friday 12th June ( week 7, Trinity Term 2015 ) in Lecture Theatre A

  Ken Regan ( University at Buffalo (State University of New York) )
• 5Jun2015
  Rigid Graphs for Adaptive Networks

  14:00 Friday 5th June ( week 6th week, Hilary Term 2015 ) in LTB

  Reiko Heckel ( University of Leicester )
• 29May2015
  Symmetry and modularity emerge from the algorithmic nature of evolution.

  14:00 Friday 29th May ( week 5, Trinity Term 2015 ) in Lecture Theatre B

  Ard Louis ( University of Oxford )
• 22May2015
  The spectrum problem for noncommutative rings and algebras

  14:00 Saturday 22nd May ( week 4, Trinity Term 2015 ) <meta itemprop="location" content="TBA"/>

  Manuel Reyes ( Bowdoin College )
• 15May2015
  NetKAT: A Formal System for the Verification of Networks

  14:00 Friday 15th May ( week 3, Trinity Term 2015 ) in Lecture Theatre B, Department of Computer Science

  Alexandra Silva ( Radboud University Nijmegen )
• 6Mar2015
  Upsetting The New World Order

  14:00 Friday 6th March ( week 7, Hilary Term 2015 ) in Lecture Theatre A

  Conor McBride ( University of Strathclyde )
• 20Feb2015
  Incompatibility in quantum theory and other operational theories

  14:00 20th February ( week 5, Hilary Term 2015 ) in Lecture Theatre A

  Teiko Heinosaari ( University of Turku )
• 13Feb2015
  Non-locality and "quantum non-contextuality"

  14:00 13th February ( week 4, Hilary Term 2015 ) <meta itemprop="location" content="TBA"/>

  Petros Wallden
• 6Feb2015
  Constructor Theory of Information - an overview

  14:00 Friday 6th February ( week 3, Hilary Term 2015 ) in LTA, Department of Computer Science

  Chiara Marletto ( Researcher in quantum foundations in the Materials Science department, and JRF at Wolfson )
• 30Jan2015
  On the total variation distance of labelled Markov chains

  14:00 Friday 30th January ( week 2, Hilary Term 2015 ) in Lecture Theatre A, Department of Computer Science

  Stefan Kiefer ( University of Oxford )
• 23Jan2015
  The mathematical structure of theories of resource convertibility

  14:00 23rd January ( week 1, Hilary Term 2015 ) <meta itemprop="location" content="TBA"/>

  Tobias Fritz ( Perimeter Institute )
• 5Dec2014
  Colliding worlds: how cutting-edge science is redefining contemporary art

  14:00 Friday 5th December ( week 8, Michaelmas Term 2014 ) in Lecture Theatre A

  Arthur I. Miller ( University College London )
• 24Nov2014
  OASIS 10 Year Anniversary Workshop

  14:30 Monday 24th November ( week 7, Michaelmas Term 2014 ) in Lecture Theatre B, Department of Computer Science

  Samson Abramsky, Bob Coecke, Dan Ghica, Mehrnoosh Sadrzadeh and Nikos Tzevelekos
• 24Nov2014
  Compiling functional programs to unconventional architectures (with or without game semantics)

  15:30 Monday 24th November ( week 7, Michaelmas Term 2014 ) in Lecture Theatre B

  Dan Ghica ( University of Birmingham )
• 24Nov2014
  The Mathematics of Non-Locality and Contextuality

  14:30 Monday 24th November ( week 7, Michaelmas Term 2014 ) in Lecture Theatre B

  Samson Abramsky ( University of Oxford )
• 24Nov2014
  Quantifiers in categorical compositional distributional semantics

  16:30 Monday 24th November ( week 7, Michaelmas Term 2014 ) in Lecture Theatre B

  Mehrnoosh Sadrzadeh ( Queen Mary University of London, UK )
• 24Nov2014
  Pictures of behaviours

  15:00 Monday 24th November ( week 7, Michaelmas Term 2014 ) in Lecture Theatre B

  Bob Coecke ( University of Oxford )
• 24Nov2014
  Automata and programs over infinite alphabets

  17:00 Monday 24th November ( week 7, Michaelmas Term 2014 ) in Lecture Theatre B

  Nikos Tzevelekos ( Queen Mary University of London, UK )
• 21Nov2014
  Distributed Quantum Computation

  14:00 Friday 21st November ( week 6, Michaelmas Term 2014 ) in Lecture Theatre A

  Michael Ben-Or ( The Hebrew University, Israel )
• 14Nov2014
  Quantum circuits for quantum operations

  14:00 Friday 14th November ( week 5, Michaelmas Term 2014 ) in Lecture Theatre A

  Roger Colbeck ( University of York )
• 24Oct2014
  Quantum Proofs for Classical Theorems

  14:00 Friday 24th October ( week 2, Michaelmas Term 2014 ) in Lecture Theatre A

  Ronald de Wolf ( Centrum Wiskunde & Informatica (CWI) Amsterdam )
• 25Jul2014
  Discrete Quantum Theories

  14:00 Friday 25th July ( Trinity Term 2014 ) in Lecture Theatre A

  Andrew Hanson ( Indiana University Bloomington )
• 20Jun2014
  Negative Probabilities, Fine's Theorem and Quantum Histories

  14:00 Friday 20th June ( week 8, Trinity Term 2014 ) in Hoare Room, RHB

  Johnathon Haliwell ( Imperial College London )
• 9May2014
  Majorana fermions: a new computational paradigm

  12:00 Friday 9th May ( week 2, Hilary Term 2014 ) <meta itemprop="location" content="TBA"/>

  Jiannis Pachos ( University of Leeds )
• 14Mar2014
  A Quantum-theoretic Framework for Concept Theory and Natural Language Processing

  14:00 Friday 14th March ( week 8, Hilary Term 2003 ) in Lecture Theatre B

  Sandro Sozzo ( University of Leicester )
• 12Mar2014
  TBA

  15:00 Wednesday 12th March ( week 8, Hilary Term 2014 ) in Lecture Theatre B

  Pawel Sobocinski ( University of Southampton )
• 28Feb2014
  Classical simulation of quantum computations

  14:00 Friday 28th February ( week 6, Hilary Term 2014 ) in Lecture Theatre B

  Richard Jozsa ( University of Cambridge )
• 21Feb2014
  Network theory: an overview

  14:00 Friday 21st February ( week 5, Hilary Term 2014 ) in Lecture Theatre B, Department of Computer Science

  John Baez ( University of California, Riverside )
• 7Feb2014
  Coalgebraic Logic Programming: from Semantics to Implementation

  14:00 Friday 7th February ( week 3, Hilary Term 2014 ) in Lecture Theatre B, Department of Computer Science

  John Power ( Department of Computer Science, University of Bath )
• 31Jan2014
  Lossy quantum data compression

  14:00 Friday 31st January ( week 2, Hilary Term 2014 ) in Lecture Theatre B, Department of Computer Science

  Nilanjana Datta ( Statistical Laboratory, University of Cambridge )
• 24Jan2014
  Communication complexity of quantum channels

  14:00 Friday 24th January ( week 1, Hilary Term 2014 ) <meta itemprop="location" content="TBA"/>

  Alberto Montina ( http://www.perimeterinstitute.ca/people/alberto-montina )
• 6Dec2013
  Quantitative Quiescent Consistency: A correctness criterion for concurrent objects

  14:00 Friday 6th December ( week 8, Michaelmas Term 2013 ) in Lecture Theatre A

  Radha Jagadeesan ( DePaul University Chicago )
• 29Nov2013
  The Symplectic Camel in Quantum Mechanics

  14:00 Friday 29th November ( week 7, Michaelmas Term 2013 ) in Lecture Theatre A

  Maurice de Gosson ( University of Vienna )
• 8Nov2013
  Topos Semantics for First- and Higher-Order Modal Logic

  14:00 Friday 8th November ( week 4, Michaelmas Term 2013 ) in Lecture Theatre A

  Kohei Kishida ( University of Oxford )
• 1Nov2013
  Entanglement in Extended Quantum Systems

  14:00 Friday 1st November ( week 3, Michaelmas Term 2013 ) in Lecture Theatre A

  John Cardy ( University of Oxford )
• 25Oct2013
  A new separation algorithm, finding high dimensional Bell inequities and how to improve the bounds on Grothendieck’s constant

  14:00 Friday 25th October ( week 2, Michaelmas Term 2013 ) in Lecture Theatre A, Department of Computer Science

  Steve Brierley ( University of Bristol )
• 10Oct2013
  Quantum measurements constrained by symmetry

  14:00 Thursday 10th October ( week 0, Michaelmas Term 2013 ) in Tony Hoare room (Robert Hooke building)

  Leon Loveridge ( University of British Columbia )
• 7Jun2013
  A flea on Schroedinger's cat

  14:00 Friday 7th June ( week 7, Trinity Term 2013 ) in Tony Hoare Room, Robert Hooke building

  Klaas Landsman ( Radboud University Nijmegen )
• 24May2013
  Generalizing Complexity Theory

  14:00 Friday 24th May ( week 5, Trinity Term 2013 ) in Tony Hoare Room

  Ed Blakey ( University of Bristol )
• 17May2013
  Nonstandard Analysis: a new way to compute

  14:00 Friday 17th May ( week 4, Trinity Term 2013 ) <meta itemprop="location" content="TBA"/>

  Sam Sanders ( University of Ghent )
• 10May2013
  Efficient Distributed Quantum Computing

  14:00 Friday 10th May ( week 3, Trinity Term 2013 ) in Tony Hoare Room

  Oliver Gray ( University of Bristol )
• 26Apr2013
  The existence of an information unit as a postulate of quantum theory

  14:00 Friday 26th April ( week 1, Trinity Term 2013 ) <meta itemprop="location" content="TBA"/>

  Lluis Masanes
• 6Mar2013
  Landauer Defended: A Reply to Norton

  14:00 Wednesday 6th March ( week 8, Hilary Term 2013 ) <meta itemprop="location" content="TBA"/>

  James Ladyman ( University of Bristol )
• 1Mar2013
  Reconsidering MacLane: Coherence for associativity in the infinitary and untyped settings.

  14:00 Friday 1st March ( week 7, Hilary Term 2013 ) <meta itemprop="location" content="TBA"/>

  Peter Hines ( University of York )
• 22Feb2013
  How energy conservation limits your vision

  14:00 Friday 22nd February ( week 6, Hilary Term 2013 ) <meta itemprop="location" content="TBA"/>

  Miguel Navascues ( University of Bristol )
• 8Feb2013
  Towards Learning Lattice Orderings for Distributional Semantics

  14:00 Friday 8th February ( week 4, Hilary Term 2013 ) <meta itemprop="location" content="TBA"/>

  Daoud Clarke ( University of Sussex )
• 1Feb2013
  Matter-geometry coupling in low-dimensional state-sum models

  14:00 Friday 1st February ( week 3, Hilary Term 2013 ) <meta itemprop="location" content="TBA"/>

  John Barrett ( University of Nottingham )
• 25Jan2013
  Quantum Complete Boolean Algebras

  14:00 Friday 25th January ( week 2, Hilary Term 2013 ) <meta itemprop="location" content="TBA"/>

  John D. Maitland Wright ( Christ Church College Oxford, University of Aberdeen )
• 18Jan2013
  Physics of Information: a network-theoretic perspective

  14:00 Friday 18th January ( week 1, Hilary Term 2013 ) <meta itemprop="location" content="TBA"/>

  Simone Severini ( University College London )
• 30Nov2012
  How do I contain thee?

  14:00 Friday 30th November ( week 8, Michaelmas Term 2012 ) in Tony Hoare Room, Robert Hooke Building

  Klaus Draeger ( Department of Computer Science, University of Oxford )
• 23Nov2012
  From Giles's game for reasoning in physics to analytic proof systems for fuzzy logics

  14:00 Friday 23rd November ( week 7, Michaelmas Term 2012 ) in Tony Hoare Room

  Christian G. Fermueller ( Technische Universität Wien )
• 16Nov2012
  Quantum information processing in spacetime

  14:00 Friday 16th November ( week 6, Michaelmas Term 2012 ) <meta itemprop="location" content="TBA"/>

  Ivette Fuentes ( University of Nottingham )
• 2Nov2012
  Living Logic and the Logic of Life: Prospects for Linking Theoretical Computer Science with Ecosystem Research

  14:00 Friday 2nd November ( week 4, Michaelmas Term 2012 ) in Tony Hoare Room

  Baltasar Trancon and Michael Hauhs ( Ecological Modelling, BayCEER, Dr.-Hans-Frisch-Str. 1–3, University of Bayreuth, Germany )
• 26Oct2012
  Fermions in spin foam models

  14:00 Friday 26th October ( week 3, Michaelmas Term 2012 ) in Tony Hoare room, Robert Hooke building

  John Barrett ( professor of mathematical physics, University of Nottingham )
• 19Oct2012
  The status of device independent quantum key distribution

  14:00 19th October ( week 2, Michaelmas Term 2012 ) in Tony Hoare Room

  Dr Jon Barrett ( University of Oxford )
• 12Oct2012
  Fixpoints and Iterated Updates in Abstract Argumentation

  14:00 Friday 12th October ( week 1, Michaelmas Term 2012 ) in Tony Hoare Room

  Davide Grossi ( University of Liverpool )
• 13Sep2012
  A graphical strategy language to enable proof re-use

  14:00 Thursday 13th September ( week -5, Michaelmas Term 2012 ) in Lecture Theatre A

  Gudmund Grov ( Heriot-Watt University )
• 20Jun2012
  Allegories of enriched categories

  14:00 Wednesday 20th June ( week 9, Hilary Term 2012 ) in Lecture Theatre B

  Isar Stubbe ( Maître de Conférences at Université du Littoral-Côte d'Opale. )
• 1Jun2012
  When can a system S be decomposed into A and B?

  14:00 Friday 1st June ( week 6, Trinity Term 2012 ) in Lecture Theatre B (LTB)

  Peter Bruza ( Professor of Information Ecology, Science and Engineering Faculty, Queensland University of Technology )
• 4May2012
  Time, the Quantum---and Montevideo?

  14:00 Friday 4th May ( week 2, Hilary Term 2012 ) in Lecture Theatre B

  Jeremy Butterfield ( Senior Research Fellow, Trinity College, University of Cambridge )
• 27Apr2012
  A General Result about Sequent Systems and Defining Rules — and its application to modal concepts

  14:00 Friday 27th April ( week 1, Trinity Term 2012 ) in Lecture Theatre B (LTB)

  Greg Restall ( Faculty of Philosophy, Anthropology and Social Inquiry, University of Melbourne )
• 27Apr2012
  Introduction to Homotopy Type Theory

  10:30 Friday 27th April ( week 1, Trinity Term 2012 ) in 051

  Benno van den Berg ( Utrecht University )
• 20Apr2012
  Concurrency and enriched bicategories

  14:00 Friday 20th April ( week 0, Trinity Term 2012 ) in Room 051, Department of Computer Science

  Mike Stay ( Google and the University of Auckland )
• 9Mar2012
  A Complexity-Theoretic Study of some Fragments of English

  14:00 Friday 9th March ( week 8, Hilary Term 2012 ) in Lecture Theatre B (LTB)

  Prof. Ian Pratt-Hartmann ( School of Computer Science, University of Manchester )
• Mar2012
  Quantum linguistics’ and Searle’s Chinese room argument

  14:00 Friday March ( week 7, Hilary Term 2012 ) in Lecture Theatre B (LTB)

  J. Mark Bishop ( Professor of Cognitive Computing, Department of Computing, Goldsmiths, University of London )
• 24Feb2012
  Homotopy Type Theory

  14:00 Friday 24th February ( week 6, Hilary Term 2012 ) in Lecture Theatre B, Department of Computer Science

  Kobi Kremnitzer ( Mathematical Instituteq )
• 17Feb2012
  A new approach to many-valued modal logics

  14:00 Friday 17th February ( week 5, Hilary Term 2012 ) in Lecture Theatre B

  Alexander Kurz ( University of Leicester )
• 3Feb2012
  Discrete State-Space Stochastic Networks with Product Form -- Discovery or Invention?

  14:00 Friday 3rd February ( week 3, Hilary Term 2012 ) <meta itemprop="location" content="TBA"/>

  Erol Gelenbe ( Dennis Gabor Professor at Imperial College )
• 27Jan2012
  Monogamy - Why Alice and Bob don't get out enough

  14:00 Friday 27th January ( week 2, Hilary Term 2012 ) in Lecture Theatre B, Department of Computer Science

  Alastair Kay ( Mathematical Institute, University of Oxford and Centre for Quantum Technologies, National University of Singapore )
• 20Jan2012
  Coalgebraic Modal Logic

  14:00 Friday 20th January ( week 1, Hilary Term 2003 ) in LTB

  Clemens Kupke ( Research Assistant at University of Oxford )
• 9Dec2011
  A Probabilistic Semantics for Natural Language

  14:00 Friday 9th December ( week 9, Michaelmas Term 2011 ) in Lecture Theatre A (LTA)

  Shalom Lappin ( Professor of Computational Linguistics, Department of Philosophy, King’s College London )
• 2Dec2011
  Hybrid Representational Adequacy

  14:00 Friday 2nd December ( week 8, Michaelmas Term 2011 ) in 380

  Roy Crole ( Senior Lecturer of Computer Science, Department of Computer Science, University of Leicester )
• 25Nov2011
  Computing Quantifier Scope for Natural Language using Natural Logic

  14:00 Friday 25th November ( week 7, Michaelmas Term 2011 ) in Room 380

  Mark Steedman ( Professor of Cognitive Science, School of Informatics, University of Edinburgh )
• 18Nov2011
  Perspectives on Information Causality

  14:00 Friday 18th November ( week 6, Michaelmas Term 2011 ) in 380

  Tony Short ( Research Fellow at the Department of Applied Mathematics and Theoretical Physics, University of Cambridge )
• 11Nov2011
  The Importance of Being Linearizable

  14:00 Friday 11th November ( week 5, Michaelmas Term 2011 ) in 380

  Alexey Gotsman ( IMDEA Software Institute, Spain )
• 4Nov2011
  On searching for small Kochen-Specker vector systems

  14:00 Friday 4th November ( week 4, Michaelmas Term 2011 ) in 380

  Joel Ouaknine ( Professor of Computer Science, Department of Computer Science, University of Oxford )
• 21Oct2011
  Noether's famous 1918 symmetry theorem: what does it prove?

  14:00 Friday 21st October ( week 2, Michaelmas Term 2011 ) in 380

  Harvey Brown ( Professor of Philosophy of Physics, University of Oxford )
• 7Oct2011
  Passive storage of quantum information

  14:00 Friday 7th October ( week 0, Michaelmas Term 2011 ) in Lecture Theatre B, Department of Computer Science

  Alastair Kay ( University of Oxford and National University of Singapore )
• 24Jun2011
  Does a computer have an arrow of time?

  14:00 Friday 24th June ( week 8, Trinity Term 2011 ) in Lecture Theatre B

  Owen Maroney ( Department of Philosophy, University of Oxford )
• 17Jun2011
  Geometry and Probability In Quantum Theory

  14:00 Friday 17th June ( week 7, Trinity Term 2011 ) in Lecture Theatre B, Department of Computer Science

  Professor Lane P. Hughston ( Imperial College London )
• 14Jun2011
  Isomorphisms of types in the presence of higher-order references

  14:00 Tuesday 14th June ( Trinity Term 2011 ) in Lecture Theatre B

  Pierre Clairambault ( University of Bath )
• 3Jun2011
  A Modular Logic for Reasoning on Concurrent Markovian Systems

  14:00 Friday 3rd June ( week 5, Trinity Term 2011 ) in Lecture Theatre B

  Radu Mardare ( Aalborg University )
• 27May2011
  Concurrent strategies

  14:00 Friday 27th May ( week 4, Trinity Term 2011 ) in Lecture Theatre B

  Glynn Winskel ( University of Cambridge )
• 23May2011
  Complexity results for dependence logic

  14:00 Monday 23rd May ( week 4, Trinity Term 2011 ) in Lecture Theatre B

  Juha Kontinen ( Dept. of Mathematics and Statistics, University of Helsinki )
• 20May2011
  Virtual double categories as a context for cooking categories of games

  14:00 Friday 20th May ( week 3, Trinity Term 2011 ) in Lecture Theatre B, Computing Laboratory

  Dr Nathan Bowler ( University of Cambridge, DPMMS )
• 13May2011
  Introduction to Inductive Logic

  14:00 Friday 13th May ( week 2, Trinity Term 2011 ) in Lecture Theatre B

  Prof. Jeff Parris ( School of Mathematics, University of Manchester )
• 6May2011
  Cartesian functors and foliated categories

  14:00 Friday 6th May ( week 1, Trinity Term 2011 ) in Lecture Theatre B, Computing Laboratory

  Professor Jean Benabou ( Paris )
• 18Mar2011
  The Logic of Here and There and its Applications

  14:00 Friday 18th March ( week 9, Hilary Term 2011 ) in Lecture Theatre B

  David Pearce ( Dept. Artificial Intelligence, Universidad Politécnica de Madrid )
• 11Mar2011
  Local names, memory and symmetry in operational semantics

  14:00 Friday 11th March ( week 8, Hilary Term 2011 ) in Lecture Theatre B

  Vincenzo Ciancia ( Institute for Logic Language Computation, University of Amsterdam )
• 7Mar2011
  Spin systems as toy models for emergent gravity

  14:00 Monday 7th March ( week 8, Hilary Term 2011 ) in Lecture Theatre B, Computing Laboratory

  Fotini Markopoulou ( Perimeter Institute )
• 4Mar2011
  Lexical meaning in flux

  14:00 Friday 4th March ( week 7, Hilary Term 2011 ) in Lecture Theatre B

  Prof. Robin Cooper ( Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg )
• 25Feb2011
  On the Classical Origins of Quantum Correlations

  14:00 Friday 25th February ( week 6, Hilary Term 2011 ) in Lecture Theatre B, Computing Laboratory

  Joy Christian ( University of Oxford )
• 18Feb2011
  A Theory of Nondeterministic and Probabilistic Processes

  14:00 Friday 18th February ( week 5, Hilary Term 2011 ) in Lecture Theatre B

  Prof Matthew Hennessy ( Trinity College Dublin )
• 11Feb2011
  Ultrametric Semantics of Reactive Programs

  14:00 Friday 11th February ( week 4, Hilary Term 2011 ) in Lecture Theatre B

  Neel Krishnaswami ( Microsoft Research Cambridge )
• 4Feb2011
  Formalizing Domains, Ultrametric Spaces and Semantics of Programming Languages

  14:00 Friday 4th February ( week 3, Hilary Term 2011 ) in Lecture Theatre B

  Nick Benton ( Microsoft Research Cambridge )
• 28Jan2011
  Simplicial Sets and No-Go Theorems

  14:00 Friday 28th January ( week 2, Hilary Term 2011 ) in Lecture Theatre B, Computing Laboratory

  Noson Yanofsky ( CUNY )
• 21Jan2011
  Horn Formulas as Linear Inequalities and Nonlocality Paradoxes

  14:00 Friday 21st January ( week 1, Hilary Term 2011 ) in Lecture Theatre B

  Tobias Fritz ( ICFO, Barcelona )
• 3Dec2010
  Towards a non-commutative logic of effects

  14:00 Friday 3rd December ( week 8, Michaelmas Term 2010 ) in Lecture Theatre B

  Noam Zeilberger ( Laboratoire PPS, Université Paris 7 - Denis Diderot )
• 26Nov2010
  Quantum Coherence in Brain Activity: Why and Whether?

  14:00 Friday 26th November ( week 7, Michaelmas Term 2010 ) in Lecture Theatre B

  Prof. Roger Penrose (Sir) ( Maths Institute, University of Oxford )
• 12Nov2010
  Attacking Large Industrial Code with Bi-Abductive Inference

  14:00 Friday 12th November ( week 5, Michaelmas Term 2010 ) in Lecture Theatre B

  Dino Distefano ( Queen Mary, University of London )
• 5Nov2010
  Event structures with symmetry: towards a domain theory for concurrency

  14:00 Friday 5th November ( week 3, Michaelmas Term 2010 ) in Lecture Theatre B, Computing Laboratory

  Dr Sam Staton ( PPS, Paris VII )
• 22Oct2010
  A special bialgebra for event logic

  14:00 Friday 22nd October ( week 2, Michaelmas Term 2010 ) in Lecture Theatre B

  Dan Ghica ( University of Birmingham )
• 15Oct2010
  Quantum Communication in Rindler Spacetime

  12:00 Friday 15th October ( week 1, Michaelmas Term 2010 ) in Lecture Theatre B

  Prakash Panangaden ( Computing Laboratory, University of Oxford -- on sabbatical from School of Computer Science, McGill University )
• 5Oct2010
  On Higher-Order Algebra

  16:00 Tuesday 5th October ( week 0, Michaelmas Term 2010 ) in Lecture Theatre B

  Marcelo Fiore ( Computer Laboratory, University of Cambridge )
• 25Jun2010
  A formalism-local framework for general probabilistic theories including quantum theory

  14:00 Friday 25th June ( week 9, Trinity Term 2010 ) in Lecture Theatre B, Computing Laboratory

  Lucien Hardy ( Perimeter Institute )
• 18Jun2010
  This will be an OASIS duo, we will have two seminars: one 2-3, the other 3-4.

  14:00 Friday 18th June ( week 8, Trinity Term 2010 ) in Lecture Theater B

  Bill Roscoe and Dana Scott ( Bill: OUCL, Dana: CMU and Visiting Fellow of Magdalen College )
• 4Jun2010
  Information Theory, Lattice of Information and Information Leakage

  14:00 Friday 4th June ( week 6, Trinity Term 2010 ) in Lecture Theatre B

  Pasquale Malacaria ( Queen Mary )
• 21May2010
  Decision problems for probabilistic and quantum automata

  14:00 Friday 21st May ( week 4, Trinity Term 2010 ) in Lecture Theatre B

  James Worrell ( Oxford University Computing Laboratory )
• 14May2010
  Weighted automata and quantitative logics

  14:00 Friday 14th May ( week 3, Trinity Term 2010 ) in Lecture Theatre B

  Manfred Droste ( University of Leipzig )
• 7May2010
  Knots, World-Lines, and Quantum Computation

  14:00 Friday 7th May ( week 2, Trinity Term 2010 ) in Lecture Theatre B, Computing Laboratory

  Professor Steve Simon ( Department of Physics, University of Oxford )
• 30Apr2010
  Effective Reasoning about Effectful Programs

  14:00 Friday 30th April ( week 1, Trinity Term 2010 ) in Lecture Theater B

  Jeremy Gibbons ( Oxford University Computing Laboratory )
• 23Apr2010
  Scalars, Monads, and Categories (and maybe a bit more)

  14:00 Friday 23rd April ( week 0th week, Trinity Term 2010 ) in Lecture Theatre B, Computing Laboratory

  Professor Bart Jacobs ( Radboud University Nijmegen )
• 10Mar2010
  The theory of simultaneous equations

  14:00 Wednesday 10th March ( week 8, Hilary Term 2010 ) in Lecture Theatre A, Computing Laboratory

  Tom Leinster ( University of Glasgow )
• 5Mar2010
  An introduction to deciding higher-order matching

  14:00 Friday 5th March ( week 7, Hilary Term 2010 ) in Lecture Theater B

  Colin Stirling ( Laboratory for Foundations of Computer Science, University of Edinburgh )
• 26Feb2010
  The Audacity of Hope: Thoughts on Reclaiming the Database Dream

  14:00 Friday 26th February ( week 6, Hilary Term 2010 ) in Lecture Theatre B

  Phil Wadler ( University of Edinburgh )
• 18Feb2010
  String diagrams, a topological account of proofs and programs

  14:00 Thursday 18th February ( week 5, Hilary Term 2010 ) in Lecture Theatre **A**, Computing Laboratory

  Paul-André Melliès ( Laboratoire PPS, Paris VIII )
• 12Feb2010
  Algebras and Languages for Molecular Programming

  14:00 Friday 12th February ( week 4, Hilary Term 2010 ) in Lecture Theatre B

  Luca Cardelli ( Microsoft Research, Cambridge )
• 5Feb2010
  A Demonic Approach to Information in Probabilistic Systems

  14:00 Friday 5th February ( week 3, Hilary Term 2010 ) in Lecture Theater B

  Josée Desharnais ( Laval Univesity, Visiting Oxford )
• 29Jan2010
  Entropies on test spaces

  14:00 Friday 29th January ( week 2, Hilary Term 2010 ) in Lecture Theater B

  Jonathan Barrett ( University of Bristol )
• 22Jan2010
  Extensions of the Church Synthesis Problem

  14:00 Friday 22nd January ( week 1, Hilary Term 2010 ) in Lecture Theater B

  Alex Rabinovich ( Tel Aviv University, Visiting Oxford )
• 4Dec2009
  Functional Programming in Sublinear Space

  14:00 Friday 4th December ( week 8, Michaelmas Term 2009 ) in Lecture Theatre B

  Ulrich Schoepp ( LMU Munich )
• 27Nov2009
  Constructing TQFTs, HQFTs and ...?

  14:00 Friday 27th November ( week 7, Michaelmas Term 2009 ) in Lecture Theatre B

  Timothy Porter ( University of Wales, Bangor )
• 20Nov2009
  Understanding the basic building blocks of quantum information

  14:00 Friday 20th November ( Michaelmas Term 2009 ) in Lecture Theatre B, Oxford University Computing Laboratory

  Dr Jonathan Oppenheim ( DAMTP, University of Cambridge )
• 13Nov2009
  Structural Recursion with Pure Local Names

  14:00 Friday 13th November ( week 5, Michaelmas Term 2009 ) in Lecture Theatre B

  Andrew Pitts ( University of Cambridge )
• 6Nov2009
  Quantum, classical and discord correlations

  14:00 Friday 6th November ( week 4, Michaelmas Term 2009 ) in Lecture Theatre B

  Vlatko Vedral ( Professor of Quantum Information Science at University of Oxford, Professor of Physics at National University of Singapore )
• 30Oct2009
  A quantum memory lasting seconds in silicon

  14:00 Friday 30th October ( week 3, Michaelmas Term 2009 ) in Lecture Theatre B, Oxford University Computing Laboratory

  Dr John Morton ( Department of Materials, University of Oxford )
• 23Oct2009
  The issues around proving Fermat's Last Theorem in Peano Arithmetic

  14:00 Friday 23rd October ( week 2, Michaelmas Term 2009 ) in Lecture Theatre B

  Professor Angus Macintyre FRS ( Mathematics Research Centre, Queen Mary University of London )
• 16Oct2009
  First-Order Reasoning for Higher-Order Concurrency

  14:00 Friday 16th October ( week 1, Michaelmas Term 2009 ) in Lecture Theatre B

  Vasileios Koutavas ( Trinity College Dublin )
• 30Sep2009
  Optimal Coin Flipping

  16:30 Wednesday 30th September ( week -1, Michaelmas Term 2009 ) in Lecture Theater B (Joint with Departmental Seminar)

  Dexter Kozen ( Joseph Newton Pew, Jr. Professor in Engineering, Computer Science Department, Cornell University )
• 19Jun2009
  Games and Logics with Partial Order Models

  14:00 Friday 19th June ( week 8, Trinity Term 2009 ) in Lecture Theatre B

  Julian Gutierrez ( University of Edinburgh )
• 12Jun2009
  Computing stable outcomes in weighted voting games

  14:00 Friday 12th June ( week 7, Trinity Term 2009 ) in Lecture Theatre B

  Edith Elkind ( University of Southampton/ Nanyang Technological University )
• 5Jun2009
  Generalized Esakia duality and canonical formulas for intuitionistic logic

  14:00 Friday 5th June ( week 6, Trinity Term 2009 ) in Lecture Theatre B

  Nick Bezhanishvili ( Imperial College )
• 29May2009
  The Coalgebraic mu-Calculus

  14:00 Friday 29th May ( week 5, Trinity Term 2009 ) in Lecture Theatre B

  Dirk Pattinson ( Imperial College )
• 22May2009
  Communication Optimisation and Progress in Multiparty Session Types

  14:00 Friday 22nd May ( week 4, Trinity Term 2009 ) in Lecture Theatre B

  Nobuko Yoshida ( Imperial College )
• 15May2009
  Understanding Exhaustible Sets and Bar Recursion

  14:00 Friday 15th May ( week 3, Trinity Term 2009 ) in Lecture Theatre B

  Martin Escardo ( University of Birmingham )
• 8May2009
  Lower Bounds for Monadic Second-Order Model-Checking

  14:00 Friday 8th May ( week 2, Trinity Term 2009 ) in Lecture Theatre B

  Stephan Kreutzer ( University of Oxford )
• 13Mar2009
  A Complexity Dichotomy for Hypergraph Partition Functions

  14:00 Friday 13th March ( week 8, Hilary Term 2009 ) in Lecture Theater B

  Prof. Leslie Goldberg ( University of Liverpool )
• 6Mar2009
  Terminal coalgebras (Joint work with Tom Leinster)

  14:00 Friday 6th March ( week 7, Hilary Term 2009 ) in Lecture Theater B

  Eugenia Cheng ( University of Sheffield )
• 27Feb2009
  Second-Order Quantifier Elimination

  14:00 Friday 27th February ( week 6, Hilary Term 2009 ) in Lecture Theater B

  Renate Schmidt ( University of Manchester )
• 20Feb2009
  How to make Chloroform do Addition: classical computing in NMR

  14:00 Friday 20th February ( week 5, Hilary Term 2009 ) in Lecture Theater B

  Prof. Susan Stepney ( University of York )
• 13Feb2009
  Logic of coalitional ability under bounded resources

  12:00 Friday 13th February ( week 4, Hilary Term 2009 ) in Lecture Theater B

  Natasha Alechina ( University of Nottingham )
• 5Feb2009
  Fraisse's Construction from a Topos-Theoretic Perspective (joint with Maths Dept, Different time and place)

  17:00 Thursday 5th February ( week 3, Hilary Term 2009 ) in Maths Department

  Olivia Caramello ( University of Cambridge )
• 30Jan2009
  A Game based Abstraction Refinement Framework for Markov Decision Processes

  14:00 Friday 30th January ( week 2, Hilary Term 2009 ) in Lecture Theater B

  Prof. Marta Kwiatkowska ( Computing Laboratory, University of Oxford )
• 23Jan2009
  LINEAR LOGIC IN LINGUISTICS AND COGNITIVE SCIENCE: LAMBEK CALCULUS, PREGROUPS AND THE GEOMETRY OF COGNITION

  14:00 Friday 23rd January ( week 1, Hilary Term 2009 ) in Lecture Theater B

  Prof. Claudia Casadio ( University of Chieti, Italy )
• 5Dec2008
  The issues around proving Fermat's Last Theorem in Peano Arithmetic (Joint with Logic Seminar of Maths Department)

  14:00 Friday 5th December ( week 8, Michaelmas Term 2008 ) in Lecture Theater B

  Angus MacIntyre ( School of Mathematics, Queen Mary University of London )
• 28Nov2008
  Description Logic II: Implementation and Optimisation

  14:00 Friday 28th November ( week 7, Michaelmas Term 2008 ) in Lecture Theater B

  Ian Horrocks ( Computing Laboratory, University of Oxford )
• 21Nov2008
  The locale of random sequences

  14:00 Friday 21st November ( week 6, Michaelmas Term 2008 ) in Lecture Theater B

  Alex Simpson ( School of Informatics, University of Edinburgh )
• 13Nov2008
  Models of quantum phenomena

  17:00 Thursday 13th November ( week 5, Michaelmas Term 2008 ) in Mathematics Department, L3

  Bob Coecke ( Computing Laboratory, University of Oxford )
• 7Nov2008
  Functional interpretations, linear logic and games

  14:00 Friday 7th November ( week 4, Michaelmas Term 2008 ) in Lecture Theater B

  Paulo Oliva ( Department of Computer Science, Queen Mary University of London )
• 31Oct2008
  Operational Reconstructions of Hilbert Space Quantum Mechanics - A Guided Tour

  14:00 Friday 31st October ( week 3, Michaelmas Term 2008 ) in Lecture Theater B

  Paul Busch ( Department of Mathematics, University of York )
• 24Oct2008
  Proof systems for intuitionistic logic

  14:00 Friday 24th October ( week 2, Michaelmas Term 2008 ) in Lecture Theater B

  Roy Dyckhoff ( School of Computer Science, University of St Andrews. )
• 16May2008
  Graphical calculus underlying Grassmann, Clifford, and symmetric function Hopf algebras

  12:00 16th May ( Trinity Term 2008 ) <meta itemprop="location" content="TBA"/>

  Bertfried Fauser ( University of Konstanz )
• 7Mar2008
  How Computationally Relevant is Definability?

  12:00 7th March ( Hilary Term 2008 ) <meta itemprop="location" content="TBA"/>

  Barry Cooper ( Leeds )
• 29Feb2008
  Is Intuitionistic Logic relevant for Computer Science?

  14:00 Friday 29th February ( week 7, Hilary Term 2008 ) <meta itemprop="location" content="TBA"/>

  Thorsten Altenkirch ( Nottingham )
• 8Feb2008
  A games model of bunched implications

  14:00 Friday 8th February ( week 4, Hilary Term 2008 ) <meta itemprop="location" content="TBA"/>

  Guy McCusker ( Bath )
• 1Feb2008
  Description Logic Based Ontology Languages

  14:00 Friday 1st February ( week 3, Hilary Term 2008 ) <meta itemprop="location" content="TBA"/>

  Ian Horrocks ( OUCL )
• 25Jan2008
  The complexity of small universal Turing machines

  14:00 Friday 25th January ( week 2, Hilary Term 2008 ) <meta itemprop="location" content="TBA"/>

  Damien Woods ( UC Cork )
• 30Nov2007
  Ibn Sina's syllogistic: a logic between modal and many-valued

  14:00 30th November ( week 8, Michaelmas Term 2007 ) <meta itemprop="location" content="TBA"/>

  Wilfrid Hodges ( Queen Mary, London )
• 23Nov2007
  Optimal computation with noisy quantum walks

  14:00 Friday 23rd November ( week 7, Michaelmas Term 2007 ) <meta itemprop="location" content="TBA"/>

  Viv Kendon ( Leeds )
• 16Nov2007
  Bell Inequalities, Free Variables and the Undecidability of Chaotic Invariant Sets.

  14:00 Friday 16th November ( week 6, Michaelmas Term 2007 ) <meta itemprop="location" content="TBA"/>

  Tim Palmer ( ECMWF )
• 2Nov2007
  Clifford algebras and shadow phase spaces in quantum theory: the way to unite Schrodinger, Pauli and Dirac with Bohm in one algebraic structure

  14:00 Friday 2nd November ( week 4, Michaelmas Term 2007 ) <meta itemprop="location" content="TBA"/>

  Basil Hiley ( Birkbeck, London )
• 26Oct2007
  Structural Operational Semantics for Computational Effects

  14:00 Friday 26th October ( week 3, Michaelmas Term 2007 ) <meta itemprop="location" content="TBA"/>

  John Power ( Bath )
• 9Jul2007
  Broadcasting and Teleportation in General Probabilistic Theories

  12:00 Friday 9th July 2007<meta itemprop="location" content="TBA"/>

  Alex Wilce ( Susquehana, US )
• 8Jun2007
  Finding network modules by ranking pathways

  12:00 Friday 8th June ( week 7, Trinity Term 2007 ) <meta itemprop="location" content="TBA"/>

  Dusko Pavlovic ( http://www.kestrel.edu/home/people/pavlovic/ )
• 1Jun2007
  Some models of quantum computation

  12:00 1st June ( Trinity Term 2007 ) <meta itemprop="location" content="TBA"/>

  Jacob Biamonte ( D-Wave and Harvard )
• 8May2007
  Information Retrieval in a Geometric Context

  14:00 Friday 8th May ( week 3, Trinity Term 2007 ) <meta itemprop="location" content="TBA"/>

  Keith van Rijsbergen ( University of Glasgow )
• 2Mar2007
  Second-order Game Semantics and Type Isomorphisms

  12:00 2nd March ( Hilary Term 2007 ) <meta itemprop="location" content="TBA"/>

  Joachim de Lataillade ( PPS - Paris 7 )
• 23Feb2007
  Types for Quantum Computing

  12:00 23rd February ( Hilary Term 2007 ) <meta itemprop="location" content="TBA"/>

  Ross Duncan ( OUCL )
• 9Feb2007
  Networks and Conditional Reasoning

  12:00 Friday 9th February ( week 4, Hilary Term 2007 ) <meta itemprop="location" content="TBA"/>

  Hannes Leitgeb ( Bristol - Philosophy )
• 2Feb2007
  The Power of Closed Reduction

  12:00 Friday 2nd February ( Hilary Term 2007 ) <meta itemprop="location" content="TBA"/>

  Maribel Fernández ( King's College London - Computing )
• 26Jan2007
  A categoricity property of the Poincare fundamental groupoid functor

  12:00 Friday 26th January ( week 2, Hilary Term 2007 ) <meta itemprop="location" content="TBA"/>

  Misha Gavrilovich ( Humboldt Universitat Berlin - Mathematics )
• 8Dec2006
  Forget this talk (joint work with Peter Shor)

  12:00 Friday 8th December ( week 9, Michaelmas Term 2006 ) <meta itemprop="location" content="TBA"/>

  Aram Harrow ( University of Bristol )
• 1Dec2006
  Quantum random numbers

  12:00 Friday 1st December ( week 8, Michaelmas Term 2006 ) <meta itemprop="location" content="TBA"/>

  Rudiger Schack ( Royal Holloway, London )
• 24Nov2006
  Comparatives

  12:00 Friday 24th November ( week 7, Michaelmas Term 2006 ) <meta itemprop="location" content="TBA"/>

  Stephen Pulman ( OUCL )
• 3Nov2006
  Logically perfect structures and quantum geometries

  12:00 Friday 3rd November ( week 4, Michaelmas Term 2006 ) <meta itemprop="location" content="TBA"/>

  Boris Zilber ( Oxford, Mathematical Institute )
• 20Oct2006
  Second Order Logic over Finite Structures -- Report on a Research Program

  12:00 Friday 20th October ( week 2, Michaelmas Term 2006 ) <meta itemprop="location" content="TBA"/>

  Georg Gottlob ( OUCL )
• 5May2006
  Traced Monoidal Categories and Hoare Logic

  12:00 Friday 5th May ( week 2, Trinity Term 2006 ) <meta itemprop="location" content="TBA"/>

  Mathiesen & Oliva ( Queen Mary, London )
• 3Mar2006
  Measuring Interference via Entropy

  12:00 Friday 3rd March ( week 7, Hilary Term 2006 ) <meta itemprop="location" content="TBA"/>

  Pasquale Malacaria ( Queen Mary, London )
• 24Feb2006
  Quantum Physics and Economics? A Survey of Possible Links

  12:00 Friday 24th February ( week 6, Hilary Term 2006 ) <meta itemprop="location" content="TBA"/>

  Emmanuel Haven ( University of Essex )
• 17Feb2006
  Recursive coalgebras

  12:00 Friday 17th February ( week 5, Hilary Term 2006 ) <meta itemprop="location" content="TBA"/>

  Stefan Milius ( University of Braunschweig, Germany )
• 10Feb2006
  Looking at linear optics quantum computing with the eye of a computer scientist

  12:00 Friday 10th February ( week 4, Hilary Term 2006 ) <meta itemprop="location" content="TBA"/>

  Jens Eisert ( Imperial College, London )
• 3Feb2006
  Vector Space Models of Meaning

  12:00 3rd February ( week 3, Hilary Term 2006 ) <meta itemprop="location" content="TBA"/>

  Stephen Clark ( OUCL )
• 27Jan2006
  Socially Responsive, Environmentally Friendly Logic

  12:00 Friday 27th January ( week 2, Hilary Term 2006 ) <meta itemprop="location" content="TBA"/>

  Samson Abramsky ( OUCL )
• 20Jan2006
  Why playing logical games? Some philosophical answers

  12:00 Friday 20th January ( week 1, Hilary Term 2006 ) <meta itemprop="location" content="TBA"/>

  Mathieu Marion ( University of Quebec at Montreal )
• 2Dec2005
  Infinite trees, higher-order recursion schemes and game semantics

  12:00 Friday 2nd December ( week 8, Michaelmas Term 2005 ) <meta itemprop="location" content="TBA"/>

  Luke Ong ( Oxford University Computing Lab )
• 18Nov2005
  A Game Semantics of Names and Pointers

  12:00 Friday 18th November ( week 6, Michaelmas Term 2005 ) <meta itemprop="location" content="TBA"/>

  Jim Laird ( University of Sussex at Brighton )
• 11Nov2005
  Graph Games Revisited

  12:00 Friday 11th November ( week 5, Michaelmas Term 2005 ) <meta itemprop="location" content="TBA"/>

  Andrea Schalk ( University of Manchester )
• 4Nov2005
  Abstract Interpretation Revisited

  12:00 Friday 4th November ( week 4, Michaelmas Term 2005 ) <meta itemprop="location" content="TBA"/>

  Dan Ghica ( University of Birmingham )
• 28Oct2005
  Proofnets for the modal logic S5

  12:00 Friday 28th October ( week 3, Michaelmas Term 2005 ) <meta itemprop="location" content="TBA"/>

  Greg Restall ( University of Melbourne )
• 21Oct2005
  Tutorial on Game Semantics

  12:00 21st October ( week 2, Michaelmas Term 2005 ) <meta itemprop="location" content="TBA"/>

  Andrzej Murawski ( OUCL )
• 14Oct2005
  Introductory talk on Algorithmic Game Semantics

  12:00 14th October ( week 1, Michaelmas Term 2005 ) <meta itemprop="location" content="TBA"/>

  Samson Abramsky ( OUCL )
• 29Jul2005
  Resource Sensitive Frames

  12:00 29th July ( week 14, Trinity Term 2005 ) <meta itemprop="location" content="TBA"/>

  Mai Gehrke ( New Mexico State University, US )
• 1Jul2005
  Structural parameters: good, bad and ugly

  12:00 1st July ( week 10, Trinity Term 2005 ) <meta itemprop="location" content="TBA"/>

  Michael Fellows ( University of Newcastle, Australia )
• 3Jun2005
  The complexity of graph state preparation

  12:00 3rd June ( week 6, Trinity Term 2005 ) <meta itemprop="location" content="TBA"/>

  Philippe Jorrand ( Leibniz Laboratory - Grenoble - France )
• 27May2005
  Reactive Kripke Semantics and Arc Accessibility

  12:00 Friday 27th May ( week 5, Trinity Term 2005 ) <meta itemprop="location" content="TBA"/>

  Dov Gabbay ( King's College London )
• 13May2005
  Probabilistic Model-Checking of Quantum Protocols

  12:00 Friday 13th May ( week 3, Trinity Term 2005 ) <meta itemprop="location" content="TBA"/>

  Simon Gay ( University of Glasgow )
• 20Dec2004
  Spin Networks and Anyonic Topological Quantum Computing

  12:00 Monday 20th December ( week 11, Michaelmas Term 2004 ) <meta itemprop="location" content="TBA"/>

  Louis H Kauffman ( University of Illinois at Chicago )
• 17Dec2004
  Is there really that much room in Hilbert space?

  12:00 Friday 17th December ( week 10, Michaelmas Term 2004 ) <meta itemprop="location" content="TBA"/>

  Frank Valckenborgh ( Macquarie University, Sydney, Australia )
• 3Dec2004
  A calculus and logic of resources and processes

  12:00 Friday 3rd December ( week 8, Michaelmas Term 2004 ) <meta itemprop="location" content="TBA"/>

  David Pym ( University of Bath )
• 26Nov2004
  Quantal Spaces

  12:00 Friday 26th November ( week 7, Michaelmas Term 2004 ) <meta itemprop="location" content="TBA"/>

  Christopher J Mulvey ( University of Sussex/University of Cambridge )
• 19Nov2004
  The role of non-commutative geometry in algebraic quantum mechanics: a physicist's perspective

  12:00 Friday 19th November ( week 6, Michaelmas Term 2004 ) <meta itemprop="location" content="TBA"/>

  Basil Hiley ( Birkbeck, London )
• 12Nov2004
  Topological analysis of refinement

  12:00 Friday 12th November ( week 5, Michaelmas Term 2004 ) <meta itemprop="location" content="TBA"/>

  Michael Huth ( Imperial College, London )
• 5Nov2004
  Distance in Graphs and Hyperconvexity

  12:00 Friday 5th November ( week 4, Michaelmas Term 2004 ) <meta itemprop="location" content="TBA"/>

  Mike Smyth ( Imperial College, London )
• 29Oct2004
  Engineers Do Space Too

  12:00 Friday 29th October ( week 3, Michaelmas Term 2004 ) <meta itemprop="location" content="TBA"/>

  Stephen Cameron ( Oxford University )
• 22Oct2004
  Synthetic topology of data types and classical spaces

  12:00 Friday 22nd October ( week 2, Michaelmas Term 2004 ) <meta itemprop="location" content="TBA"/>

  Martin H Escardo ( University of Birmingham )
• 15Oct2004
  Spatial Representations, Discrete and Continuous (The Differential Geometry of Information)

  12:00 Friday 15th October ( week 1, Michaelmas Term 2004 ) <meta itemprop="location" content="TBA"/>

  Jonathan Gratus ( University of Wales at Bangor )