Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Androidâ„¢ device!
Free
Faster access than browser!
 

BCS-FACS

Index BCS-FACS

BCS-FACS is the BCS Formal Aspects of Computing Science Specialist Group. [1]

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

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

OutgoingIncoming
Hey! We are on Facebook now! »