The Department of Computing Science and
Mathematics presents the following seminars. Unless
otherwise stated, seminars will take place in Room 4B94 of the
Building, University of Stirling
from 15.00 to 16.00.
University of Stirling
Spring 1997 Seminars
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,
- 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