Computer Laboratory Home Page Search A-Z Directory Help
University of Cambridge Home Logic and Semantics Seminar
Monday, 16th February, 1998: Andrew Stevens
Computer Laboratory > Research > TSG > Logic and Semantics Seminar > Monday, 16th February, 1998: Andrew Stevens

Speaker: Andrew Stevens
Title: A Unifying Theory and its Mechanisation
Time: Monday, 16th February, 1998, 14:00
Venue: Discussion Room
Abstract:

Recent work by C.A.R. Hoare and J. He has confirmed a widely held conjecture that all paradigms can be embedded in the single mathematical theory of relations. A general "unifying theory" has been found which projects into more particular instances corresponding a wide variety of computational paradigms. The key goal of this work has been to provide a framework to integrate the diverse formalisms and tools needed to extend formal methods to economically significant fractions of the design trajectory of critical systems.

In this talk I will present an introduction to the unifying theory and some of its projections and outline proposals for its realisation within conventional theorem provers based on higher-order logic.