This inaugural workshop of the Centre for Quantum Mathematics and Computation will seek to take stock of contemporary foundational ideas in mathematics, computer science, and physics. Alongside invited talks by world experts, informal events will be held, such as problem sessions and research planning activities. Particular attention will be devoted to the organizing role played by logical structures, and how this illuminates our understanding of such diverse areas as quantum field theory, geometry, semantics of computation, and quantum information.
This workshop will take place in the new Mathematical Institute building during the week of its opening.
The workshop will have plenary talks by Steve Awodey, John Baez, Alexander Beilinson, Lucien Hardy, Martin Hyland, Dana Scott, Vladimir Voevodsky, and Anton Zeilinger, along with contributed talks and a problem session.
The workshop is one of four Clay Research Workshops occurring in Oxford that week (including one on Number Theory and Physics, and one on Computational Intractability) along with the Clay Research Conference and the conference celebrating the opening of the new Oxford Mathematics building.
The workshop is funded by the Clay Mathematics Institute and the Engineering and Physical Sciences Research Council.
Some limited funding for travel and accommodation is available.
Inquiries regarding the workshop may be directed to cdouglas@maths.ox.ac.uk.
