SPLS Meeting: Tuesday 7th December 2004


Department of Computing Science, University of Glasgow
Room F171, 17 Lilybank Gardens, Glasgow G12 8RZ.

Directions: Enter the Department at 17 Lilybank Gardens. Go upstairs to the first floor. F171 is the first room on the right.

Information on travelling to the university can be found here. Campus maps can be found here.


10.00 - 16.00


Click on a title to see the abstract.


At 16.00 there is the usual weekly seminar of the Formal Analysis, Theory and Algorithms (FATA) research group.
The speaker is Dr Andrew Ireland, Heriot-Watt University, and details of his talk can be found here.