# British Logic Colloquium

The British Colloquium for Logic (BLC) is registered charity, founded in 1977, with an aim for promoting formal and mathematical logic, and subjects related to formal and mathematical logic in the UK.
The BLC operates under the direction of a committee, with an executive consisting of a president, vice-president, secretary, and treasurer. The current president is Jonathan Kirby.

## Purpose

The purpose of the BLC is:
* to support, promote, and foster the study of logic.
* to encourage the communication of logicians across disciplines within the UK.
* to provide financial support for logic-related conferences, workshops, summer schools, and research visits across the UK.
* to hold an Annual Meeting with talks on logic in mathematics, philosophy and computer science.

## Activities

In pursuit of these aims, the BLC organises an annual conference for researchers in logic. A central aspect of the annual BLC Conference is a workshop for PhD students, and support for PhD students is a key criterion in the awarding of funding. The scope of the annual BCTCS Conference includes all aspects of logic, including mathematical logic, logic in computer science, philosophical logic, and the history of logic. To represent the breadth of logic within the UK, the BLC always actively solicits participants from all of the above areas to offer an environment where members of the various logical communities can meet and exchange ideas.
Additionally, the BLC provides resources, to both members and non-members, relating to logic in all its forms, and members of the BLC are entitled to reduced subscription rates to the journal History and Philosophy of Logic.

## History of the BLC

The BLC grew out of informal meetings of logicians first arranged by Arthur Prior in the 1950s. These meetings were first formalized in 1965, by Robin Gandy and John Shepherdson. The BLC was registered as a charity in 1978.

## Past officers of the BLC
### Presidents

* Robin Gandy
* John Shepherdson
* Wilfrid Hodges
* Stan Wainer
* Jeff Paris (2005–2007)
* Martin Hyland (2008–2013)
* Dugald Macpherson (2014–2016)
* Philip Welch (2017–2022)
* Jonathan Kirby (2023-)

### Vice-presidents

* Martin Hyland (2005–2007)
* Prof Williamson (2008–2013)
* Philip Welch (2014–2016)
* Volker Halbach (2017–2022)
* Sara L. Uckelman (2023-)

### Secretaries

* David Miller (1999)
* Mirna Džamonja (2005–2007)
* Natasha Alechina (2008–2013)
* Paulo Oliva (2014–2022)
* Paul Shafer (2023-)

### Treasurers

* Roy Dyckhoff (-2005)
* Dugald Macpherson (2005–2012)
* Charlotte Kestner (2014–2022)
* Johannes Stern (2023-)

## BLC Conferences

Source:
| Year | Venue | City/Town | Country | Dates | Notes |
| 1996 | University of Oxford | Oxford | England | 5 - 6 July | |
| 1997 | University of Leeds | Leeds | England | 6 - 13 July | |
| 1998 | University of Cambridge | Cambridge | England | 21 - 22 September | |
| 1999 | Gregynog University | Gregynog | Wales | 23 - 25 September | |
| 2000 | University of East Anglia | Norwich | England | 7 - 9 September | |
| 2001 | University of Manchester | Manchester | England | 6 - 8 September | |
| 2002 | University of Birmingham | Birmingham | England | 12 - 14 September | |
| 2003 | University of St Andrews | St Andrews | Scotland | 3 - 6 September | |
| 2004 | University of Leeds | Leeds | England | 6 - 8 September | |
| 2005 | University of Bristol | Bristol | England | 1 - 3 September | |
| 2006 | University of Oxford | Oxford | England | 7 - 9 September | |
| 2007 | De Morgan House, Hardy Room | London | England | 6 - 8 September | |
| 2008 | University of Nottingham | Nottingham | England | 4 - 6 September | |
| 2009 | Swansea University | Swansea | Wales | 3 - 5 September | |
| 2010 | University of Birmingham | Birmingham | England | 2 - 4 September | |
| 2012 | University of Manchester | Manchester | England | 12 - 18 July | |
| 2013 | University of Leeds | Leeds | England | 5 - 7 September | |
| 2014 | University of Central Lancashire | Preston | England | 3 - 5 September | |
| 2015 | Isaac Newton Institute | Cambridge | England | 1 - 4 September | |
| 2016 | Informatics Forum | Edinburgh | Scotland | 6 - 9 September | |
| 2017 | University of Sussex | Brighton and Hove | England | 7 - 9 September | |
| 2019 | University of Oxford | Oxford | England | 6 - 7 September | organized by Jochen Koenigsmann, Jonathan Pila, Volker Halbach, and Sebastian Eterović |
| 2021 | Durham University | Durham | England | 2 - 3 September | held online |