Symposium Programme
Sunday 5th Feb (Registration and informal talks)
| 16:00-16:30 | Registration & TEA |
| 16:30-16:40 | Welcome |
| 16:40-17:20 | Informal talk by Andrew Butterfield: "Issues Regarding R2 and Undefinedness" |
| 17:20-18:00 | Informal talk by Bernhard Moeller: "The Linear Algebra of UTP" |
| 18:00 | Close of preliminary day |
Monday 6th Feb (1st day of symposium proper)
| 09:00-10:00 | Invited talk by Eric Hehner, University of Toronto: "Retrospective and Prospective for Unifying Theories of Programming" |
| 10:00-10:40 | Thiago Santos et al: "Object-Orientation in UTP" |
| 10:40-11:10 | COFFEE |
| 11:10-12:10 | Invited talk by Sir Tony Hoare, Microsoft Research: "CSP is a retract of CCS" |
| 12:10-12:50 | Bill Stoddart et al: "A Design-based Model of Reversible Computation" |
| 12:50-14:00 | LUNCH |
| 14:00-15:00 | Invited talk by Jim Woodcock, University of York: "An operational semantics in UTP for a language of reactive designs" |
| 15:00-15:40 | Shengchao Qin et al: "Constructing Property-Oriented Model for Verification" |
| 15:40-16:10 | TEA |
| 16:10-16:50 | Moshe Deutsch & Martin Henson: "A Relational Investigation of UTP Designs and Prescriptions" |
| 16:50-17:30 | Marcel Oliveira et al: "Unifying Theories in ProofPower-Z" |
| 17:30 | Close of 1st day |
Tuesday 7th Feb (2nd day of symposium proper)
| 09:00-10:00 | Invited talk by Ian Hayes, University of Queensland: "Termination of real-time programs: definitely, definitely not or maybe" |
| 10:00-10:40 | Yifeng Chen: "Hierarchical Organisation of Predicate-Semantic Models" |
| 10:40-11:10 | COFFEE |
| 11:10-12:10 | Invited talk by Jeff Sanders, Oxford University: "Unifying Probability" |
| 12:10-12:50 | Ana Cavalcanti: "Pointers in the Unifying Theories of Programming" |
| 12:50-14:00 | LUNCH |
| 14:00-15:00 | Invited talk by He Jifeng, IIST-UNU Macau: "A Theory of Reactive Design" *Note that this talk has been cancelled* |
| 15:00-15:20 | TEA |
| 15:20-16:00 | Gift Nuka & Jim Woodcock: "Mechanising a Unifying Theory" |
| 16:00-16:40 | Walter Guttmann & Bernhard Moeller: "Modal Design Algebra" |
| 16:40 | Close of symposium |