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

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

In case of any problems accessing this website please email f.zeyda@tees.ac.uk.