We use cookies to make your experience of our website better. Details of our privacy policy is available here, and is available in the footer of every page on this site.

  • Menu


Visit our Facebook group

BCS SW YouTube Channel


Popular links


About the BCS

  • Join the BCS
    Join the BCSBy joining the BCS today, you can become a member of the South West branch and will be more than welcome to join us for our regular meetings and to contribute to the articles and resources available on this web site.

    Itís about setting standards. Not standing still.
    BCS Code of Conduct
    BCS Code of Good Practice

Welcome to the BCS (British Computer Society) South West Branch website

Welcome to the website for the South West branch of the BCS (British Computer Society). This is one of the largest geographical branches covering all of Devon and Cornwall, specifically the postal codes EX, PL, TQ, TR. The Branch has about 1000 members.

Our monthly meetings are generally held between October and May. Events are usually held in either Plymouth or Exeter, there is no charge (unless indicated) and everyone is welcome.

Early Search for Tractable Ways of Reasoning about Programs
16 February 2016, 19:30

This talk traces the important steps in the history of research on reasoning about programs. The main focus is on sequential imperative programs. Initially, researchers focussed on ways of verifying that a program satisfies its specification (or that two programs were equivalent). Over time it became clear that post facto verification is only practical for small programs and attention turned to verification methods which support the development of programs; for larger programs it is necessary to exploit a notation of compositionality. Coping with concurrent algorithms is much more challenging - this and other extensions are considered briefly. The main thesis of this talk is that the idea of reasoning about programs has been around since they were first written; the search has been to find tractable methods.

Biography
Professor Cliff Jones is a Fellow of the Royal Academy of Engineering (FREng), ACM, BCS, and IET and Founding Editor of the Formal Aspects of Computing journal.
Cliff has spent 20 years of his career in industry. Fifteen years in IBM saw among other things the creation with colleagues in Vienna of VDM which is one of the better known "formal methods". He subsequently became a professor at the University of Manchester, worked in industry at Harlequin for a period and is now a Professor of Computing Science at the University of Newcastle upon Tyne.
As well as formal methods (especially concurrency) and their support systems, he also has interests in interdisciplinary aspects of computer science and the history of computing.
More information & booking form

Secure South West 6 - 9th February 2016

Secure South West 6 - 9th February 2016 Branch members may be interested in an event jointly organised by Plymouth University and Plymouth City Council, and supported by the south west branches of BCS - The Chartered Institute for IT and the Institute of Information Security Professionals, and the South West WARP. http://www.securesouthwest.com/
View article

BCS App-a-thon - Guinness World Records Challenge

The BCS will be attempting to break the Guinness World Record for the largest number of people learning to write Android smartphone applications at the same time and you can be part of it!
View article

Secure South West 5 - 2nd April 2015

Secure South West 5 - 2nd April 2015 Branch members may be interested in an event jointly organised by Plymouth University and Plymouth City Council, and supported by the south west branches of BCS - The Chartered Institute for IT and the Institute of Information Security Professionals, and the South West WARP.
View article

BCS South West Branch Student Prizes - 2014

BCS South West Branch Student Prizes - 2014 The South West Branch has awarded prizes to the best students studying a computing programme for best academic performance at the universities of Plymouth and Exeter.
View article