BCS-FACS

The FACS group, inaugurated on 16 March 1978,[1] 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.

[2] 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.

In December 2002, BCS-FACS organized a conference on the Formal Aspects of Security (FASec'02)[3] at Royal Holloway, University of London.

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.

John C. Reynolds (1935–2013), American computer scientist, who delivered the first BCS-FACS Peter Landin Semantics Seminar in 2010. [ 12 ]
Joe Stoy speaking on the pioneer computer scientist Christopher Strachey (1916–1975) for his centenary, during a BCS-FACS evening seminar at the BCS London office on 15 November 2016.