BCS-FACS - BCS-FACS

BCS-FACS - это группа специалистов Британское компьютерное общество.

BCS-FACS это БКС Формальные аспекты вычислительной науки Группа специалистов.

Обзор

Группа FACS, открытая 16 марта 1978 г.,[1] организует встречи для своих членов и других лиц на формальные методы и связанные Информатика темы. Есть связанный журнал, Формальные аспекты вычислений, опубликовано Springer, и более неформальный FACS ФАКТЫ Новостная рассылка.[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, такими как Группа продвинутого программирования и BCSЖенщины.

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. Среди спикеров были ведущие ученые-информатики, в основном из объединенное Королевство но некоторые из-за границы, в том числе Самсон Абрамский ФРС, Жан-Раймон Абриаль (Франция /Швейцария ), Фархад Арбаб, Dines Bjørner (Дания), Робин Блумфилд, Ричард Борнат (дважды), Эгон Бёргер (Италия ), Джонатан Боуэн, Ян Броенинк (Нидерланды ), Майкл Батлер, Маффи Колдер OBE (дважды), Джек Коупленд (Новая Зеландия ), Седрик Фурне (Франция), Майк Гордон ФРС, Энтони Холл, Марк Харман, Мартин Хенсон, Роб Хиеронс, Джейн Хиллстон, Майк Хинчи, Сэр Тони Хоар ФРС, Майк Холкомб, Майкл Джексон, Клифф Джонс, Марта Квятковска (дважды), Чжимин Лю, Том Майбаум, Урсула Мартин, Питер Мосс, Бен Мошковски, Питер О'Хирн, Стив Ривз (Новая Зеландия), Джон Рейнольдс (СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ), Питер Райан, Стив Шнайдер, Джо Стой, Дэвид Тернер, Джон Такер, Фил Уодлер В 2010 году была опубликована книга глав, основанная на некоторых из этих выступлений.[13]Ежегодно проводятся переговоры с Формальные методы Европа и Лондонское математическое общество (в штаб-квартире LMS в центре Лондона). С 2010 г. Ежегодный семинар по семантике Питера Ландина проводится каждый декабрь в память о британском ученом-информатике Питер Ландин (1930–2009).[14]

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

В FACS ФАКТЫ Новостная рассылка (ISSN  0950-1231 ) публикуется периодически, первоначально на бумаге, а теперь в Интернете.[2]

Ф. X. Рейд был регулярным FACS ФАКТЫ участник информационного бюллетеня в прошлом. Например, он был энтузиастом РОДОМ ИЗ заявление и знаток его семантики.[15] Судя по сообщениям о смерти FXR в 2006 году[16] были неправдой, и его размышления продолжились после этого в информационном бюллетене.

Смотрите также

Рекомендации

  1. ^ Кук, Д.Дж .; Симпсон, Д. (апрель 1990 г.). «ФАКС в десять». FACS FACS: Информационный бюллетень по формальным аспектам вычислительной науки BCS SG. Серия II. 1 (1): 4–6.
  2. ^ а б «Предыдущие выпуски FACS FACTS». BCS-FACS. Получено 7 ноября 2012.
  3. ^ Конференция FASec'02, Archive.org, 2002.
  4. ^ Али Э. Абдалла, Питер Райан и Стив Шнайдер (редакторы), Формальные аспекты безопасности. Springer, Конспект лекций по информатике, Том 2629, 2003. ISBN  3-540-20693-0.
  5. ^ Конференция CSP25, Archive.org, 2004.
  6. ^ Али Э. Абдалла, Клифф Б. Джонс и Джефф В. Сандерс (редакторы), Коммуникация последовательных процессов: первые 25 лет. Springer, Конспект лекций по информатике, Том 3525, 2005. ISBN  3-540-25813-2.
  7. ^ Джон Деррик, Эрке Бойтен, Джим Вудкок и Йоаким фон Райт (редакторы), REFINE 2002: семинар BCS по уточнению FACS. Электронные заметки по теоретической информатике, 70(3). Издательство Elsevier Science, Июль 2002 г.
  8. ^ Пол Бока, Джонатан П. Боуэн и Дэвид А. Дуче (редакторы), Формальные методы обучения: практика и опыт, BCS London, UK, 15 декабря 2006 г. Электронные семинары по вычислительной технике (eWiC), BCS, 2006.
  9. ^ Пол Бока, Джонатан П. Боуэн и Питер Горм Ларсен (редакторы), Рождественский семинар FACS 2007: формальные методы в промышленности, BCS London, UK, 17 декабря 2007 г. Электронные семинары по вычислительной технике (eWiC), BCS, 2007.
  10. ^ «Конференция ABZ 2008». Сентябрь 2008 г. Архивировано с оригинал на 2008-01-18. Получено 25 августа 2017.
  11. ^ Хинчи, Майкл Г.; Боуэн, Джонатан П.; Ольдерог, Эрнст-Рюдигер, ред. (2017). Доказанно правильные системы. НАСА Монографии по системной и программной инженерии. Springer. ISBN  978-3319486277.
  12. ^ Ежегодный семинар по семантике Питера Ландина, BCS-FACS, Британское компьютерное общество, Великобритания, 6 декабря 2010 г.
  13. ^ Бока, Пол; Боуэн, Джонатан П .; Сиддики, Джавед, ред. (2010). Формальные методы: современное состояние и новые направления. Лондон: Springer-Verlag. Дои: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. ^ Рейд, Ф. X. (март 2006 г.). «О формальной семантике заявления COMEFROM» (PDF). FACS ФАКТЫ. Выпуск 2006-1. BCS-FACS. стр. 18–20. Получено 7 ноября 2012.
  16. ^ Земантика, Виктор (март 2006). "Некролог: Ф.X. Рейд" (PDF). FACS ФАКТЫ. Выпуск 2006-1. BCS-FACS. стр. 12–14. Получено 7 ноября 2012.

внешняя ссылка