page_title: BCS-FACS
section_title: Evening seminars
hierarchical_section_title: BCS-FACS / Evening seminars
caption_attribution_description: John C. Reynolds, computer scientist
context_page_description: BCS-FACS is the BCS Formal Aspects of Computing Science Specialist Group.
context_section_description: 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, 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), 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, Peter Mosses, Ben Moszkowski, Peter O'Hearn, 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).
caption: John C. Reynolds (1935–2013), American computer scientist, who delivered the first BCS-FACS Peter Landin Semantics Seminar in 2010.[12]
exif: {}