| Title | Holder | Funding Body | Start | End |
|---|---|---|---|---|
| Resource Quantification in e-science Technologies | Sannella | EPSRC | 01/05/2005 | 30/04/2008 |
| Pushdown Automata and Game semantics | Stirling | EPSRC | 01/12/2004 | 30/11/2007 |
| A security model for XML | Fan | EPSRC | 01/07/2005 | 30/06/2008 |
| A programming language based on game semantics | Longley | EPSRC | 01/04/2005 | 31/03/2008 |
| A system for Publishing Scientific Data | Buneman, Atkinson, Fan | EPSRC | 01/07/2004 | 30/06/2007 |
| Theory of Effects for Programming Languages | Plotkin | EPSRC | 01/03/2004 | 31/10/2007 |
| Discontinuous Behaviour in the Complexity of Randomized Algorithms | Jerrum | EPSRC | 01/09/2004 | 31/08/2007 |
| Applied Semantics II | Stark | EC | 01/01/2003 | 31/12/2005 |
| Topological Models for Computational Metalanguages | Simpson | EPSRC | 01/10/2003 | 30/09/2006 |
| Vectorised XML? | Buneman, Armstrong, Koch, Viglas, Etessami | EPSRC | 01/09/2003 | 30/08/2006 |
| Mathematical Models for Concurrent and Mobile Computation | Stark | EPSRC | 01/07/2002 | 30/06/2007 |
| Models and axioms for the semantics of computation | Simpson | EPSRC | 01/10/2001 | 31/03/2007 |
| Games and automata for synthesis and validation of computing systems | Bradfield | EU | 01/09/2002 | 31/08/2006 |
| Supporting Software Design | Stevens | EPSRC | 01/10/2000 | 31/08/2006 |
| Network of Excellence on Digital Libraries DELOS | Buneman | EU | 01/01/2004 | 31/12/2007 |
| Mathematics: Categorical Semantics for Natural Models of Computation | Power | Royal Society | 01/04/2005 | 31/03/2007 |
| Types for Proofs and Systems | Aspinall | EC | 01/09/2004 | 31/08/2007 |
| Software Engineering for Service-Oriented Overlay Computers | Gilmore | EC | 01/09/2005 | |
| Mobility, Ubiquity and Security: Mobius | Stark | EC | 01/09/2005 | 31/08/2009 |
| Plotkin Symposium | Simpson | EPSRC | 01/06/2006 | 31/12/2006 |
| Process Algebra Aproaches to Collective Dynamics | Hillston | EPSRC | 01/10/2005 | 30/09/2010 |
| Process Algebra Aproaches to Collective Dynamics | Hillston | EPSRC | 01/10/2006 | 30/09/2009 |
| Relational parametricity for computational effects | Simpson | EPSRC | 01/10/2006 | 30/09/2007 |