Hispanopedia Wiki
Articulo de referencia

BCS-FACS

[[London Mathematical Society]]"},"website":{"wt":"[http://facs.bcs.org/ facs.bcs.org]"},"remarks":{"wt":""},"footnotes":{"wt":""}},"i":0}}]}"> BCS-FACS es el Grupo de Especiali...

Hispanopedia WikiContenido en espanolLectura gratuita

BCS-FACS es el Grupo de Especialistas en Aspectos Formales de la Informática de la BCS .

Descripción general

El grupo FACS, inaugurado el 16 de marzo de 1978, [ 1 ] organiza reuniones para sus miembros y otros interesados ​​en métodos formales y temas relacionados con la informática . Existe una revista asociada, Formal Aspects of Computing , publicada por Springer , y un boletín informativo más informal , FACS FACTS . [ 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 ellos miembros de la Royal Society .

De 2002 a 2008 y de 2013 a 2025, el presidente de BCS-FACS fue Jonathan Bowen . Jawed Siddiqi fue presidente durante 2008-2013. En 2025, Keith Lines del Laboratorio Nacional de Física se convirtió en presidente. 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 evento importante en la Universidad London South Bank 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 ]

El grupo mantiene contacto con otros grupos afines, como el Centre for Software Reliability , Formal Methods Europe , el London Mathematical Society Computer Committee, el Safety-Critical Systems Club y el Z User Group . Ha celebrado reuniones conjuntas con otros grupos especializados de BCS, como el Advanced Programming Group y BCSWomen .

FACS patrocina y apoya reuniones, como el Taller de Refinamiento. [ 7 ] A menudo ha organizado un evento navideño cada año, con un tema relacionado con aspectos formales de la computación, 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 antiguos miembros de los proyectos ESPRIT ProCoS I y II y del Grupo de Trabajo de la década de 1990. [ 11 ] [ 12 ]

seminarios vespertinos

John C. Reynolds (1935–2013), científico informático estadounidense, quien impartió el primer Seminario de Semántica Peter Landin de BCS-FACS en 2010. [ 13 ]
Joe Stoy habló sobre el pionero de la informática Christopher Strachey (1916-1975) con motivo de su centenario, durante un seminario vespertino de BCS-FACS en la oficina de BCS en Londres el 15 de noviembre de 2016.

En los últimos años se ha celebrado una serie de seminarios vespertinos, principalmente en la oficina de BCS en Londres. Entre los ponentes se encuentran destacados científicos informáticos, principalmente del Reino Unido , pero también algunos extranjeros, 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 (dos veces), 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 , Dame Ursula Martin , Peter Mosses y Ben Moszkowski. Peter O'Hearn FRS , Steve Reeves (Nueva Zelanda), John Reynolds (EE. UU.), 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. [ 14 ] Se han celebrado charlas anualmente con Formal Methods Europe y la London Mathematical Society (en la sede de la LMS en el centro de Londres). Desde 2010, se celebra cada diciembre un Seminario Anual de Semántica Peter Landin en memoria del científico informático británico Peter Landin (1930-2009). [ 15 ]

Boletín informativo FACS FACTS

El boletín informativo 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. [ 16 ] 

FX Reid fue colaborador habitual del boletín informativo FACS FACTS en el pasado. Por ejemplo, era un entusiasta de la declaración COMEFROM y un experto en su semántica. [ 17 ] Aparentemente, los informes sobre la muerte de FXR en 2006 [ 18 ] eran falsos y sus reflexiones continuaron después de esa fecha en el boletín.

Véase también

Referencias

  1. ↑ Cooke, DJ; Simpson, D. (abril de 1990). "FACS a los diez". FACS FACTS : Boletín informativo del BCS FormalAspects of Computing Science SG . Serie II. 1 (1): 4– 6.
  2. 1 2 "Números anteriores de FACS FACTS" . BCS-FACS . Consultado el 3 de agosto de 2022 .
  3. ↑ "Conferencia FASec'02" . Archive.org . London South Bank University . 2002. Archivado del original el 27 de septiembre de 2007.
  4. ↑ Ali E. Abdallah, Peter Ryan y Steve Schneider (editores), Aspectos formales de la seguridad . Springer , Lecture Notes in Computer Science , Volumen 2629, 2003. ISBN 3-540-20693-0.
  5. ↑ "Conferencia CSP25" . Archive.org . London South Bank University . 2004. Archivado del original el 8 de octubre de 2007.
  6. ↑ Ali E. Abdallah, Cliff B. Jones y Jeff W. Sanders (editores), Procesos secuenciales comunicantes: Los primeros 25 años . Springer , Lecture Notes in Computer Science , Volumen 3525, 2005. ISBN 3-540-25813-2.
  7. ↑ John Derrick, Eerke Boiten, Jim Woodcock y Joakim von Wright (editores), REFINE 2002: El taller de refinamiento de BCS FACS . Electronic Notes in Theoretical Computer Science , 70 (3). Elsevier Science Publishers , julio de 2002.
  8. ↑ Paul Boca, Jonathan P. Bowen y David A. Duce (editores), Teaching Formal Methods: Practice and Experience , BCS Londres, Reino Unido, 15 de diciembre de 2006. Talleres electrónicos en informática (eWiC), BCS, 2006.
  9. ↑ Paul Boca, Jonathan P. Bowen y Peter Gorm Larsen (editores), FACS 2007 Christmas Workshop: Formal Methods in Industry , BCS Londres, Reino Unido, 17 de diciembre de 2007. Electronic Workshops in Computing (eWiC), BCS, 2007.
  10. ↑ "Conferencia ABZ 2008" . Septiembre de 2008. Archivado del original el 18 de enero de 2008. Consultado el 25 de agosto de 2017 .
  11. ↑ Hinchey, Michael G .; Bowen, Jonathan P .; Olderog, Ernst-Rüdiger , eds. (2017). Provably Correct Systems . NASA Monographs in Systems and Software Engineering. Springer . ISBN 978-3319486277.
  12. ↑ Bowen, Jonathan P. ; Fränzle, Martin; Olderog, Ernst-Rüdiger ; Bjørner, Dines ; Hansen, Michael R.; Langmaack, Hans ; Liu, Zhiming ; Martin, Ursula (17 de marzo de 2026). "Experiencias de los proyectos europeos ProCoS: sistemas demostrablemente correctos" . Aspectos formales de la computación . ACM . doi : 10.1145/3803555 .
  13. ↑ "Seminario Anual de Semántica Peter Landin" . BCS-FACS . Londres, Reino Unido: BCS. 6 de diciembre de 2010. Archivado del original el 6 de marzo de 2012.
  14. ↑ Boca, Paul; Bowen, Jonathan P.; Siddiqi, Jawed, eds. (2010). Métodos formales: estado del arte y nuevas direcciones . Londres: Springer-Verlag . Bibcode : 2010fmso.book.....B . doi : 10.1007/978-1-84882-736-3 . ISBN 978-1-84882-735-6.ISBN electrónico 978-1-84882-736-3.
  15. ↑ "Seminario anual de semántica Peter Landin de BCS FACS" . BCS-FACS . British Computer Society . 2012. Consultado el 4 de diciembre de 2012 .
  16. ↑ "FACS: Comité y datos de contacto" . BCS . Consultado el 25 de enero de 2021 .
  17. ↑ Reid, FX (marzo de 2006). "Sobre la semántica formal de la declaración COMEFROM" (PDF) . FACS FACTS . N.° 2006–1 . BCS-FACS. págs. 18–20 . Consultado el 7 de noviembre de 2012 .  
  18. ↑ Zemantics, Victor (marzo de 2006). "Obituario: FX Reid" (PDF) . FACS FACTS . N.° 2006–1 . BCS-FACS. págs. 12–14 . Consultado el 7 de noviembre de 2012 .  
  • Sitio web de BCS-FACS
  • Sitio web alternativo de BCS-FACS
  • Grupo BCS-FACS en LinkedIn
  • Antiguo sitio web de BCS-FACS (2008) en Archive.org