Computing Science
University of Stirling
Spring 1997 Seminars
The Department of Computing Science and
Mathematics presents the following seminars. Unless
otherwise stated, seminars will take place in Room 4B94 of the
Cottrell
Building, University of Stirling
from 15.00 to 16.00.
If you would like to give a seminar to the department in future or if you
need more information, please contact the seminar organiser Ken Turner (Phone 01786-467-420,
Email kjt@cs.stir.ac.uk).
- 21st February
-
Prof. Gyula Csopaki, Technical University of Budapest
``Protocol Specification with SDL''
- 28th February
-
Dr. Chris Johnson, University of Glasgow
``Proving the Properties of Accidents''
- 7th March
-
Dr. Andrew Ireland, Heriot-Watt University
``Do-it-Yourself Proof Planning''
- 14th March
-
Aoife Kavanagh, University of Stirling
``Capabilities in a Distributed Persistent System''
- 21st March
-
Prof. Ken Turner, University of Stirling
``Relating Architecture and Specification''
28th March & 4th April - Mid Semester Break.
- 11th April
-
Dr. Paddy Nixon, Trinity College Dublin
``Putting the method in formal methods''
- 18th April
-
Dr. Kevin Hammond, University of St Andrews
``Implementing Parallel Haskell''
- 25th April
-
Prof. Derek McAuley, University of Glasgow
``Nemesis the Operating System''
- 2nd May
-
Prof. David Harper, Robert Gordon's University
``Extending the reach of information retrieval''
Up one level to Computing Science Seminars
URL: https://www.cs.stir.ac.uk/~kjt/seminars/spr97.html