Scottish Theorem Proving

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.

List of future and past seminars

Mailing List

A mailing list exists for disseminating information to the Scottish Theorem Proving community. The primary aim of this list is to announce events in the seminar series. To reduce traffic, the list is moderated and will accept only messages of relevance to the Scottish community specifically. General conference announcements and other information often distributed elsewhere will not be accepted.

To send a message to the list, email it to

Click here to access the stp member web page. From this page, you can get information about the list. You can also subscribe or unsubscribe and look at the archives.

The Scottish Theorem Proving groups/departments

Applied Formal Methods Group, University of Stirling
Dependable Systems Group, Heriot-Watt University
FATA Group, Department of Computing Science, University of Glasgow
Programming Languages, Semantics and Logic, University of Dundee
Mathematical Reasoning Group and other people in the School of Informatics, University of Edinburgh
Mathematically Structured Programming Group, University of Strathclyde
Computational Logic Group, University of St Andrews

[ maintained by Andrew Ireland, Dependable Systems Group, School of Mathematical and Computer Sciences Heriot-Watt University ]