Специалистская группа BCS по формальным аспектам вычислительной техники

Введение

Специалистская группа BCS

BCS FACS — это Специалистская группа BCS по формальным аспектам информатики (Formal Aspects of Computing Science).

Обзор

Группа FACS, основанная 16 марта 1978 года, организует встречи для своих членов и других заинтересованных лиц по формальным методам и смежным областям информатики. При группе издается журнал Formal Aspects of Computing, публикуемый Springer, и более неформальный информационный бюллетень FACS FACTS. В 1998 году группа отметила свое 20-летие встречей в Королевском обществе в Лондоне, на которой выступили четыре выдающихся ученых-компьютерщика – Майк Гордон, Тони Хоар, Робин Милнер и Гордон Плоткин, все являющиеся членами Королевского общества. С 2002 по 2008 год и с 2013 года председателем BCS FACS является Джонатан Боуэн. Джавед Сиддики занимал должность председателя в период с 2008 по 2013 год. В декабре 2002 года BCS FACS организовала конференцию по формальным аспектам безопасности (FASec'02) в Royal Holloway, Лондонский университет. В 2004 году FACS организовала крупное мероприятие в Лондонском университете Южного берега в честь своего 25-летия и 25-летия CSP (CSP25), в котором принял участие создатель CSP сэр Тони Хоар и другие специалисты в этой области. Группа поддерживает связь с другими смежными группами, такими как Центр обеспечения надежности программного обеспечения, Formal Methods Europe, Компьютерный комитет Лондонского математического общества, Клуб систем, критичных к безопасности, и Группа пользователей Z. Она проводила совместные встречи с другими специализированными группами BCS, такими как Группа продвинутого программирования и BCSWomen. FACS спонсирует и поддерживает проведение встреч, таких как Рефинирующий семинар (Refinement Workshop). Ежегодно группа часто проводит рождественское мероприятие, посвященное формальным аспектам вычислительной техники, например, обучению формальным методам и применению формальных методов в промышленности. BCS FACS оказала поддержку конференции ABZ 2008, проходившей в помещениях BCS в Лондоне. В 2015 году FACS организовала двухдневный семинар ProCoS на тему «Доказуемо корректные системы», в котором приняли участие многие бывшие члены проектов ESPRIT ProCoS I и II, а также Рабочей группы 1990-х годов.

Вечерние семинары

В последние годы проводилась серия вечерних семинаров, главным образом в лондонском офисе BCS. Среди докладчиков были ведущие ученые-компьютерщики, в основном из Соединенного Королевства, но также и из-за рубежа, включая Самсона Абрамского FRS, Жана Рэймонда Абриала (Франция/Швейцария), Фархада Арбаба, Троя Астарта, Динеса Бьёрнера (Дания), Робина Блумфилда, Ричарда Борната (дважды), Эгона Бёргера (Италия), Джонатана Боуэна, Яна Брунинка (Нидерланды), Майкла Батлера, Мюффи Кальдера OBE (дважды), Джека Копленда (Новая Зеландия), Тима Денвира, Седрика Фурне (Франция), Майка Гордона FRS, Энтони Холла, Марка Хармана, Мартина Хенсона, Роба Иеронса, Джейн Хиллстон, Майка Хинчи, сэра Тони Хоаре FRS, Майка Холмбека, Майкла Джексона, Клиффа Джонса, Марту Квятковскую (дважды), Чжимина Лю, Тома Майбаума, Урсулу Мартин CBE, Питера Моссеса, Бена Мошковиски, Питера О’Херна FRS, Стива Ривза (Новая Зеландия), Джона Рейнольдса (США), Питера Райана, Стива Шнайдера, Джо Стоу, Дэвида Тернера, Джона Такера, Фила Уодлера и многих других. В 2010 году была опубликована книга, состоящая из глав, основанных на некоторых из этих докладов. Семинары проводились ежегодно совместно с Formal Methods Europe и Лондонским математическим обществом (в штаб-квартире LMS в центре Лондона). С 2010 года ежегодно в декабре проводится Семинар по семантике имени Питера Лэндина, посвященный памяти британского ученого-компьютерщика Питера Лэндина (1930–2009).

Информационный бюллетень FACS FACS

Информационный бюллетень FACS FACTS публикуется периодически, изначально в печатном виде, а теперь онлайн. Ф. Х. Рид в прошлом был постоянным автором информационного бюллетеня FACS FACTS. Например, он был большим поклонником оператора COMEFROM и экспертом в области его семантики. По-видимому, сообщения о смерти Ф.Х.Р. в 2006 году оказались неверными, и его заметки продолжали появляться в бюллетене и после этого.