Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/BCS-FACS> ?p ?o }
- BCS-FACS abstract "BCS-FACS is the British Computer Society Formal Aspects of Computing Science Specialist Group. The group, founded in 1978, 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.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.From 2002–2008 and since 2013 again, the Chair of BCS-FACS has been Jonathan Bowen. Jawed Siddiqi was Chair between 2008–2013. In December 2002, BCS-FACS organized a conference on the Formal Aspects of Security (FASec'02) at Royal Holloway, University of London. In 2004, FACS organized a major event at London South Bank University to celebrate its own 25th anniversary and also 25 Years of CSP (CSP25), attended by the originator of CSP, Sir Tony Hoare, and others in the field.The group liaises with other related groups such as the Centre for Software Reliability, Formal Methods Europe, the London Mathematical Society Computer Committee, the Safety-Critical Systems Club, and the Z User Group. It has held joint meetings with other BCS specialist groups such as the Advanced Programming Group and BCSWomen.FACS sponsors and supports meetings, such as the Refinement Workshop. It has often held a Christmas event each year, with a theme related to formal aspects of computing — for example, teaching formal methods and formal methods in industry. BCS-FACS supported the ABZ 2008 conference at the BCS London premises.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 UK but some from abroad, including Samson Abramsky FRS, Jean-Raymond Abrial (France/Switzerland), Dines Bjørner (Denmark), Robin Bloomfield, Richard Bornat (twice), Egon Börger (Italy), Jonathan Bowen, Jan Broenink (Netherlands), Michael Butler, Muffy Caulder, Jack Copeland (New Zealand), Cedric Fournet, 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, Zhiming Liu, Tom Maibaum, Ursula Martin, Peter Mosses, Ben Moszkowski, Peter O'Hearn, Steve Reeves (New Zealand), John Reynolds (USA), Peter Ryan, Steve Schneider, 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).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.".
- BCS-FACS thumbnail Reynolds_John_small.jpg?width=300.
- BCS-FACS wikiPageExternalLink facs.bcs.org.
- BCS-FACS wikiPageExternalLink www.bcs-facs.org.
- BCS-FACS wikiPageExternalLink www.bcs-facs.org.
- BCS-FACS wikiPageExternalLink groups?home=&gid=2427579.
- BCS-FACS wikiPageID "2578877".
- BCS-FACS wikiPageLength "8294".
- BCS-FACS wikiPageOutDegree "82".
- BCS-FACS wikiPageRevisionID "641133512".
- BCS-FACS wikiPageWikiLink Advanced_Programming_Group.
- BCS-FACS wikiPageWikiLink Advanced_Programming_Specialist_Group.
- BCS-FACS wikiPageWikiLink Archive.org.
- BCS-FACS wikiPageWikiLink BCSWomen.
- BCS-FACS wikiPageWikiLink Ben_Moszkowski.
- BCS-FACS wikiPageWikiLink British_Computer_Society.
- BCS-FACS wikiPageWikiLink C._A._R._Hoare.
- BCS-FACS wikiPageWikiLink COMEFROM.
- BCS-FACS wikiPageWikiLink Category:1978_establishments_in_the_United_Kingdom.
- BCS-FACS wikiPageWikiLink Category:BCS_Specialist_Groups.
- BCS-FACS wikiPageWikiLink Category:Formal_methods_organizations.
- BCS-FACS wikiPageWikiLink Category:Non-profit_organisations_based_in_the_United_Kingdom.
- BCS-FACS wikiPageWikiLink Category:Organizations_established_in_1978.
- BCS-FACS wikiPageWikiLink Cedric_Fournet.
- BCS-FACS wikiPageWikiLink Centre_for_Software_Reliability.
- BCS-FACS wikiPageWikiLink Cliff_Jones_(computer_scientist).
- BCS-FACS wikiPageWikiLink Communicating_Sequential_Processes.
- BCS-FACS wikiPageWikiLink Communicating_sequential_processes.
- BCS-FACS wikiPageWikiLink Computer_science.
- BCS-FACS wikiPageWikiLink Dines_Bjørner.
- BCS-FACS wikiPageWikiLink Egon_Börger.
- BCS-FACS wikiPageWikiLink F._X._Reid.
- BCS-FACS wikiPageWikiLink Fellow_of_the_Royal_Society.
- BCS-FACS wikiPageWikiLink File:BCS-FACS_logo.jpg.
- BCS-FACS wikiPageWikiLink Formal_Aspects_of_Computing.
- BCS-FACS wikiPageWikiLink Formal_Methods_Europe.
- BCS-FACS wikiPageWikiLink Formal_methods.
- BCS-FACS wikiPageWikiLink Gordon_Plotkin.
- BCS-FACS wikiPageWikiLink Internet_Archive.
- BCS-FACS wikiPageWikiLink J._Anthony_Hall.
- BCS-FACS wikiPageWikiLink Jack_Copeland.
- BCS-FACS wikiPageWikiLink Jan_Broenink.
- BCS-FACS wikiPageWikiLink Jane_Hillston.
- BCS-FACS wikiPageWikiLink Jawed_Siddiqi.
- BCS-FACS wikiPageWikiLink Jean-Raymond_Abrial.
- BCS-FACS wikiPageWikiLink John_C._Reynolds.
- BCS-FACS wikiPageWikiLink John_V._Tucker.
- BCS-FACS wikiPageWikiLink Jonathan_Bowen.
- BCS-FACS wikiPageWikiLink LinkedIn.
- BCS-FACS wikiPageWikiLink London.
- BCS-FACS wikiPageWikiLink London_Mathematical_Society.
- BCS-FACS wikiPageWikiLink London_South_Bank_University.
- BCS-FACS wikiPageWikiLink Mark_Harman_(computer_scientist).
- BCS-FACS wikiPageWikiLink Marta_Kwiatkowska.
- BCS-FACS wikiPageWikiLink Martin_Henson.
- BCS-FACS wikiPageWikiLink Michael_A._Jackson.
- BCS-FACS wikiPageWikiLink Michael_Butler_(computer_scientist).
- BCS-FACS wikiPageWikiLink Michael_Hinchey.
- BCS-FACS wikiPageWikiLink Michael_J._C._Gordon.
- BCS-FACS wikiPageWikiLink Michael_W._Shields.
- BCS-FACS wikiPageWikiLink Mike_Gordon.
- BCS-FACS wikiPageWikiLink Mike_Hinchey.
- BCS-FACS wikiPageWikiLink Mike_Holcombe.
- BCS-FACS wikiPageWikiLink Muffy_Caulder.
- BCS-FACS wikiPageWikiLink Netherlands.
- BCS-FACS wikiPageWikiLink New_Zealand.
- BCS-FACS wikiPageWikiLink Peter_Landin.
- BCS-FACS wikiPageWikiLink Peter_Mosses.
- BCS-FACS wikiPageWikiLink Peter_OHearn.
- BCS-FACS wikiPageWikiLink Peter_Ryan_(computer_scientist).
- BCS-FACS wikiPageWikiLink Phil_Wadler.
- BCS-FACS wikiPageWikiLink Philip_Wadler.
- BCS-FACS wikiPageWikiLink Richard_Bornat.
- BCS-FACS wikiPageWikiLink Rob_Hierons.
- BCS-FACS wikiPageWikiLink Robin_Bloomfield.
- BCS-FACS wikiPageWikiLink Robin_Milner.
- BCS-FACS wikiPageWikiLink Royal_Holloway.
- BCS-FACS wikiPageWikiLink Royal_Holloway,_University_of_London.
- BCS-FACS wikiPageWikiLink Royal_Society.
- BCS-FACS wikiPageWikiLink Safety-Critical_Systems_Club.
- BCS-FACS wikiPageWikiLink Samson_Abramsky.
- BCS-FACS wikiPageWikiLink Springer_Science+Business_Media.
- BCS-FACS wikiPageWikiLink Steve_Reeves_(computer_scientist).
- BCS-FACS wikiPageWikiLink Steve_Schneider_(computer_scientist).
- BCS-FACS wikiPageWikiLink Tom_Maibaum.
- BCS-FACS wikiPageWikiLink Tony_Hoare.
- BCS-FACS wikiPageWikiLink University_of_London.
- BCS-FACS wikiPageWikiLink Ursula_Martin.
- BCS-FACS wikiPageWikiLink Z_User_Group.
- BCS-FACS wikiPageWikiLink Zhiming_Liu_(computer_scientist).
- BCS-FACS wikiPageWikiLink File:Reynolds_John_small.jpg.
- BCS-FACS wikiPageWikiLinkText "BCS-FACS".
- BCS-FACS wikiPageWikiLinkText "FACS".
- BCS-FACS hasPhotoCollection BCS-FACS.
- BCS-FACS wikiPageUsesTemplate Template:Reflist.
- BCS-FACS subject Category:1978_establishments_in_the_United_Kingdom.
- BCS-FACS subject Category:BCS_Specialist_Groups.
- BCS-FACS subject Category:Formal_methods_organizations.
- BCS-FACS subject Category:Non-profit_organisations_based_in_the_United_Kingdom.
- BCS-FACS subject Category:Organizations_established_in_1978.