Jump to content

British Logic Colloquium

From Wikipedia, the free encyclopedia
British Logic Colloquium
Formation1977; 47 years ago (1977)
TypeCharity
Region
United Kingdom
President
Jonathan Kirby
Websitehttps://blc-logic.org/

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.[1][2]

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

[edit]

The purpose of the BLC is:

  1. to support, promote, and foster the study of logic.[3]
  2. to encourage the communication of logicians across disciplines within the UK.[3]
  3. to provide financial support for logic-related conferences, workshops, summer schools, and research visits across the UK.[4]
  4. to hold an Annual Meeting with talks on logic in mathematics, philosophy and computer science.[1]

Activities

[edit]

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,[5] and members of the BLC are entitled to reduced subscription rates to the journal History and Philosophy of Logic.[6]

History of the BLC

[edit]

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.[1][7][8][9]

Past officers of the BLC

[edit]

Presidents

[edit]
  1. Robin Gandy
  2. John Shepherdson
  3. Wilfrid Hodges[10]
  4. Stan Wainer
  5. Jeff Paris (2005–2007)
  6. Martin Hyland (2008–2013)
  7. Dugald Macpherson (2014–2016)
  8. Philip Welch (2017–2022)
  9. Jonathan Kirby (2023-)

Vice-presidents

[edit]
  1. Martin Hyland (2005–2007)
  2. Prof Williamson (2008–2013)
  3. Philip Welch (2014–2016)
  4. Volker Halbach (2017–2022)
  5. Sara L. Uckelman (2023-)

Secretaries

[edit]
  1. David Miller (1999)[11]
  2. Mirna Džamonja (2005–2007)[12]
  3. Natasha Alechina (2008–2013)
  4. Paulo Oliva (2014–2022)
  5. Paul Shafer (2023-)

Treasurers

[edit]
  1. Roy Dyckhoff (-2005)
  2. Dugald Macpherson (2005–2012)
  3. Charlotte Kestner (2014–2022)
  4. Johannes Stern (2023-)

BLC Conferences

[edit]

Source:[13]

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[14] 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ć[15]
2021 Durham University Durham England 2 - 3 September held online[16]

See also

[edit]

References

[edit]
  1. ^ a b c Charity Commission for England and Wales. "THE BRITISH LOGIC COLLOQUIUM - Charity 275541". Register of Charities. GOV.UK. Retrieved 2024-04-27.
  2. ^ "Mapping the Arts and Humanities". Mapping the Arts and Humanities. Humanities.org. Retrieved 2024-05-02.
  3. ^ a b "British Logic Colloquium: Aims". British Logic Colloquium. Retrieved 2024-04-27.
  4. ^ "British Logic Colloquium: Activities". British Logic Colloquium. Retrieved 2024-04-27.
  5. ^ "Internet Resources: Philosophy: Logic, Philosophy of Mathematics, Philosophy of Science". University Libraries. Virginia Tech. Retrieved 2024-05-02.
  6. ^ "Society Information". History and Philosophy of Logic. Taylor and Francis Online. Retrieved 2024-05-02.
  7. ^ "British Logic Colloquium: History". British Logic Colloquium. Retrieved 2024-04-27.
  8. ^ Moschovakis and Mike Yates, Yiannis (1996). "In Memoriam: Robin Oliver Gandy, 1919-1995". The Bulletin of Symbolic Logic. 2 (3): 368. Retrieved 2024-05-02.
  9. ^ "Notices". The Bulletin of Symbolic Logic. 21 (4): 496. 2015. Retrieved 2024-05-02.
  10. ^ "Wilfrid Hodges". Gresham College. Gresham College. Retrieved 2024-05-02.
  11. ^ Miller, David (1999). "Being an Absolute Skeptic". Science. 284 (5420): 1625. Retrieved 2024-05-02.
  12. ^ "Author Profile: Mirna Džamonja". Philosophical Transactions: Mathematical, Physical and Engineering Sciences. 364 (1849): 3182. 2006. Retrieved 2024-05-02.
  13. ^ "British Logic Colloquium". blc-logic.org. Retrieved 2024-09-18.
  14. ^ "British Logic Colloquium 2007". www.dcs.bbk.ac.uk. Archived from the original on 27 March 2007.
  15. ^ "blc2019". sites.google.com. 2019. Archived from the original on 22 April 2021.
  16. ^ "British Logic Colloquium". blc-logic.org. Retrieved 2024-09-18.
[edit]