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 2016 LMS/BCS-FACS Seminar will be held on 3rd November at 6:00pm at De Morgan House.  Muffy Calder of the University of Glasgow will give a talk titled Probabilistic Formal Analysis of Software Usage Styles in the Wild.


Abstract: Discrete mathematics and logics are used to analyse the intended behaviour of software systems. Statistical methods are used to analyse the logged data from instrumented systems. So what happens when we instrument software: can we bring the two techniques together to analyse how people actually use software? 

But users are difficult – they adopt different styles at different times!  What characterises usage style, of a user and of populations of users, how should we characterise the different styles, how do characterisations evolve over an individual user trace, and/or over a number of sessions over days and months, and how do characteristics of usage inform evaluation for redesign and future design? Can we formalise these concepts and construct effective procedures? 

Professor Calder will outline a novel mathematical/computational approach that aims to answer all these questions. The approach is based on discrete space stochastic models, statistical inference of those models, and stochastic temporal logics and model checking for investigating hypotheses about use, all applied to longitudinal sets of logged usage data.  The approach is the result of a five year collaboration between software developers, statisticians, HCI, and formal methods experts.  She will illustrate by way of a mobile app that is used by tens of thousands of users worldwide; a new version of the app, based on the analysis and evaluation, has just been deployed.  This is formal analysis in the wild!   

A poster is available (PDF).

If you wish to attend, please register at lmscomputerscience@lms.ac.uk.


Previous Seminars


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