British Logic Colloquium

2023, 28 Jan - 29 Jan, 16th Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, Faculty of Philosophy, University of Cambridge, Cambridge

2023, 18 Jan - 20 Jan, British Post Graduate Model Theory Conference, University of Leeds, Leeds

2022, 22 Jan - 23 Jan, Fifteenth Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, St John's College, Cambridge, Cambridge

2020, 14 May - 15 May, Philosophical Applications of Modal Logic, Glasgow

2020, 22 Feb, Colloquium in honour of Robin Gandy's centenary, Wolfson College Oxford, Oxford

2020, 03 Feb - 04 Feb, Fifth Workshop on Generalised Baire Spaces, University of Bristol, Bristol

2020, 18 Jan - 19 Jan, Thirteenth Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, St John's College, Cambridge

2019, 08 Sep - 13 Sep, Proof Society Summer School 2019 & Workshop on Proof Theory and its Applications, Swansea University, Swansea

2019, 30 May - 31 May, Logic in London, Institute of Philosophy, School of Advanced Study, University of London, London

2019, 07 May - 08 May, Workshop on the History of Arabic Logic, St Andrews

2019, 08 Apr - 12 Apr, 6th Workshop on Formal Topology, University of Birmingham, Birmingham

2019, 21 Jan - 23 Jan, Workshop on NIP and groups, Leeds

2019, 19 Jan - 20 Jan, Twelfth Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, Cambridge

2018, 10 Dec - 12 Dec, Themes from Alan Weir, Glasgow

2018, 17 Sep - 21 Sep, ICMS workshop: From permudation groups to model theory (Dugald Macpherson’s 60th birthday), Edinburgh

2018, 08 Jul, Coalgebra Now – FLoC workshop, Oxford

2018, 09 Apr, Workshop on model theory of finite and pseudofinite structures, Leeds

2018, 20 Jan - 21 Jan, 11th Cambridge Graduate Conf. on the Phil. of Math. and Logic,

2018, 04 Jan - 06 Jan, British Postgraduate Model Theory Conference, Oxford

2017, 10 Sep - 12 Sep, Homogeneous structures, permutation groups, and connections to set theory (John Truss 70th birthday), Leeds

2017, 03 Sep - 09 Sep, Formal Structures in Computation and Deduction,

2017, 18 Jul - 21 Jul, 24th WoLLIC + 15th Meeting on the Mathematics of Language, London

2017, 23 May - 24 May, Proofs of Propositions in 14th-century Logic, St Andrews

2017, 28 Jan - 29 Jan, 10th Cambridge Graduate Conf. on the Phil. of Math. and Logic, Cambridge

2017, 25 Jan - 27 Jan, British Postgraduate Model Theory Conference,

2016, 06 Sep - 08 Sep, British Logic Colloquium, Edinburgh

2016, 31 Jul - 06 Aug, Logic Colloquium, Leeds

2016, 17 Jun, Plural Foundations, Leeds

2016, 10 Jun - 12 Jun, Bristol-München Conference on Truth and Rationality, Bristol

2016, 20 Jan - 22 Jan, British Postgraduate Model Theory Conference (BPGMT), Manchester

2016, 16 Jan - 17 Jan, Ninth Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic,

2015, 07 Jul, Future Directions in Model Theory and Analytic Functions, Manchester

2015, 16 May - 17 May, Wyclif and the Realist Tradition in 14th-Century Logic, St Andrews

2015, 22 Apr - 24 Apr, progic 2015: The Seventh Workshop on Combining Probability and Logic,

2015, 30 Mar - 31 Mar, The 4th Reasoning Club Meeting, Manchester

2015, 17 Jan - 18 Jan, Eigth Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic,

2015, 07 Jan - 09 Jan, British Postgraduate Model Theory Conference (BPGMT), Oxford

2014, 27 Jul - 29 Jul, The Philosophy of E. J. Lowe: A memorial conference,

2014, 07 Jun - 09 Jun, Logic, Grammar and Meaning, University of East Anglia

2014, 15 May - 16 May, Algebra and co-algebra meet Proof Theory (ALCOP), Queen Mary UoL

2013, 15 Nov - 17 Nov, 17th Oxford Graduate Philosophy Conference, Oxford

2013, 25 Jul, Arabic foundations of Science, Manchester

2013, 16 Jul, The Viability of Metaphysics, Durham

2013, 26 Jun - 30 Jun, Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2013), Gregynog (Swansea)

