The Scottish TheoremProving seminar series
The next STP meeting will take place on Friday 14 December 2018. It is being organized by the
School of Mathematical and Computer Sciences (Heriot-Watt University) and will take place at the:
International Centre for Mathematical Sciences (ICMS)
HERE for more details.
5th floor of the Bayes Centre
47 Potterow, Edinburgh, EH8 9AB.
Friday 19th May 2017 (* 20th Anniversary Event *)
University of Glasgow