LMS/BCS-FACS Evening Seminars

In association with the British Computer Society Formal Aspects of Computing Science (BCS-FACS), the LMS hosts an annual evening seminar on aspects of the computer science–mathematics interface. These events are free to anyone who wishes to attend, and have attracted high-quality speakers.

The 2018 LMS/BCS-FACS Seminar was held on 1st November 2018. Professor Bill Roscoe of the University of Oxford gave a talk titled Verifying CSP and its offspring.

Abstract: I like to give systems semantics with a straightforward, refinement based verification model. This is true of CSP, Timed CSP, occam, and new work on CSM (a vehicle for translating model based languages such as UML). This has paid off with many successful verification projects from the transputer, many military systems, systems for creating correct embedded software, to security analysis. I will touch on the expressiveness of CSP, the virtues of refinement and the challenges of scalability and accessibility by non specialists.

Previous Seminars

2017

Professor Erika Ábrahám - Symbolic Computation Techniques in SMT Solving

2016

Professor Muffy Calder - Probabilistic Formal Analysis of Software Usage Styles in the Wild

2015

Professor Roland Backhouse - The Mathematics of Programme Construction

2014

Professor Joel Ouaknine - Decision Problems for Linear Recurrecnce Sequences

2013

Professor Philippa Gardner - Views: Compositional Reasoning for Computer Programs

2012

Professor Jack Copeland - The Mathematical Objection: Turing, Gödel and Penrose on the Mind

2011

Professor Andrew Ireland - Reasoned Modelling: Towards Decision Support for System Designers.

2010

Professor Peter O’Hearn - Reasoning about Programmes Using a Scientific Method

2009

Professor Mike Gordon, FRS - Forward with Hoare.

2008

Professor John Tucker - The Equations of Computer Science