BCS-FACS es el grupo de especialistas en aspectos formales de las ciencias de la computación de BCS .
El grupo FACS, inaugurado el 16 de marzo de 1978, [1] organiza reuniones para sus miembros y otras personas sobre métodos formales y temas relacionados con la informática . Hay una revista asociada, Formal Aspects of Computing , publicada por Springer , y un boletín informativo FACS FACTS más informal . [2]
El grupo celebró su vigésimo aniversario con una reunión en la Royal Society de Londres en 1998, con presentaciones de cuatro eminentes científicos informáticos, Mike Gordon , Tony Hoare , Robin Milner y Gordon Plotkin , todos miembros de la Royal Society .
De 2002 a 2008 y nuevamente desde 2013, el presidente de BCS-FACS ha sido Jonathan Bowen . Jawed Siddiqi fue presidente durante 2008-2013. En diciembre de 2002, BCS-FACS organizó una conferencia sobre los Aspectos Formales de la Seguridad (FASec'02) [3] en Royal Holloway , Universidad de Londres . [4] En 2004, FACS organizó un importante evento en la Universidad South Bank de Londres para celebrar su propio 25º aniversario y también los 25 años de CSP (CSP25), [5] al que asistieron el creador de CSP, Sir Tony Hoare , y otros en el campo. [6]
El grupo mantiene contactos con otros grupos relacionados , como el Centro para la confiabilidad del software , Formal Methods Europe , el Comité de Computación de la Sociedad Matemática de Londres , el Club de sistemas críticos para la seguridad y el Grupo de usuarios Z. Ha mantenido reuniones conjuntas con otros grupos de especialistas de BCS como el Grupo de Programación Avanzada y BCSWomen .
FACS patrocina y apoya reuniones, como el Taller de Refinamiento. [7] A menudo ha celebrado un evento navideño cada año, con un tema relacionado con aspectos formales de la informática, por ejemplo, la enseñanza de métodos formales [8] y métodos formales en la industria. [9] BCS-FACS apoyó la conferencia ABZ 2008 en las instalaciones de BCS en Londres. [10] En 2015, FACS organizó un taller ProCoS de dos días sobre "Sistemas demostrablemente correctos", con muchos ex miembros de los proyectos ESPRIT ProCoS I y II y del Grupo de Trabajo de la década de 1990. [11]
En los últimos años se han celebrado una serie de seminarios nocturnos, principalmente en la oficina de BCS en Londres. Entre los oradores se encuentran destacados científicos informáticos, principalmente del Reino Unido, pero algunos del extranjero, entre ellos Samson Abramsky FRS , Jean-Raymond Abrial ( Francia / Suiza ), Farhad Arbab , Troy Astarte, Dines Bjørner (Dinamarca), Robin Bloomfield, Richard Bornat ( dos veces), Egon Börger ( Italia ), Jonathan Bowen , Jan Broenink ( Países Bajos ), Michael Butler , Muffy Calder OBE (dos veces), Jack Copeland ( Nueva Zelanda ), Tim Denvir , Cedric Fournet (Francia), 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 (dos veces), Zhiming Liu , Tom Maibaum , Ursula Martin CBE , Peter Mosses , Ben Moszkowski, Peter O'Hearn FRS , Steve Reeves (Nueva Zelanda), John Reynolds (Estados Unidos), Peter Ryan, Steve Schneider , Joe Stoy , David Turner , John Tucker , Phil Wadler , entre otros. En 2010 se publicó un libro de capítulos basados en algunas de estas charlas. [13] Anualmente se han celebrado charlas con Formal Methods Europe y la London Mathematical Society (en la sede de LMS en el centro de Londres). Desde 2010, cada diciembre se celebra un Seminario Anual de Semántica de Peter Landin en memoria del informático británico Peter Landin (1930-2009). [14]
El boletín FACS FACTS ( ISSN 0950-1231) se publica periódicamente, originalmente en papel y ahora en línea. [2] Los editores son Tim Denvir y Brian Monahan. [15]
FX Reid ha sido colaborador habitual del boletín informativo FACS FACTS en el pasado. Por ejemplo, ha sido un entusiasta de la declaración COMEFROM y un experto en su semántica. [16] Aparentemente, los informes sobre la muerte de FXR en 2006 [17] eran falsos y sus reflexiones continuaron después de este tiempo en el boletín.