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 |