Scottish Theorem Proving (STP) Event

Date(s) - 14/12/2018
12:30 pm - 5:00 pm

International Centre for Mathematical Sciences (ICMS)

SICSA is pleased to be sponsoring the next Scottish Theorem Proving (STP) Event which will take place on Friday 14th December at the International centre for Mathematical Sciences (ICMS), Bayes Centre Edinburgh

Theorem proving research is notably strong in Scottish universities, with active groups and researchers in at least six departments. The Scottish Theorem Proving Seminar Series provides a common venue for communication and sharing of ideas by all these researchers. At least once a term, one of the departments hosts an informal seminar for the whole Scottish theorem proving community. The usual format is to have two or three talks in an afternoon session, starting around 14:00 and finishing by 17:00. This deliberately lightweight format makes the seminar an easy day trip for everyone from across Scotland.

The speakers for this event are:
– Kirsty Duncan (Heriot-Watt University):
Existing landscape in verification of neural networks

– William Kavanagh (University of Glasgow):
Model Checking for Interesting Stochastic Turn-Based Games

– Juan Casanova (University of Edinburgh):
Meta-resolution: A Least Commitment Algorithm for Enumerating
Provable Instantiations of Formulas Containing Meta-variables

Talks start at 1.30pm in the ICMS Lecture Theatre.

There is a lunch from 12.30pm – If you wish to attend the lunch you need to contact Andrew Ireland ( by November 30.

For more details, and background on STP, see:

This entry was posted in .