# 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.
## 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 ]