(Click on above images for University and Departmental Home Pages.)
Seminar Series Spring 2001
All Seminars are on Wednesdays at 2:00pm in CS103 unless otherwise indicated.
Select below for more details on individual seminars:
17 January, 13:20, Anthony Finkelstein (University College London).
"xlinkit.com: Link Generation and Consistency Management
as an Application Service"
24 January, No seminar.
31 January, No seminar.
7 February, Stephen Pulman (Oxford University).
"Bidirectional Contextual Resolution"
for this talk.)
14 February, Detlef Plump (Univ. of York)
21 February, Andrew Ireland (Heroit-Watt Univ.)
"Towards Proof Planning for High Integrity Software"
28 February, Seminar cancelled due to transport problems.
7 March, Guiem Bernat (Univ. of York).
"Jorvik: A Framework for Flexible Real-Time Systems"
14 March, No seminar.
Back to index of seminar series
+44 1904 43 2745