2013, 25 Jun - 27 Jun, British Postgraduate Philosophy Association annual conference,

2013, 11 Apr - 12 Apr, 20th Automated Reasoning Workshop 2013, Dundee

2013, 19 Jan - 20 Jan, 6th Cambridge Graduate Conference on Philosophy of Logic and Mathematics,

2013, 16 Jan - 18 Jan, 3rd British Postgraduate Model theory Conference, Manchester

2013, 04 Jan - 06 Jan, 2nd British Postgraduate Model Theory Conference, Oxford

2012, 18 Sep - 19 Sep, Logical Form, Cambridge

2012, 17 Sep - 21 Sep, 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13), Cambridge

2012, 03 Sep - 06 Sep, British Postgraduate Philosophy Association annual conference, Edinburgh

2012, 12 Jul - 18 Jul, Logic Colloquium 2012, Manchester

2012, 10 Jul - 12 Jul, Foundations of Mathematics: What are they and what are they for?, Cambridge

2012, 12 Jun - 17 Jun, Duality theory in algebra, logic, and computer science, Oxford

2012, 02 Jun - 03 Jun, British Undergraduate Philosophy Society, Leeds

2012, 02 Apr - 04 Apr, 19th Automated Reasoning Workshop, Manchester

2011, 18 Nov - 19 Nov, Computational Logic Workshop in honour of Roy Dyckhoff, St. Andrews

2011, 22 Sep - 25 Sep, British Postgraduate Philosophy Association annual conference, Reading

2011, 05 Sep - 07 Sep, Domains X, Swansea

2011, 29 Aug - 01 Sep, CALCO 2011 (4th International Conference on Algebra and Coalgebra in Computer Science), Southampton

2010, 11 Jun - 14 Jun, Conference on Foundations of Logical Consequence, St Andrews

2010, 28 Mar - 01 Apr, Midlands Graduate School in the Foundations of Computing Science, Sheffield

2010, 25 Mar - 28 Mar, Geometric Model Theory. Oxford,

2009, 03 Aug - 06 Aug, Logic and Mathematics York,

2008, 19 Sep - 21 Sep, Mathematical Methods in Philosophy. Bristol,

2007, 05 Sep - 07 Sep, The Third Workshop on Combining Probability and Logic. Progic'07, University of Canterbury, Canterbury

2007, 05 Aug - 08 Aug, Algebraic and Topological Methods in Non-classical Logics III (TANCL'07). Oxford,

2007, 20 Apr, Set theory and its neighbours, 15: Analysis and set theory II, London

2007, 13 Apr - 14 Apr, Workshop on Proof Theory, Computation and Complexity (PCC’07), Swansea

2006, 29 Aug - 01 Sep, Relations and Kleene Algebra in Computer Science (RelMiCS/AKA 2006), Manchester

2006, 30 Jun - 05 Jul, Computability in Europe, Swansea

2006, 03 Apr - 04 Apr, Workshop on Autmated Reasoning, Bristol

2006, 25 Mar - 26 Mar, Truth and proof. Edinburgh,

2005, 03 Sep - 05 Sep, BIG Set Theory meeting, Bristol

2005, 22 Aug - 25 Aug, Computer Science Logic 2005 (CSL'05), Oxford

2005, 29 Jul - 30 Jul, Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice (with IJCAI 2005), School of Informatics, University of Edinburgh, Edinburgh

2004, 15 Nov, 6th de Morgan Workshop on Logic and Law, Kings College London, London

2004, 06 Nov - 07 Nov, 8th Annual Oxford Philosophy Graduate Conference, University of Oxford

2004, 09 Sep - 11 Sep, Advances in Modal Logic (AiML), Manchester

2004, 05 Jun, Turing Meeting, Manchester

2003, 03 Nov - 05 Nov, 5th Augustus de Morgan Workshop, Kings College, London

2003, 11 Apr - 12 Apr, Groups and Model Theory, Leeds

2003, 27 Mar, Computing and Philosophy, University of Glasgow, Glasgow

2002, 04 Nov - 06 Nov, Combining Probability and Logic, King's College London

2002, 27 May - 31 May, Euro-Conference in Model Theory and Applications Ravello,

2000, 06 Aug - 17 Aug, 12th European Summer School in Logic, Language and Information, Birmingham

1999, 11 Feb - 13 Feb, Proof theory, Leeds

1999, 07 Jan, Finite model theory and set theory, London Mathematical Society, London