Sara Uckelman: /* BLC Conferences */
The '''British Colloquium for Logic''' ('''[[BLC]]''') is registered charity, founded in 1977, that represents the interests of [[Logic]] in the UK, with an aim for promoting formal and mathematical logic, and subjects related to formal and mathematical logic.<ref>{{cite web |last1=Charity Commission for England and Wales |url=https://register-of-charities.chari...rch/-/charity-details/275541/charity-overview |website=Register of Charities |publisher=GOV.UK |access-date=2024-04-27}}</ref>
The BLC operates under the direction of an Committee, with an Executive consisting of a President, Vice-President, Secretary, and Treasurer. The current President is [[Jonathan Kirby]].
The purpose of the BLC is:
# to support, promote, and foster the study of [[logic]].<ref>{{cite web |title=British Logic Colloquium: Aims |url=https://blc-logic.org/ |website=British Logic Colloquium |access-date=2024-04-27}}</ref>
# to encourage the communication of logicians across disciplines within the UK.<ref>{{cite web |title=British Logic Colloquium: Aims |url=https://blc-logic.org/ |website=British Logic Colloquium |access-date=2024-04-27}}</ref>
# to provide financial support for logic-related conferences, workshops, summer schools, and research visits across the UK.<ref>{{cite web |title=British Logic Colloquium: Activities |url=https://blc-logic.org/ |website=British Logic Colloquium |access-date=2024-04-27}}</ref>
# to hold an Annual Meeting with talks on logic in mathematics, philosophy and computer science.<ref>{{cite web |last1=Charity Commission for England and Wales |url=https://register-of-charities.chari...rch/-/charity-details/275541/charity-overview |website=Register of Charities |publisher=GOV.UK |access-date=2024-04-27}}</ref>
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.
==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, and the BLC was registered as a charity in 1978.<ref>{{cite web |title=British Logic Colloquium: History |url=https://blc-logic.org/ |website=British Logic Colloquium |access-date=2024-04-27}}</ref><ref>{{cite web |last1=Charity Commission for England and Wales |url=https://register-of-charities.chari...rch/-/charity-details/275541/charity-overview |website=Register of Charities |publisher=GOV.UK |access-date=2024-04-27}}</ref>
==Past officers of the BLC==
===Presidents===
# [[Robin Gandy]]
# [[John Shepherdson]]
# [[Wilfrid Hodges]]
# [[Stan Wainer]]
# [[Jeff Paris (mathematician)|Jeff Paris]]
# [[Martin Hyland]]
# [[Dugald MacPherson]]
# [[Philip Welch]] (2017-2022)
# [[Jonathan Kirby]] (2023-)
===Vice-Presidents===
# [[Volker Halbach]] (-2022)
# [[Sara L. Uckelman]] (2023-)
===Secretaries===
# [[Paulo Oliva]] (-2022)
# Paul Shafer (2023-)
===Treasurers===
# Charlotte Kestner (-2022)
# [[Johannes Stern]] (2023-)
==BLC Conferences==
1996, BLC Annual Meeting, [[Oxford University]], 05 Jul - 06 Jul, 1996
1997, BLC Annual Meeting (in conjunction with Logic Colloquium 97 - the [[Association for Symbolic Logic|ASL]] European Summer Meeting), [[Leeds University]], 06 Jul - 13 Jul, 1997.
1998, BLC Annual Meeting, [[Cambridge University]], 21 Sep - 22 Sep, 1998.
1999, BLC Annual Meeting, [[Gregynog University]], 23 Sep - 25 Sep, 1999.
2000, BLC Annual Meeting, [[Norwich University]], 07 Sep - 09 Sep, 2000.
2001, BLC Annual Meeting, [[Manchester University]], 06 Sep - 08 Sep, 2001.
2002, BLC Annual Meeting, [[Birmingham University]], 12 Sep - 14 Sep, 2002.
2003, BLC Annual Meeting, [[University of St Andrews]], 03 Sep - 06 Sep, 2003.
2004, BLC Annual Meeting, [[Leeds University]], 06 Sep - 08 Sep, 2004.
2005, BLC Annual Meeting, [[Bristol University]], 01 Sep - 03 Sep, 2005.
2006, BLC Annual Meeting, [[Oxford University]], 07 Sep - 09 Sep, 2006.
2007, BLC Annual Meeting, London, 06 Sep - 08 Sep, 2007.
2008, BLC Annual Meeting, [[University of Nottingham]], 04 Sep - 06 Sep, 2008.
2009, BLC Annual Meeting, [[University of Swansea]], 03 Sep - 05 Sep, 2009.
2010, BLC Annual Meeting, [[University of Birmingham]], 02 Sep - 04 Sep, 2010.
2012, BLC Annual Meeting (in conjunction with Logic Colloquium 2012 - the [[Association for Symbolic Logic|ASL]] European Summer Meeting), [[Manchester University]], 12 Jul - 18 Jul, 2012.
2013, BLC Annual Meeting, [[University of Leeds]], 05 Sep - 07 Sep, 2013.
2014, BLC Annual Meeting, [[University of Central Lancashire]], 03 Sep - 05 Sep, 2014.
2015, BLC Annual Meeting, [[Newton Institute]], Cambridge, 01 Sep - 04 Sep, 2015.
2016, BLC Annual Meeting, [[Informatics Forum]], Edinburgh, 06 Sep - 09 Sep, 2016.
2017, [https://www.sussex.ac.uk/blc17/ BLC Annual Meeting], [[University of Sussex]], 07 Sep - 09 Sep, 2017.
2019, BLC Annual Meeting, [[University of Oxford]], 06 Sep - 07 Sep, 2019.
2021, BLC Annual Meeting & PhD Day, Durham University (online), 2 Sep - 3 Sep, 2021 (Organiser: [[Sara L. Uckelman]])
2023, BLC Annual Meeting, Bristol University.
==See also==
* [[British Colloquium for Theoretical Computer Science]]
==External links==
*[https://blc-logic.org/ The British Colloquium for Logic website]
{{authority control}}
[[Category:Formal methods organizations]]
[[Category:Organizations established in 1977]]
[[Category:Learned societies of the United Kingdom]]
[[Category:Science and technology in the United Kingdom]]
[[Category:Theoretical computer science]]
[[Category:1977 establishments in the United Kingdom]]
Okumaya devam et...
The '''British Colloquium for Logic''' ('''[[BLC]]''') is registered charity, founded in 1977, that represents the interests of [[Logic]] in the UK, with an aim for promoting formal and mathematical logic, and subjects related to formal and mathematical logic.<ref>{{cite web |last1=Charity Commission for England and Wales |url=https://register-of-charities.chari...rch/-/charity-details/275541/charity-overview |website=Register of Charities |publisher=GOV.UK |access-date=2024-04-27}}</ref>
The BLC operates under the direction of an Committee, with an Executive consisting of a President, Vice-President, Secretary, and Treasurer. The current President is [[Jonathan Kirby]].
The purpose of the BLC is:
# to support, promote, and foster the study of [[logic]].<ref>{{cite web |title=British Logic Colloquium: Aims |url=https://blc-logic.org/ |website=British Logic Colloquium |access-date=2024-04-27}}</ref>
# to encourage the communication of logicians across disciplines within the UK.<ref>{{cite web |title=British Logic Colloquium: Aims |url=https://blc-logic.org/ |website=British Logic Colloquium |access-date=2024-04-27}}</ref>
# to provide financial support for logic-related conferences, workshops, summer schools, and research visits across the UK.<ref>{{cite web |title=British Logic Colloquium: Activities |url=https://blc-logic.org/ |website=British Logic Colloquium |access-date=2024-04-27}}</ref>
# to hold an Annual Meeting with talks on logic in mathematics, philosophy and computer science.<ref>{{cite web |last1=Charity Commission for England and Wales |url=https://register-of-charities.chari...rch/-/charity-details/275541/charity-overview |website=Register of Charities |publisher=GOV.UK |access-date=2024-04-27}}</ref>
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.
==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, and the BLC was registered as a charity in 1978.<ref>{{cite web |title=British Logic Colloquium: History |url=https://blc-logic.org/ |website=British Logic Colloquium |access-date=2024-04-27}}</ref><ref>{{cite web |last1=Charity Commission for England and Wales |url=https://register-of-charities.chari...rch/-/charity-details/275541/charity-overview |website=Register of Charities |publisher=GOV.UK |access-date=2024-04-27}}</ref>
==Past officers of the BLC==
===Presidents===
# [[Robin Gandy]]
# [[John Shepherdson]]
# [[Wilfrid Hodges]]
# [[Stan Wainer]]
# [[Jeff Paris (mathematician)|Jeff Paris]]
# [[Martin Hyland]]
# [[Dugald MacPherson]]
# [[Philip Welch]] (2017-2022)
# [[Jonathan Kirby]] (2023-)
===Vice-Presidents===
# [[Volker Halbach]] (-2022)
# [[Sara L. Uckelman]] (2023-)
===Secretaries===
# [[Paulo Oliva]] (-2022)
# Paul Shafer (2023-)
===Treasurers===
# Charlotte Kestner (-2022)
# [[Johannes Stern]] (2023-)
==BLC Conferences==
1996, BLC Annual Meeting, [[Oxford University]], 05 Jul - 06 Jul, 1996
1997, BLC Annual Meeting (in conjunction with Logic Colloquium 97 - the [[Association for Symbolic Logic|ASL]] European Summer Meeting), [[Leeds University]], 06 Jul - 13 Jul, 1997.
1998, BLC Annual Meeting, [[Cambridge University]], 21 Sep - 22 Sep, 1998.
1999, BLC Annual Meeting, [[Gregynog University]], 23 Sep - 25 Sep, 1999.
2000, BLC Annual Meeting, [[Norwich University]], 07 Sep - 09 Sep, 2000.
2001, BLC Annual Meeting, [[Manchester University]], 06 Sep - 08 Sep, 2001.
2002, BLC Annual Meeting, [[Birmingham University]], 12 Sep - 14 Sep, 2002.
2003, BLC Annual Meeting, [[University of St Andrews]], 03 Sep - 06 Sep, 2003.
2004, BLC Annual Meeting, [[Leeds University]], 06 Sep - 08 Sep, 2004.
2005, BLC Annual Meeting, [[Bristol University]], 01 Sep - 03 Sep, 2005.
2006, BLC Annual Meeting, [[Oxford University]], 07 Sep - 09 Sep, 2006.
2007, BLC Annual Meeting, London, 06 Sep - 08 Sep, 2007.
2008, BLC Annual Meeting, [[University of Nottingham]], 04 Sep - 06 Sep, 2008.
2009, BLC Annual Meeting, [[University of Swansea]], 03 Sep - 05 Sep, 2009.
2010, BLC Annual Meeting, [[University of Birmingham]], 02 Sep - 04 Sep, 2010.
2012, BLC Annual Meeting (in conjunction with Logic Colloquium 2012 - the [[Association for Symbolic Logic|ASL]] European Summer Meeting), [[Manchester University]], 12 Jul - 18 Jul, 2012.
2013, BLC Annual Meeting, [[University of Leeds]], 05 Sep - 07 Sep, 2013.
2014, BLC Annual Meeting, [[University of Central Lancashire]], 03 Sep - 05 Sep, 2014.
2015, BLC Annual Meeting, [[Newton Institute]], Cambridge, 01 Sep - 04 Sep, 2015.
2016, BLC Annual Meeting, [[Informatics Forum]], Edinburgh, 06 Sep - 09 Sep, 2016.
2017, [https://www.sussex.ac.uk/blc17/ BLC Annual Meeting], [[University of Sussex]], 07 Sep - 09 Sep, 2017.
2019, BLC Annual Meeting, [[University of Oxford]], 06 Sep - 07 Sep, 2019.
2021, BLC Annual Meeting & PhD Day, Durham University (online), 2 Sep - 3 Sep, 2021 (Organiser: [[Sara L. Uckelman]])
2023, BLC Annual Meeting, Bristol University.
==See also==
* [[British Colloquium for Theoretical Computer Science]]
==External links==
*[https://blc-logic.org/ The British Colloquium for Logic website]
{{authority control}}
[[Category:Formal methods organizations]]
[[Category:Organizations established in 1977]]
[[Category:Learned societies of the United Kingdom]]
[[Category:Science and technology in the United Kingdom]]
[[Category:Theoretical computer science]]
[[Category:1977 establishments in the United Kingdom]]
Okumaya devam et...