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. 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). FACS FACTS newsletter The FACS FACTS newsletter () is published periodically, originally on paper and now online. The editors are Tim Denvir and Brian Monahan. F. X. Reid has been a regular FACS FACTS newsletter contributor in the past. For example, he has been an enthusiast for the COMEFROM statement and an expert on its semantics. Apparently reports of FXR's death in 2006 were untrue and his musings continued after this time in the newsletter. See also British Computer Society Formal methods Formal Methods Europe (FME) London Mathematical Society References External links BCS-FACS website Alternative BCS-FACS website BCS-FACS group on LinkedIn Former BCS-FACS website (2008) on Archive.org 1978 establishments in the United Kingdom Organizations established in 1978 Formal methods organizations FACS Non-profit organisations based in the United Kingdom