BLC-supported meetings
(Meetings funded in whole or part, or partially guaranteed against loss, by the BLC)
- Conference on Foundations of Logical Consequence . St Andrews, 11 -15 June 2010.
- Geometric Model Theory. Oxford, 25-28 March 2010.
- Midlands Graduate School in the Foundations of Computing Science . Sheffield, 28 March - 1 April 2010.
- Logic and Mathematics York, 3-7 August 2009.
- Mathematical Methods in Philosophy. Bristol, 19th to 21st September 2008
- The Third Workshop on Combining Probability and Logic. Progic'07 . Canterbury, 5 -7 September 2007.
- Algebraic and Topological Methods in Non-classical Logics III (TANCL'07). Oxford, 5 - 9 August, 2007.
-
Set theory and its neighbours, 15: Analysis and set theory,
II. London,
20 April 2007.
- Workshop on Proof Theory, Computation and Complexity, ( PCC'07), 13 - 14 April 2007, Swansea, UK
- Relations and Kleene Algebra in Computer Science (RelMiCS/AKA 2006), 29 Aug. - 2 Sep. 2006, Manchester, UK
- Computability in Europe. Swansea, 30 June - 5 July 2006
- Workshop on Autmated Reasoning . Bristol, 3 - 4 April 2006.
- Truth and proof. Edinburgh, 25 - 26 March 2006.
- Computer Science Logic 2005 (CSL'05), Oxford, 22-25 August 2005.
- Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. July/August 2005 (colocated with IJCAI 2005).
- BIG Set Theory meeting, Bristol, September 3-5, 2005.
- 6th de Morgan Workshop on Logic and Law, Kings College London. 15-15 November 2004.
- 8th Annual Oxford Philosophy Graduate Conference University of Oxford, November 6-7 2004
- Advances in Modal Logic (AiML), 9-11 September 2004, Manchester
- 5th Augustus de Morgan Workshop, Kings College, London, 3-5 November 2003
- Turing Meeting, Manchester, 5 June 2004
- Groups and Model Theory, Leeds, 11-12 April 2003
- Combining Probability and Logic (King's College London, 4th-6th November 2002)
- Computing and Philosophy University of Glasgow, Scotland, March 2003
- Euro-Conference in Model Theory and Applications Ravello, May 27 - June 1, 2002
- 12th European Summer School in Logic, Language and Information (6-18 August 2000, Birmingham)
- Finite model theory and set theory (London, January 1999)
- Proof theory (Leeds, February 1999)
- Workshop on Proof Theory, Computation and Complexity, ( PCC'07), 13 - 14 April 2007, Swansea, UK