The Scottish TheoremProving seminar series

Forthcoming Meeting

The next meeting will be hosted by the University of Dundee on Wednesday 7th October - for more detail click here.

Previous Meetings

Friday 13th March 2015
Heriot-Watt University

Friday 5th December 2014
University of Glasgow

Friday 31st January 2014
St Andrews University

Friday 14th December 2012
University of Edinburgh

Friday 10th Feb 2012
Strathclyde University

Friday 17th June 2011
University of Dundee

Friday 11th March 2011
Heriot-Watt University

Friday 20th November 2009
University of Edinburgh

Friday 12th June 2009
St Andrews University

Friday 28th March 2008
University of Glasgow

Friday 30th November 2007
Heriot-Watt University

Friday 22nd June 2007
University of Stirling

Friday 23th February 2007
University of Edinburgh

Friday 13th October 2006
University of St Andrews

Tuesday 6th June 2006
University of Glasgow

Friday 17th March 2006
Heriot-Watt University

Friday 22nd October 2004
University of Edinburgh

Friday 19th March 2004
Stirling University

Friday 19th December 2003
Strathclyde University

Thursday 10th July 2003
University of St Andrews

Friday 14th March 2003
Heriot-Watt University

Friday, 13th December 2002
ISLI, The Alba Centre, Livingston

Friday, 12th July 2002
Division of Informatics, University of Edinburgh

Friday, 22 March 2002
Department of Computing Science, University of Glasgow

Friday, 14 December 2001
School of Computer Science, University of St Andrews

Friday 29th June 2001
Division of Informatics, University of Edinburgh.

Friday 30th March 2001
Department of Computing Science and Mathematics, University of Stirling

Friday 15th December 2000
Department of Computing and Electrical Engineering, Heriot-Watt University

Friday 7th July 2000
School of Computer Science, University of St Andrews

Friday 24th March 2000
Institute for System Level Integration, Livingston

Friday 10th December 1999
Department of Computing Science, University of Glasgow

Friday 11th June 1999
Department of Computing Science and Mathematics, University of Stirling

Friday 26th February 1999
Department of Computer Science, University of Strathclyde

Friday 11th December 1998
Division of Informatics, University of Edinburgh

Friday, 11th September 1998
Department of Computer Science, University of Durham

Tuesday, 23rd June 1998
Department of Computer Studies, Glasgow Caledonian University

Friday 13th February 1998
Department of Computer Science, University of Edinburgh

Friday 14th November 1997
Department of Computing Science and Mathematics, Stirling University

Friday 4th July 1997
Department of Computing and Electrical Engineering, Heriot Watt University

Friday 9th May 1997
Department of Computing Science, University of Glasgow

Friday 14th March 1997
Scottish Applied Theorem Proving Day, University of St Andrews

Return to Scottish Theorem Proving page.