Британский коллоквиум по логике ⇐ Васина Википедия

[wiki_en]

Британский коллоквиум по логике (BLC) — это зарегистрированная благотворительная организация, основанная в 1977 году, которая представляет интересы Logic в Великобритании с целью продвижения формальной и математической логики. и предметы, связанные с формальной и математической логикой.
BLC действует под руководством комитета, исполнительный орган которого состоит из президента, вице-президента, секретаря и казначея. Нынешний президент - Джонатан Кирби.

Целью BLC является:
# для поддержки, продвижения и содействия изучению логики. # поощрять общение логиков разных дисциплин в Великобритании. # для оказания финансовой поддержки конференциям, семинарам, летним школам и исследовательским визитам, связанным с логикой, по всей Великобритании. # провести ежегодное собрание с докладами по логике в математике, философии и информатике.
Для достижения этих целей BLC организует ежегодную конференцию для исследователей логики. Центральным аспектом ежегодной конференции BLC является семинар для аспирантов, а поддержка аспирантов является ключевым критерием при предоставлении финансирования. В рамки ежегодной конференции BCTCS входят все аспекты логики, включая математическую логику, логику в информатике, философскую логику и историю логики. Чтобы представить широту логики в Великобритании, BLC всегда активно привлекает участников из всех вышеперечисленных областей, чтобы предложить среду, в которой члены различных логических сообществ могут встречаться и обмениваться идеями.

==История BLC==
BLC вырос из неформальных встреч логиков, впервые организованных Артуром Прайором в 1950-х годах. Эти встречи были впервые официально оформлены в 1965 году, а BLC был зарегистрирован как благотворительная организация в 1978 году.
==Бывшие офицеры БЛК==
===Президенты===
# Робин Ганди
# Джон Шепердсон
# Уилфрид Ходжес
# Стэн Уэйнер
# Джефф Пэрис (математик)|Джефф Пэрис (2005–2007)
# Мартин Хайланд (2008–2013)
# Дугалд Макферсон (2014-2017)
# Филип Уэлч (2017–2022)
# Джонатан Кирби (2023-)

===Вице-президенты===
# Мартин Хайланд (2005–2007)
# Профессор Уильямсон (2008-2013)
# Филип Уэлч (2014–2016)
# Фолькер Хальбах (2017-2022)
# Сара Л. Акельман (2023-)

===Секретари===
# Доктор Джамоня (2005-2007)
# Наташа Алечина (2008-2013)
# Пауло Олива (2014-2022)
# Пол Шафер (2023-)

===Казначеи===
# Рой Дайкхофф (-2005)
# Дугалд Макферсон (2005–2012)
# Шарлотта Кестнер (2014–2022)
# Йоханнес Штерн (2023-)

==Конференции BLC==
1996 г., Ежегодное собрание BLC, Оксфордский университет, 5–6 июля 1996 г.

1997, Ежегодное собрание BLC (совместно с коллоквиумом 97 по логике - Европейской летней встречей Ассоциации символической логики | ASL), Университет Лидса, 6–13 июля 1997 г.

1998 г., Ежегодное собрание BLC, Кембриджский университет, 21–22 сентября 1998 г.

1999 г., Ежегодное собрание BLC, Университет Грегиног, 23–25 сентября 1999 г.

2000 г., Ежегодное собрание BLC, Нориджский университет, 7–9 сентября 2000 г.

2001 г., Ежегодное собрание BLC, Манчестерский университет, 6–8 сентября 2001 г.

2002 г., Ежегодное собрание BLC, Бирмингемский университет, 12–14 сентября 2002 г.

2003 г., Ежегодное собрание BLC, Университет Сент-Эндрюс, 3–6 сентября 2003 г.

2004 г., Ежегодное собрание BLC, Университет Лидса, 6–8 сентября 2004 г. (Организатор: Дугалд Макферсон.)

2005 г., Ежегодное собрание BLC, Бристольский университет, 1–3 сентября 2005 г.

2006 г., Ежегодное собрание BLC, Оксфордский университет, 7–9 сентября 2006 г.

2007 г., Ежегодное собрание BLC, Лондон, 6–8 сентября 2007 г.

2008 г., Ежегодное собрание BLC, Ноттингемский университет, 4–6 сентября 2008 г.

2009 г., Ежегодное собрание BLC, Университет Суонси, 3–5 сентября 2009 г.

2010 г., Ежегодное собрание BLC, Бирмингемский университет, 2–4 сентября 2010 г.

2012 г., Ежегодное собрание BLC (совместно с коллоквиумом Logic 2012 - Европейской летней встречей Ассоциации символической логики | ASL), Манчестерский университет, 12–18 июля 2012 г.

2013 г., Ежегодное собрание BLC, Университет Лидса, 5–7 сентября 2013 г.

2014 г., Ежегодное собрание BLC, Университет Центрального Ланкашира, 3–5 сентября 2014 г.

2015, Ежегодное собрание BLC, Институт Ньютона, Кембридж, 1–4 сентября 2015 г.

2016, Ежегодное собрание BLC, Форум по информатике, Эдинбург, 6–9 сентября 2016 г.

2017, [https://www.sussex.ac.uk/blc17/ Ежегодное собрание BLC и День PhD], Университет Сассекса, 7–9 сентября 2017 г. (Организаторы: Панчо Элиотт, Василис Климис, Ибэй Ли (День доктора философии))

2019, Ежегодное собрание BLC, Оксфордский университет, 6–7 сентября 2019 г.

2021 г., Ежегодное собрание BLC и День доктора философии, Даремский университет (онлайн), 2–3 сентября 2021 г. (организатор: Сара Л. Акельман)

2023 г., Ежегодное собрание BLC, Бристольский университет.

==См. также==
* Британский коллоквиум по теоретической информатике

*[https://blc-logic.org/ Веб-сайт Британского коллоквиума Logic]

Организации формальных методов
Организации, основанные в 1977 году
Научные общества Соединенного Королевства
Наука и технологии в Соединенном Королевстве
Теоретическая информатика
1977 г. заведений в Великобритании