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