Scottish Theorem Proving Meeting

Hosted by Heriot-Watt University @ International Centre for Mathematical Sciences (ICMS)

Date: Friday March 11, 2011


International Centre for Mathematical Sciences (ICMS)
Cramond Room (level 2)
15 South College Street, Edinburgh EH8 9AA

On arrival, all participants should go to Level 3 Reception at 15 South College Street to sign in.
The meeting will take place in the Cramond Room on Level 2.


13.30-14.10: Michael Chan (University of Edinburgh)

14.10-14.50: Teresa Llano (Heriot-Watt University)

14.50-15.20: Coffee and Tea

15.20-16.00: Robert Rothenberg (University of St Andrews)

16.00-16.40: Chris Power (University of Glasgow)

16.40-18.30: Drinks Reception with Light Supper.

Previous STP seminars
For further information please contact: Andrew Ireland (