The Foundations of Computer Science Research Group
 FoCS at OUCL Members- Seminars
- Our events
- RESEARCH
- Game Semantics
- Physics and CS
- Modal Logic
- FP6 STREP QICS
|
Physics and CS
We explore the structural connections and possible cross-breedings between physics and computer science. This includes high-level quantum informatics, and category theoretic, computational, domain theoretic, and logical models of physical theories such as quantum mechanics, special relativity, ... quantum gravity? As a token of our activity, here are some examples of recent and future physics-related events to which some of us are invited:
- [Computational Structures for Modelling Space, Time and Causality, Dagstuhl seminar 06341, August 20-25, 2006]
- [Mathematical Theory of Quantum Computation and Quantum Technology, Texas A&M University, November 13 - 16, 2005]
- [Quantum Information, Computation and Logic: Exploring New Connections, Perimeter Institute, Waterloo, Canada, July 17-22, 2005]
- [Workshop on Mathematical and Physical Aspects of Quantum Gravity, Max Planck Institute for Mathematics in the Sciences, July 28 - August 01, 2005]
- [Quantum Theory: reconsideration of foundations-3, Vaxjo, Sweden, June 6-11, 2005]
Members and Visitors involved in this:
Allies in other departments:
Past contributors:
Our seminars are embedded within [The Oxford Advanced Seminar on Informatic Structures] on Fridays (coordinated by [Bob Coecke]), and also within the
[FoCS Lunchtime Seminars] (bring lunch!) on Tuesdays (coordinated by [Andrzej Murawski]), but there is also the
even more informal post Quantum-Lunch seminar on Wednesdays (uncoordinated).
The following papers represent some work (consult the webpages of individual members for more)
- A categorical semantics of quantum protocols (Samson Abramsky and Bob Coecke)
- A Domain of Spacetime Intervals for General Relativity (Keye Martin and Prakash Panangaden)
- Unitary Computations of Factorials (Peter Hines)
|
![[Oxford Spires]](http://web.comlab.ox.ac.uk/im/spires.gif){kind=small}