Actions and Detail Panel
Scottish Theorem Proving Seminar
Wed 23 November 2016, 12:30 – 17:00 GMT
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