Формалды есептеулер ғылымының мамандандырылған тобы
BCS-FACS
BCS FACS – есептеу ғылымының формальды аспектілері бойынша мамандар тобы. 1978 жылдан бері конференциялар ұйымдастырып, «Formal Aspects of Computing» журналын шығарады.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
BCS FACS – BCS-тің есептеу ғылымының формалды аспектілері бойынша мамандандырылған тобы.
Specialist Group of the BCS
BCS FACS is the BCS Formal Aspects of Computing Science Specialist Group.
Шолу
1978 жылғы 16 наурызда құрылған FACS тобы, өз мүшелері және басқалар үшін формальды әдістер мен осымен байланысты компьютерлік ғылым тақырыптары бойынша жиналыстар ұйымдастырады. Springer баспасында жарияланатын Formal Aspects of Computing журналы және FACS FACTS ақпараттық бюллетені бар. Топ 1998 жылы Лондондағы Корольдік қоғамда өзінің 20 жылдығын атап өтті, онда төрт көрнекті компьютер ғалымы – Майк Гордон, Тони Хоар, Робин Милнер және Гордон Плоткин баяндама жасады, олардың барлығы Корольдік қоғамның мүшелері болды. 2002 жылдан 2008 жылға дейін және 2013 жылдан бері BCS FACS төрағасы қызметін Джонатан Боуэн атқарып келеді. Жауед Сиддики 2008–2013 жылдары төраға болды. 2002 жылдың желтоқсан айында BCS FACS Лондон университетінің Роял Холлоуэй колледжінде қауіпсіздіктің формальды аспектілері (FASec'02) тақырыбында конференция ұйымдастырды. 2004 жылы FACS өзінің 25 жылдығы мен CSP-нің 25 жылдығын (CSP25) атап өту үшін Лондонның Оңтүстік Банк университетінде ірі шара өткізді, оған CSP-нің авторы сэр Тони Хоар және осы саладағы басқа да мамандар қатысты. Топ басқа да байланысты топтармен, мысалы, Бағдарламалық жасақтаманың сенімділігі орталығымен, Формальды әдістер Еуропасымен, Лондон математикалық қоғамының Компьютер комитетімен, Қауіпсіздікке маңызды жүйелер клубымен және Z пайдаланушылар тобымен байланыс орнатады. Ол басқа BCS мамандандырылған топтарымен, мысалы, Advanced Programming Group және BCSWomen-мен бірлескен жиналыстар өткізеді. FACS жиналыстарды демеушілік етеді және қолдайды, мысалы, Refinement Workshop. Ол әдетте әр жыл сайын Рождестволық шара өткізеді, оның тақырыбы есептеудің формальды аспектілерімен байланысты болады, мысалы, формальды әдістерді оқыту және формальды әдістерді өнеркәсіпте қолдану. BCS FACS 2008 жылғы ABZ конференциясына Лондондағы BCS ғимаратында қолдау көрсетті. 2015 жылы FACS «Дұрыс жүйелер» тақырыбында ProCoS семинарын өткізді, онда ESPRIT ProCoS I және II жобаларының және 1990 жылдардағы жұмыс тобының көптеген бұрынғы мүшелері қатысты.
The FACS group, inaugurated on 16 March 1978, organizes meetings for its members and others on formal methods and related computer science topics. There is an associated journal, Formal Aspects of Computing, published by Springer, and a more informal FACS FACTS newsletter. The group celebrated its 20th anniversary with a meeting at the Royal Society in London in 1998, with presentations by four eminent computer scientists, Mike Gordon, Tony Hoare, Robin Milner and Gordon Plotkin, all Fellows of the Royal Society. From 2002 to 2008 and since 2013 again, the Chair of BCS FACS has been Jonathan Bowen. Jawed Siddiqi was chair during 2008–2013. In December 2002, BCS FACS organized a conference on the Formal Aspects of Security (FASec'02) at Royal Holloway, University of London. In 2004, FACS organized a major event at London South Bank University to celebrate its own 25th anniversary and also 25 Years of CSP (CSP25), attended by the originator of CSP, Sir Tony Hoare, and others in the field. The group liaises with other related groups such as the Centre for Software Reliability, Formal Methods Europe, the London Mathematical Society Computer Committee, the Safety Critical Systems Club, and the Z User Group. It has held joint meetings with other BCS specialist groups such as the Advanced Programming Group and BCSWomen. FACS sponsors and supports meetings, such as the Refinement Workshop. It has often held a Christmas event each year, with a theme related to formal aspects of computing — for example, teaching formal methods and formal methods in industry. BCS FACS supported the ABZ 2008 conference at the BCS London premises. In 2015, FACS hosted a two day ProCoS Workshop on "Provably Correct Systems", with many former members of the ESPRIT ProCoS I and II projects and Working Group of the 1990s.
Кешкі семинарлар
Соңғы жылдары кешкі семинарлар өткізілді, негізінен Лондондағы BCS кеңсесінде. Баяндамашылардың арасында негізінен Ұлыбританиядан, бірақ сондай-ақ шетелден келген жетекші компьютер ғалымдары болды, олардың ішінде Самсон Абрамский FRS, Жан Раймонд Абриал (Франция/Швейцария), Фархад Арбаб, Трой Астарте, Динес Бьёрнер (Дания), Робин Блумфилд, Ричард Борнат (екі рет), Эгон Бёргер (Италия), Джонатан Боуэн, Ян Брунинк (Нидерланды), Майкл Батлер, Мюффи Кальдер OBE (екі рет), Джек Копленд (Жаңа Зеландия), Тим Денвир, Седрик Фурне (Франция), Майк Гордон FRS, Энтони Холл, Марк Харман, Мартин Хенсон, Роб Йеронс, Джейн Хиллстон, Майк Хинчи, сэр Тони Хоаре FRS, Майк Холкомб, Майкл Джексон, Клифф Джонс, Марта Квиатковска (екі рет), Чжимин Лю, Том Майбаум, Урсула Мартин CBE, Питер Моссес, Бен Мошковски, Питер О’Херн FRS, Стив Ривз (Жаңа Зеландия), Джон Рейнольдс (АҚШ), Питер Райан, Стив Шнайдер, Джоу Стой, Дэвид Тернер, Джон Такер, Фил Уодлер және тағы да басқалар бар. 2010 жылы осы баяндамалардың кейбіреулері жинақталып, кітап ретінде жарық көрді. Жыл сайын Formal Methods Europe және Лондон математикалық қоғамымен (Лондонның орталық бөлігіндегі LMS штаб-пәтерінде) бірлесе семинарлар өткізіледі. 2010 жылдан бері әр желтоқсанда британдық компьютер ғалымы Питер Лэндиннің (1930–2009) естелігіне арналған жылдық Питер Лэндин Семантика Семинары өткізіліп келеді.
In recent years, a series of evening seminars have been held, mainly at the BCS London office. Speakers have included leading computer scientists, mainly from the United Kingdom but some from abroad, including Samson Abramsky FRS, Jean Raymond Abrial (France/Switzerland), Farhad Arbab, Troy Astarte, Dines Bjørner (Denmark), Robin Bloomfield, Richard Bornat (twice), Egon Börger (Italy), Jonathan Bowen, Jan Broenink (Netherlands), Michael Butler, Muffy Calder OBE (twice), Jack Copeland (New Zealand), Tim Denvir, Cedric Fournet (France), Mike Gordon FRS, Anthony Hall, Mark Harman, Martin Henson, Rob Hierons, Jane Hillston, Mike Hinchey, Sir Tony Hoare FRS, Mike Holcombe, Michael Jackson, Cliff Jones, Marta Kwiatkowska (twice), Zhiming Liu, Tom Maibaum, Ursula Martin CBE, Peter Mosses, Ben Moszkowski, Peter O'Hearn FRS, Steve Reeves (New Zealand), John Reynolds (USA), Peter Ryan, Steve Schneider, Joe Stoy, David Turner, John Tucker, Phil Wadler, among others. In 2010, a book of chapters based on some of these talks was published. Talks have been held annually with Formal Methods Europe and the London Mathematical Society (at the LMS headquarters in central London). Since 2010, there has been an Annual Peter Landin Semantics Seminar held each December in memory of the British computer scientist Peter Landin (1930–2009).
FACS FACS ақпараттық бюллетені
FACS FACTS бюллетені мерзімді түрде жарияланады, бастапқыда қағаз түрінде, ал қазір онлайн режимінде. Ф. Х. Рид бұрын FACS FACTS бюллетеніне тұрақты үлесақосшы болған. Мысалы, ол COMEFROM операторын жақсы көретін және оның семантикасы бойынша сарапшы еді. Көрінетіндей, 2006 жылы FXR қайтыс болды деген хабарлар рас емес екен, және оның ойлары осы уақыттан кейін де бюллетеньде жарияланып тұрды.
The FACS FACTS newsletter is published periodically, originally on paper and now online. F. X. Reid has been a regular FACS FACTS newsletter contributor in the past. For example, he has been an enthusiast for the COMEFROM statement and an expert on its semantics. Apparently reports of FXR's death in 2006 were untrue and his musings continued after this time in the newsletter.