Theorem proving research is notably strong in Scottish universities, with active groups and researchers across many SICSA institutions; including Dundee, Edinburgh, Glasgow, Heriot-Watt, Stirling and Strathclyde. The Scottish Theorem Proving (STP) Seminar Series provides a common venue for communication and sharing of ideas by all these researchers.
Date and Time
International Centre for Mathematical Sciences (ICMS)¡
15 South College Street