Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
BCS-FACS - это группа специалистов Британского компьютерного общества .

BCS-FACS - это группа специалистов BCS по формальным аспектам вычислительной науки .

Обзор [ править ]

Группа FACS, открытая 16 марта 1978 г. [1], организует встречи для своих членов и других лиц по формальным методам и связанным с ними темам информатики . Существует связанный журнал " Формальные аспекты вычислений" , издаваемый 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, такими как Advanced Programming Group и BCSWomen .

FACS спонсирует и поддерживает встречи, такие как семинар по усовершенствованию. [7] Он часто проводит рождественские мероприятия каждый год, посвященные формальным аспектам вычислений - например, обучению формальным методам [8] и формальным методам в промышленности. [9] BCS-FACS поддержал конференцию ABZ 2008 в помещении BCS в Лондоне. [10] В 2015 году FACS провела двухдневный семинар ProCoS по «Доказуемо корректным системам» с участием многих бывших членов проектов ESPRIT ProCoS I и II и Рабочей группы 1990-х годов. [11]

Вечерние семинары [ править ]

Джон С. Рейнольдс (1935–2013), американский ученый-компьютерщик, который провел первый семинар Питера Ландина по семантике BCS-FACS в 2010 г. [12]
Джо Стой рассказывает о пионере в области информатики Кристофере Стрейчи (1916–1975) в связи с его столетним юбилеем во время вечернего семинара BCS-FACS в лондонском офисе BCS 15 ноября 2016 года.

В последние годы был проведен ряд вечерних семинаров, в основном в лондонском офисе BCS. Среди спикеров были ведущие компьютерные ученые, в основном из Великобритании, но некоторые из них - из-за рубежа, в том числе Самсон Абрамски из ФРС , Жан-Раймон Абриаль ( Франция / Швейцария ), Фархад Арбаб , Трой Астарт , Динес Бьернер (Дания), Робин Блумфилд , Ричард Борнат ( дважды), Эгон Бёргер ( Италия ), Джонатан Боуэн , Ян Броенинк ( Нидерланды ), Майкл Батлер, Маффи Колдер ОБЕ (дважды), Джек Коупленд ( Новая Зеландия ), Тим Денвир, Седрик Фурнет (Франция), Майк Гордон, FRS , Энтони Холл , Марк Харман , Мартин Хенсон , Роб Хиеронс , Джейн Хиллстон , Майк Хинчи , сэр Тони Хоар, FRS , Майк Холкомб , Майкл Джексон , Клифф Джонс , Марта Квятковска (дважды), Чжиминг Лю , Том Майбаум , Урсула Мартин CBE , Питер Моссес , Бен Мошковски , Питер О'Хирн FRS , Стив Ривз (Новая Зеландия), Джон Рейнольдс (США), Питер Райан , Стив Шнайдер , Джо Стой , Дэвид Тернер , Джон Такер , Фил Уодлер и другие. В 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)
  • Лондонское математическое общество

Ссылки [ править ]

  1. ^ Кук, диджей; Симпсон, Д. (апрель 1990 г.). «ФАКС в десять». FACS FACS: Информационный бюллетень BCS FormalAspects of Computing Science SG . Серия II. 1 (1): 4–6.
  2. ^ a b «Предыдущие выпуски FACS FACTS» . BCS-FACS . Проверено 7 ноября 2012 года .
  3. ^ "Конференция FASec'02" . Archive.org . Лондонский университет Южного берега . 2002 г.
  4. ^ Али Э. Абдалла, Питер Райан и Стив Шнайдер (редакторы), Формальные аспекты безопасности . Спрингер , Конспект лекций по информатике , том 2629, 2003 г. ISBN 3-540-20693-0 . 
  5. ^ "Конференция CSP25" . Archive.org . Лондонский университет Южного берега . 2004 г.
  6. ^ Али Э. Абдалла, Клифф Б. Джонс и Джефф В. Сандерс (редакторы), Последовательные процессы связи: первые 25 лет . Спрингер , Конспект лекций по информатике , том 3525, 2005 г. ISBN 3-540-25813-2 . 
  7. ^ Джон Деррик, Eerke Boiten, Джим Вудкок и Йоаким фон Райт (редакторы), УТОЧНИТЬ 2002: БКШ FACS Доработка Workshop . Электронные заметки по теоретической информатике , 70 (3). Издательство Elsevier Science , июль 2002 г.
  8. ^ Пол Бока, Джонатан П. Боуэн и Дэвид А. Дуче (редакторы), Обучение формальным методам: практика и опыт , BCS Лондон, Великобритания, 15 декабря 2006 г. Электронные семинары по вычислениям (eWiC), BCS, 2006.
  9. ^ Пол Бока, Джонатан П. Боуэн и Питер Горм Ларсен (редакторы), Рождественский семинар FACS 2007: формальные методы в промышленности , BCS Лондон, Великобритания, 17 декабря 2007 г. Электронные семинары по вычислениям (eWiC), BCS, 2007.
  10. ^ "Конференция ABZ 2008" . Сентябрь 2008 года архивация от оригинала на 2008-01-18 . Проверено 25 августа 2017 года .
  11. ^ Хинчи, Майкл Г .; Боуэн, Джонатан П .; Ольдерог, Эрнст-Рюдигер , ред. (2017). Доказанно правильные системы . Монографии НАСА в системной и программной инженерии. Springer . ISBN 978-3319486277.
  12. ^ "Ежегодный семинар по семантике Питера Ландина" . BCS-FACS . Лондон, Великобритания: BCS. 6 декабря 2010 г.
  13. ^ Бока, Пол; Боуэн, Джонатан П .; Сиддики, Джавед, ред. (2010). Формальные методы: современное состояние и новые направления . Лондон: Springer-Verlag . DOI : 10.1007 / 978-1-84882-736-3 . ISBN 978-1-84882-735-6.е- ISBN 978-1-84882-736-3 . 
  14. ^ "Ежегодный семинар Питера Ландина по семантике BCS FACS" . BCS-FACS . Британское компьютерное общество . 2012 . Проверено 4 декабря 2012 года .
  15. ^ «FACS: Комитет и контактные данные» . BCS . Проверено 25 января 2021 года .
  16. ↑ Рид, FX (март 2006 г.). «О формальной семантике утверждения COMEFROM» (PDF) . FACS ФАКТЫ . Выпуск 2006-1. BCS-FACS. С. 18–20 . Проверено 7 ноября 2012 года .
  17. ^ Zemantics, Виктор (март 2006). "Некролог: FX Reid" (PDF) . FACS ФАКТЫ . Выпуск 2006-1. BCS-FACS. С. 12–14 . Проверено 7 ноября 2012 года .

Внешние ссылки [ править ]

  • Сайт BCS-FACS
  • Альтернативный сайт BCS-FACS
  • Группа BCS-FACS в LinkedIn
  • Бывший сайт BCS-FACS (2008 г.) на Archive.org