БКС-FACS
Формальные аспекты BCS информатики | |
 | |
| Аббревиатура | FACS |
|---|---|
| Назван в честь | Формальные методы |
| Формирование | 16 марта 1978 г |
| Тип | Группа специалистов |
| Цель | Поддержка формальных методов деятельности, особенно встреч |
| Штаб-квартира | БКС Лондонский офис |
| Расположение | |
Обслуживаемый регион | Великобритания |
| Услуги | Организация встреч, публикации |
| Методы | Формальные методы |
| Поля | Информатика , программная инженерия , формальные методы. |
Официальный язык | Английский |
Стул | Джонатан Боуэн |
Казначей | Джон Кук |
Секретарь | Роджер Карсли |
Ключевые люди | Тим Денвир , Джавед Сиддики |
Главный орган | ФАКТЫ О ФАКС |
Головная организация | BCS, Сертифицированный институт информационных технологий |
| Принадлежности | Формальные методы Европа ; Лондонское математическое общество |
| Веб-сайт | facs.bcs.org |
BCS-FACS — это группа специалистов BCS по формальным аспектам информатики .
Обзор
[ редактировать ]Группа FACS, созданная 16 марта 1978 г. [1] организует встречи для своих членов и других лиц по формальным методам и связанным с ними темам информатики . Существует связанный с ним журнал Formal Aspects of Computing , издаваемый Springer , и более неформальный информационный бюллетень FACS FACTS . [2]
Группа отпраздновала свое 20-летие встречей в Королевском обществе в Лондоне в 1998 году с докладами четырех выдающихся ученых-компьютерщиков: Майка Гордона , Тони Хоара , Робина Милнера и Гордона Плоткина , членов Королевского общества .
С 2002 по 2008 год и снова с 2013 года председателем BCS-FACS был Джонатан Боуэн . Джавед Сиддики был председателем в 2008–2013 годах. В декабре 2002 года BCS-FACS организовал конференцию по формальным аспектам безопасности (FASec'02). [3] в Ройял Холлоуэй , Лондонский университет . [4] В 2004 году FACS организовала крупное мероприятие в Лондонском университете Саут-Бэнк, чтобы отпраздновать свое 25-летие, а также 25-летие CSP (CSP25). [5] присутствовал создатель CSP сэр Тони Хоар и другие специалисты в этой области. [6]
Группа поддерживает связь с другими смежными группами, такими как Центр надежности программного обеспечения , Формальные методы Европы , Компьютерный комитет Лондонского математического общества , Клуб критически важных систем безопасности и пользователей Z. Группа Он провел совместные встречи с другими группами специалистов BCS, такими как Группа продвинутого программирования и BCSWomen .
FACS спонсирует и поддерживает такие встречи, как семинар по усовершенствованию. [7] Ежегодно здесь часто проводятся рождественские мероприятия, темы которых связаны с формальными аспектами вычислений — например, обучение формальным методам. [8] и формальные методы в промышленности. [9] BCS-FACS поддержала конференцию ABZ 2008 в помещении BCS в Лондоне. [10] В 2015 году FACS провела двухдневный семинар ProCoS по «Доказуемо корректным системам», в котором приняли участие многие бывшие члены проектов ESPRIT ProCoS I и II и рабочей группы 1990-х годов. [11]
Вечерние семинары
[ редактировать ]
В последние годы была проведена серия вечерних семинаров, в основном в лондонском офисе BCS. Среди докладчиков были ведущие ученые-компьютерщики, в основном из Великобритании , но некоторые из-за границы, в том числе Самсон Абрамски, ФРС , Жан-Раймон Абриаль ( Франция / Швейцария ), Фархад Арбаб , Трой Астарте, Динес Бьернер (Дания), Робин Блумфилд , Ричард Борнат ( дважды), Эгон Бёргер ( Италия ), Джонатан Боуэн , Ян Броэнинк ( Нидерланды ), Майкл Батлер , Маффи Колдер ОБЕ (дважды), Джек Коупленд ( Новая Зеландия ), Тим Денвир , Седрик Фурне (Франция), Майк Гордон ФРС , Энтони Холл , Марк Харман , Мартин Хенсон , Роб Хиеронс , Джейн Хиллстон , Майк Хинчи , Сэр Тони Хоар, FRS , Майк Холкомб , Майкл Джексон , Клифф Джонс , Марта Квятковска (дважды), Чжимин Лью , Том Майбаум , Урсула Мартин CBE , Питер Моссес , Бен Мошковски , Питер О'Хирн, ФРС , Стив Ривз (Новая Зеландия), Джон Рейнольдс (США), Питер Райан , Стив Шнайдер , Джо Стой , Дэвид Тернер , Джон Такер , Фил Уодлер и другие.В 2010 году была опубликована книга глав, основанная на некоторых из этих выступлений. [13] Переговоры проводились ежегодно с организацией Formal Methods Europe и Лондонским математическим обществом (в штаб-квартире LMS в центре Лондона). С 2010 года каждый декабрь проводится ежегодный семинар Питера Лэндина по семантике в память о британском ученом-компьютерщике Питере Лэндине (1930–2009). [14]
Информационный бюллетень FACS FACTS
[ редактировать ]Информационный бюллетень FACS FACTS ( ISSN 0950-1231 ) периодически публикуется, первоначально на бумаге, а теперь и в Интернете. [2] Редакторы — Тим Денвир и Брайан Монахан. [15]
FX Reid был постоянным автором информационного бюллетеня FACS FACTS в прошлом . Например, он был энтузиастом заявления COMEFROM и экспертом по его семантике. [16] Судя по всему, сообщения о смерти FXR в 2006 году. [17] были ложью, и после этого его размышления продолжились в информационном бюллетене.
См. также
[ редактировать ]- Британское компьютерное общество
- Формальные методы
- Формальные методы Европы (FME)
- Лондонское математическое общество
Ссылки
[ редактировать ]- ^ Кук, диджей; Симпсон, Д. (апрель 1990 г.). «ФАКС в десять». ФАКТЫ FACS : Информационный бюллетень BCS FormalAspects of Computing Science SG . Серия II. 1 (1): 4–6.
- ^ Перейти обратно: а б «Предыдущие выпуски FACS FACTS» . БКС-ФАКС . Проверено 3 августа 2022 г.
- ^ «Конференция FASec'02» . Архив.орг . Лондонский университет Саут-Бэнк . 2002. Архивировано из оригинала 27 сентября 2007 года.
- ^ Али Э. Абдалла, Питер Райан и Стив Шнайдер (редакторы), Формальные аспекты безопасности . Спрингер , Конспект лекций по информатике , том 2629, 2003 г. ISBN 3-540-20693-0 .
- ^ «Конференция CSP25» . Архив.орг . Лондонский университет Саут-Бэнк . 2004. Архивировано из оригинала 8 октября 2007 года.
- ^ Али Э. Абдалла, Клифф Б. Джонс и Джефф В. Сандерс (редакторы), Коммуникация последовательных процессов: первые 25 лет . Спрингер , Конспект лекций по информатике , том 3525, 2005 г. ISBN 3-540-25813-2 .
- ^ Джон Деррик, Эрке Бойтен, Джим Вудкок и Йоаким фон Райт (редакторы), REFINE 2002: Семинар по усовершенствованию BCS FACS . Электронные заметки по теоретической информатике , 70 (3). Издательство Elsevier Science , июль 2002 г.
- ^ Пол Бока, Джонатан П. Боуэн и Дэвид А. Дуче (редакторы), Формальные методы преподавания: практика и опыт , BCS Лондон, Великобритания, 15 декабря 2006 г. Электронные семинары по вычислительной технике (eWiC), BCS, 2006.
- ^ Пол Бока, Джонатан П. Боуэн и Питер Горм Ларсен (редакторы), Рождественский семинар FACS 2007: Формальные методы в промышленности , BCS Лондон, Великобритания, 17 декабря 2007 г. Электронные семинары по вычислительной технике (eWiC), BCS, 2007.
- ^ «Конференция АБЗ 2008» . Сентябрь 2008 г. Архивировано из оригинала 18 января 2008 г. Проверено 25 августа 2017 г.
- ^ Хинчи, Майкл Г .; Боуэн, Джонатан П .; Ольдерог, Эрнст-Рюдигер , ред. (2017). Доказуемо правильные системы . Монографии НАСА по системной и программной инженерии. Спрингер . ISBN 978-3319486277 .
- ^ «Ежегодный семинар Питера Ландина по семантике» . БКС-ФАКС . Лондон, Великобритания: BCS. 6 декабря 2010 г. Архивировано из оригинала 6 марта 2012 г.
- ^ Бока, Пол; Боуэн, Джонатан П.; Сиддики, Джавед, ред. (2010). Формальные методы: современное состояние и новые направления . Лондон: Springer-Verlag . Бибкод : 2010fmso.book.....B . дои : 10.1007/978-1-84882-736-3 . ISBN 978-1-84882-735-6 . и- ISBN 978-1-84882-736-3 .
- ^ «Ежегодный семинар Питера Ландина по семантике BCS FACS» . БКС-ФАКС . Британское компьютерное общество . 2012 . Проверено 4 декабря 2012 г.
- ^ «FACS: Комитет и контактные данные» . БКС . Проверено 25 января 2021 г.
- ^ Рид, FX (март 2006 г.). «О формальной семантике заявления COMEFROM» (PDF) . ФАКТЫ ФАКС . № 2006–1. БКС-ФАКС. стр. 18–20 . Проверено 7 ноября 2012 г.
- ^ Земантика, Виктор (март 2006 г.). «Некролог: FX Reid» (PDF) . ФАКТЫ ФАКС . № 2006–1. БКС-ФАКС. стр. 12–14 . Проверено 7 ноября 2012 г.