71 relations: Advanced Programming Specialist Group, BCSWomen, British Computer Society, Centre for Software Reliability, Cliff Jones (computer scientist), COMEFROM, Communicating sequential processes, Computer science, Dines Bjørner, Egon Börger, Electronic Notes in Theoretical Computer Science, Electronic Workshops in Computing, Elsevier, European Strategic Program on Research in Information Technology, Fellow of the Royal Society, Formal Aspects of Computing, Formal methods, Formal Methods Europe, France, Gordon Plotkin, Internet Archive, Italy, J. Anthony Hall, Jack Copeland, Jane Hillston, Jawed Siddiqi, Jean-Raymond Abrial, Jim Woodcock, Joe Stoy, John C. Reynolds, John V. Tucker, Jonathan Bowen, Lecture Notes in Computer Science, LinkedIn, London, London Mathematical Society, London South Bank University, Mark Harman (computer scientist), Marta Kwiatkowska, Martin Henson, Michael A. Jackson, Michael Butler (computer scientist), Michael Hinchey, Michael J. C. Gordon, Michael W. Shields, Mike Gordon, Muffy Calder, NASA, Netherlands, New Zealand, ..., Peter Landin, Peter Mosses, Peter O'Hearn, Philip Wadler, Richard Bornat, Robin Milner, Royal Holloway, University of London, Royal Society, Safety-Critical Systems Club, Samson Abramsky, Springer Science+Business Media, Steve Reeves (computer scientist), Steve Schneider (computer scientist), Switzerland, Tom Maibaum, Tony Hoare, United Kingdom, University of London, Ursula Martin, Z User Group, Zhiming Liu (computer scientist). Expand index (21 more) »
Advanced Programming Specialist Group
The Advanced Programming Specialist Group (APSG) is a Specialist Group (SG) of the British Computer Society (BCS).
New!!: BCS-FACS and Advanced Programming Specialist Group · See more »
BCSWomen
BCSWomen is a Specialist Group of the British Computer Society The Chartered Institute for IT that provides networking opportunities for all BCS professional women working in IT around the world, as well as mentoring and encouraging girls and women to enter or return to IT as a career..
New!!: BCS-FACS and BCSWomen · See more »
British Computer Society
Sir Maurice Wilkes served as first President of BCS in 1957. The British Computer Society (BCS) is a professional body and a learned society that represents those working in Information Technology, both in the United Kingdom and internationally.
New!!: BCS-FACS and British Computer Society · See more »
Centre for Software Reliability
The Centre for Software Reliability (CSR) is a distributed British organisation concerned with software reliability, including safety-critical issues.
New!!: BCS-FACS and Centre for Software Reliability · See more »
Cliff Jones (computer scientist)
Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods.
New!!: BCS-FACS and Cliff Jones (computer scientist) · See more »
COMEFROM
In computer programming, COMEFROM (or COME FROM) is an obscure control flow structure used in some programming languages, originally as a joke.
New!!: BCS-FACS and COMEFROM · See more »
Communicating sequential processes
In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.
New!!: BCS-FACS and Communicating sequential processes · See more »
Computer science
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
New!!: BCS-FACS and Computer science · See more »
Dines Bjørner
Professor Dines Bjørner (born 4 October 1937 in Odense) is a Danish computer scientist.
New!!: BCS-FACS and Dines Bjørner · See more »
Egon Börger
Egon Börger (born 13 May 1946) is a German-born computer scientist based in Italy.
New!!: BCS-FACS and Egon Börger · See more »
Electronic Notes in Theoretical Computer Science
Electronic Notes in Theoretical Computer Science is an electronic computer science journal published by Elsevier, started in 1995.
New!!: BCS-FACS and Electronic Notes in Theoretical Computer Science · See more »
Electronic Workshops in Computing
Electronic Workshops in Computing (eWiC) is a publication series by the British Computer Society.
New!!: BCS-FACS and Electronic Workshops in Computing · See more »
Elsevier
Elsevier is an information and analytics company and one of the world's major providers of scientific, technical, and medical information.
New!!: BCS-FACS and Elsevier · See more »
European Strategic Program on Research in Information Technology
European Strategic Programme on Research in Information Technology (ESPRIT) was a series of integrated programmes of information technology research and development projects and industrial technology transfer measures.
New!!: BCS-FACS and European Strategic Program on Research in Information Technology · See more »
Fellow of the Royal Society
Fellowship of the Royal Society (FRS, ForMemRS and HonFRS) is an award granted to individuals that the Royal Society judges to have made a "substantial contribution to the improvement of natural knowledge, including mathematics, engineering science and medical science".
New!!: BCS-FACS and Fellow of the Royal Society · See more »
Formal Aspects of Computing
Formal Aspects of Computing (FAOC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science.
New!!: BCS-FACS and Formal Aspects of Computing · See more »
Formal methods
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.
New!!: BCS-FACS and Formal methods · See more »
Formal Methods Europe
Formal Methods Europe (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and hardware in computer-based systems.
New!!: BCS-FACS and Formal Methods Europe · See more »
France
France, officially the French Republic (République française), is a sovereign state whose territory consists of metropolitan France in Western Europe, as well as several overseas regions and territories.
New!!: BCS-FACS and France · See more »
Gordon Plotkin
Gordon David Plotkin, FRS, FRSE (born 9 September 1946) is a theoretical computer scientist in the School of Informatics at the University of Edinburgh.
New!!: BCS-FACS and Gordon Plotkin · See more »
Internet Archive
The Internet Archive is a San Francisco–based nonprofit digital library with the stated mission of "universal access to all knowledge." It provides free public access to collections of digitized materials, including websites, software applications/games, music, movies/videos, moving images, and nearly three million public-domain books.
New!!: BCS-FACS and Internet Archive · See more »
Italy
Italy (Italia), officially the Italian Republic (Repubblica Italiana), is a sovereign state in Europe.
New!!: BCS-FACS and Italy · See more »
J. Anthony Hall
J.
New!!: BCS-FACS and J. Anthony Hall · See more »
Jack Copeland
Brian Jack Copeland (born 1950) is Professor of Philosophy at the University of Canterbury, Christchurch, New Zealand, and author of books on the computing pioneer Alan Turing.
New!!: BCS-FACS and Jack Copeland · See more »
Jane Hillston
Jane Elizabeth Hillston (born 1963) is Professor of Quantitative Modelling and an EPSRC Advanced Research Fellow in the School of Informatics, University of Edinburgh, Scotland.
New!!: BCS-FACS and Jane Hillston · See more »
Jawed Siddiqi
Jawed Siddiqi FBCS is a Pakistani British computer scientist and software engineer.
New!!: BCS-FACS and Jawed Siddiqi · See more »
Jean-Raymond Abrial
Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods.
New!!: BCS-FACS and Jean-Raymond Abrial · See more »
Jim Woodcock
Professor James Charles Paul Woodcock FREng FBCS CEng CITP is a British computer scientist.
New!!: BCS-FACS and Jim Woodcock · See more »
Joe Stoy
Joseph E. "Joe" Stoy is a British computer scientist.
New!!: BCS-FACS and Joe Stoy · See more »
John C. Reynolds
John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist.
New!!: BCS-FACS and John C. Reynolds · See more »
John V. Tucker
John Vivian Tucker (born 1952) is a British computer scientist and expert on computability theory, also known as recursion theory.
New!!: BCS-FACS and John V. Tucker · See more »
Jonathan Bowen
Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist.
New!!: BCS-FACS and Jonathan Bowen · See more »
Lecture Notes in Computer Science
Springer Lecture Notes in Computer Science (LNCS) is a series of computer science books published by Springer Science+Business Media (formerly Springer-Verlag) since 1973.
New!!: BCS-FACS and Lecture Notes in Computer Science · See more »
LinkedIn is a business and employment-oriented service that operates via websites and mobile apps.
New!!: BCS-FACS and LinkedIn · See more »
London
London is the capital and most populous city of England and the United Kingdom.
New!!: BCS-FACS and London · See more »
London Mathematical Society
The London Mathematical Society (LMS) is one of the United Kingdom's learned societies for mathematics (the others being the Royal Statistical Society (RSS) and the Institute of Mathematics and its Applications (IMA)).
New!!: BCS-FACS and London Mathematical Society · See more »
London South Bank University
London South Bank University (LSBU) is a public university in Newington, London.
New!!: BCS-FACS and London South Bank University · See more »
Mark Harman (computer scientist)
Prof.
New!!: BCS-FACS and Mark Harman (computer scientist) · See more »
Marta Kwiatkowska
Marta Zofia Kwiatkowska is a Polish computer scientist based in the United Kingdom.
New!!: BCS-FACS and Marta Kwiatkowska · See more »
Martin Henson
Professor Martin C. Henson FBCS FRSA (born 14 October 1954) is an English computer scientist based at the University of Essex.
New!!: BCS-FACS and Martin Henson · See more »
Michael A. Jackson
Michael Anthony Jackson (born 16 February 1936) is a British computer scientist, and independent computing consultant in London, England.
New!!: BCS-FACS and Michael A. Jackson · See more »
Michael Butler (computer scientist)
Michael J. Butler is Professor of Computer Science at the University of Southampton, England.
New!!: BCS-FACS and Michael Butler (computer scientist) · See more »
Michael Hinchey
Michael Gerard Hinchey (born 1969) is an Irish computer scientist and Director at the Irish Software Engineering Research Centre (Lero), a multi-university research centre headquartered at the University of Limerick, Ireland.
New!!: BCS-FACS and Michael Hinchey · See more »
Michael J. C. Gordon
Michael John Caldwell "Mike" Gordon FRS (28 February 1948 – 22 August 2017) was a leading British computer scientist.
New!!: BCS-FACS and Michael J. C. Gordon · See more »
Michael W. Shields
Michael ("Mike") William Shields is a British computer scientist.
New!!: BCS-FACS and Michael W. Shields · See more »
Mike Gordon
Michael Eliot "Mike" Gordon (born June 3, 1965) is a bass guitar player and vocalist most recognized as a founding member of the band Phish.
New!!: BCS-FACS and Mike Gordon · See more »
Muffy Calder
Muffy Calder OBE FRSE FREng (née Thomas) is a Scottish computer scientist, Vice-Principal and Head of College of Science and Engineering, and Professor of Formal Methods at the University of Glasgow.
New!!: BCS-FACS and Muffy Calder · See more »
NASA
The National Aeronautics and Space Administration (NASA) is an independent agency of the executive branch of the United States federal government responsible for the civilian space program, as well as aeronautics and aerospace research.
New!!: BCS-FACS and NASA · See more »
Netherlands
The Netherlands (Nederland), often referred to as Holland, is a country located mostly in Western Europe with a population of seventeen million.
New!!: BCS-FACS and Netherlands · See more »
New Zealand
New Zealand (Aotearoa) is a sovereign island country in the southwestern Pacific Ocean.
New!!: BCS-FACS and New Zealand · See more »
Peter Landin
Peter John Landin (5 June 1930, Sheffield – 3 June 2009) was a British computer scientist.
New!!: BCS-FACS and Peter Landin · See more »
Peter Mosses
Peter David Mosses (born 1948) is a British computer scientist.
New!!: BCS-FACS and Peter Mosses · See more »
Peter O'Hearn
Peter William O'Hearn One or more of the preceding sentences incorporates text from the royalsociety.org website where: (born 13 July 1963) is a Research Scientist at Facebook and a Professor of Computer science at University College London (UCL).
New!!: BCS-FACS and Peter O'Hearn · See more »
Philip Wadler
Philip Lee Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory.
New!!: BCS-FACS and Philip Wadler · See more »
Richard Bornat
Richard Bornat (born 1944), is a British author and researcher in the field of computer science.
New!!: BCS-FACS and Richard Bornat · See more »
Robin Milner
Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.
New!!: BCS-FACS and Robin Milner · See more »
Royal Holloway, University of London
Royal Holloway, University of London (RHUL), formally incorporated as Royal Holloway and Bedford New College, is a public research university and a constituent college of the federal University of London.
New!!: BCS-FACS and Royal Holloway, University of London · See more »
Royal Society
The President, Council and Fellows of the Royal Society of London for Improving Natural Knowledge, commonly known as the Royal Society, is a learned society.
New!!: BCS-FACS and Royal Society · See more »
Safety-Critical Systems Club
The Safety-Critical Systems Club (SCSC) is a professional association in the United Kingdom.
New!!: BCS-FACS and Safety-Critical Systems Club · See more »
Samson Abramsky
Samson Abramsky FRS, FRSE (born 12 March 1953) is a computer scientist who holds the Christopher Strachey Professorship at the Department of Computer Science (formerly the Computing Laboratory), University of Oxford.
New!!: BCS-FACS and Samson Abramsky · See more »
Springer Science+Business Media
Springer Science+Business Media or Springer, part of Springer Nature since 2015, is a global publishing company that publishes books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.
New!!: BCS-FACS and Springer Science+Business Media · See more »
Steve Reeves (computer scientist)
Steve Reeves is a computer scientist based at the University of Waikato in New Zealand.
New!!: BCS-FACS and Steve Reeves (computer scientist) · See more »
Steve Schneider (computer scientist)
Prof.
New!!: BCS-FACS and Steve Schneider (computer scientist) · See more »
Switzerland
Switzerland, officially the Swiss Confederation, is a sovereign state in Europe.
New!!: BCS-FACS and Switzerland · See more »
Tom Maibaum
Thomas Stephen Edward Maibaum FRSA (born 18 August 1947 in Hungary) is a computer scientist.
New!!: BCS-FACS and Tom Maibaum · See more »
Tony Hoare
Sir Charles Antony Richard Hoare (born 11 January 1934), is a British computer scientist.
New!!: BCS-FACS and Tony Hoare · See more »
United Kingdom
The United Kingdom of Great Britain and Northern Ireland, commonly known as the United Kingdom (UK) or Britain,Usage is mixed with some organisations, including the and preferring to use Britain as shorthand for Great Britain is a sovereign country in western Europe.
New!!: BCS-FACS and United Kingdom · See more »
University of London
The University of London (abbreviated as Lond. or more rarely Londin. in post-nominals) is a collegiate and a federal research university located in London, England.
New!!: BCS-FACS and University of London · See more »
Ursula Martin
Ursula Hilda Mary Martin CBE FRSE FREng (born 3 August 1953) is a British computer scientist, with research interests in theoretical computer science and formal methods.
New!!: BCS-FACS and Ursula Martin · See more »
Z User Group
The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems.
New!!: BCS-FACS and Z User Group · See more »
Zhiming Liu (computer scientist)
Prof.
New!!: BCS-FACS and Zhiming Liu (computer scientist) · See more »
Redirects here:
BCS FACS, FACS FACTS, Formal Aspects of Computing Science.
References
[1] https://en.wikipedia.org/wiki/BCS-FACS