(Click on above images for University and Departmental Home Pages.)
Seminar Series Summer 1996
All Seminars are on Wednesdays at 2:15pm in X/D007 unless otherwise indicated.
Select below for more details on individual seminars:
Wk 1, 1st May,
A Formal Approach to Software Reuse
Wk 2, 8th May,
DCGs: Parsing as Deduction?
Wk 3, 15th May, No seminar UNIVERSITY OPEN DAY
Wk 4, 22nd May, R. Cipolla
DCGs: Structure and motion for curved surfaces
Wk 5, 29th May, Graham Birtwistle
Specifying and Verifying AMULET in CCS
Wk 6, 5th Jun.,
Title to be announced.
Back to index of seminar series
Peter C. Wright
/ +44 1904 43 2747