South West Branch
About the BCS
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.
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.
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
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/
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!
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.
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.