The
S
cottish
T
heorem
P
roving seminar series
Forthcoming Meeting
December 12, 2019 at ICMS -- for further details click
here
.
Previous Meetings
Wednesday 14th December 2018
Heriot-Watt University
Wednesday 23rd November 2016
University of Edinburgh
Wednesday 7th October 2015
University of Dundee
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
S
cottish
T
heorem
P
roving
page.