School of Computing - University of Teesside - Middlesbrough (UK)
Menu of Content

Invited Speakers & Talks

Title of the Talk Speaker Institution
Termination of real-time programs: definitely, definitely not or maybe Ian Hayes University of Queensland
A Theory of Reactive Design He Jifeng Int. Inst. of Software Tech. United Nations University (Macau)
Retrospective and Prospective for Unifying Theories of Programming Eric Hehner University of Toronto
CSP is a Retract of CCS Tony Hoare Microsoft Research
Unifying Probability Jeff Sanders Oxford University
An operational semantics in UTP for a language of reactive designs Jim Woodcock University of York
In case of any problems accessing this website please email