Seminar Series Autumn 2001
All Seminars are on Wednesdays at 2:00pm in CS103 unless otherwise indicated.
Select below for more details on individual seminars:
"Two Small Steps from Procedural Programming to Modelling and Solving Complex Problems"
"Learning Grammars by Failing to Parse"
"Confirmation-Guided Discovery of First-Order Rules from Structured Data"
Further Information about Tertius
"Stochastic Constraint Research at Essex"
"Heath Robinson and Colossus Versus Lorenz: WW II Code Breaking in Bletchley Park"
"Visual Navigation for Mobile Robots"
"Z Specification and Proof of a Commercial Smart Card Operating System"
"Paraglide: A Mobile Information System for Anaesthetists"
"Building Reliable Object-Oriented Software: The `BON' Way"
Seminar Organiser:Alan Frisch
+44 1904 43 2745
Last updated September 2001