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.
Professor Erika Ábrahám - Symbolic Computation Techniques in SMT Solving
Professor Muffy Calder - Probabilistic Formal Analysis of Software Usage Styles in the Wild
Professor Roland Backhouse - The Mathematics of Programme Construction
Professor Joel Ouaknine - Decision Problems for Linear Recurrecnce Sequences
Professor Philippa Gardner - Views: Compositional Reasoning for Computer Programs
Professor Jack Copeland - The Mathematical Objection: Turing, Gödel and Penrose on the Mind
Professor Andrew Ireland - Reasoned Modelling: Towards Decision Support for System Designers.
Professor Peter O’Hearn - Reasoning about Programmes Using a Scientific Method
Professor Mike Gordon, FRS - Forward with Hoare.
Professor John Tucker - The Equations of Computer Science
Submitted by Duncan Turton on 22 July, 2016 15:00