El grupo FACS, inaugurado el 16 de marzo de 1978, [1] organiza reuniones para sus miembros y otros 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 informáticos, Mike Gordon , Tony Hoare , Robin Milner y Gordon Plotkin , todos miembros de la Royal Society .
De 2002 a 2008 y desde 2013 nuevamente, 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 London South Bank University para celebrar su propio 25 aniversario y también 25 años de CSP (CSP25), [5] al que asistieron el creador de CSP, Sir Tony Hoare , y otros en el campo. [6]
Los Sirve de enlace de grupo con otros grupos afines, como el Centro de Software de Confiabilidad , los métodos formales de Europa , la Sociedad Matemática de Londres Comité de ordenador, el Sistemas de Seguridad club-crítico , y el Grupo Z usuario . 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 los 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 probables correctos", con muchos ex miembros de los proyectos ESPRIT ProCoS I y II y el Grupo de trabajo de la década de 1990. [11]
En los últimos años, se han realizado 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, como 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 ( Holanda ), 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 (USA), Peter Ryan , Steve Schneider , Joe Stoy , David Turner , John Tucker , Phil Wadler , entre otros. En 2010 se publicó un libro de capítulos basado en algunas de estas charlas. [13] Se han celebrado conversaciones anualmente con Formal Methods Europe y la London Mathematical Society.(en la sede de LMS en el centro de Londres). Desde 2010, ha habido un Seminario Anual de Semántica Peter Landin que se lleva a cabo cada diciembre en memoria del científico informático británico Peter Landin (1930-2009). [14]