SICSA Sponsored Seminar: Scottish Theorem Proving 2017

Date(s) - 19/05/2017
1:15 pm - 5:00 pm

School of Computing Science, Sir Alwyn Williams Building

SICSA is sponsoring the Scottish Theorem Proving 2017 which is taking place on Friday 19th May 2017 at School of Computing Science, University of Glasgow, 

Everyone with an interest in theorem proving and related forms of formal verification is warmly invited to the Scottish Theorem Proving seminar at the School of Computing Science, University of Glasgow. This year we celebrate 20 years of Scottish Theorem Proving seminars (over 40 events). Therefore it is a great opportunity for the School of Computing Science to host the first seminar of 2017 to join the on-going celebration of the 60th anniversary of Computing in Glasgow.

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 provide a common venue for communication and sharing of ideas by all these researchers. At least once a year, one of the departments hosts an informal seminar for the whole Scottish theorem proving community. As well as theorem proving, other related fields are also represented, e.g. model checking and other forms of formal verification. This is a friendly venue for PhD students and RAs to discuss their work in progress and get feedback. The usual format is to have three or four talks in an afternoon session, starting around 14:00 and finishing by 17:00. Lunch will be provided from 13:15 and later in the afternoon there will be cake during the coffee break.

Call for contributions:
We invite contributions on all aspects of theorem proving and related forms of formal verification. If you would like to give a talk, please get in touch with Oana Andrei  by 5th May 2017.

Provisional schedule:
13:15 – 14:00    Lunch
14:00 – 14:40    Tom Melham (University of Oxford), title TBC
14:40 – 15:20    Yue Li (Heriot-Watt University), Co-inductive Structural Resolution
15:20 – 15:40    Coffee break
15:40 – 16:20    TBA
16:20 – 17:00    TBA


Oana Andrei ( and Alice Miller (  — please direct any enquired to Oana.

More details can be found at the Scottish Theorem Proving web-page.


Attendance is free, but participants are asked to register by 10th of May at the Eventbrite page in order to help with catering arrangements. Lunch, tea and coffee will be provided.

This entry was posted in .