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

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

Web Ken Turner Home   Email    Search Search Web Pages