Scottish Theorem Proving

News: We are very grateful to the SICSA Modeling and Abstraction theme for funding a meal for all attendees of our meeting!

There will be a meeting of STP in Edinburgh on Friday, 20th November, 2009, in the School of Informatics, University of Edinburgh, from 1:00 to 5:30 pm.

The meeting is in the combined rooms IF 4.31+4.33 of the Informatics Forum of the University of Edinburgh.

Address: Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK

Google Maps: Much information


! Lunch and coffee breaks are in Mini Forum 2 (IF 4.30 -- that is, room 4.30 on the fourth floor of the Informatics Forum).
! Talks are in the rooms IF 4.31+4.33 (combined into one), which is just around the corner from Mini Forum 2.
! After the meeting, we'll be heading to the Dagda Bar ( info ).

Organised by G. O. Passmore and L. Dixon and L. Georgieva
    email: {g DOT passmore AT, l DOT dixon AT, lilia AT}.