Trinity College Dublin

Unifying Theories of Programming 2008

19:00-20:00 (approx), informal gathering at the Palace Bar, (see map showing route from TCD Front Gate (marker A) to the Palace (marker B)).

11.30: Registration
12.00: Jim Woodcock,
"The Miracle of Reactive Programming"
12.30: C. E. Martin and S. A. Curtis,
"Monadic Maps and Folds for Multirelations in an Allegory"
13.00: Lunch (East Dining Hall, TCD)
14.30: Steve Dunne and Andy Galloway,
"Reasoning about Loops in General Correctness"
15.00: Alan Stewart,
"Parallel Assignment Revisited"
15.30: Coffee
16.00: Hugh Anderson, Gabriel Ciobanu and Leo Freitas,
"UTP and Temporal Logic Model Checking"
16.30: Frank Zeyda and Ana Cavalcanti,
"Encoding Circus Programs in ProofPower-Z"

10.00: Invited Talk Jifeng He,
"Transaction Calculus"
11.00: Coffee
11.30: Ana Cavalcanti and Marie-Claude Gaudel,
"A note on traces refinement and the conf relation in the Unifying Theories of Programming"
12.00: Bernhard K. Aichernig and Martin Weiglhofer,
"Unifying Input-Output Conformance"
12.30: Huibiao Zhu, Jifeng He and Xiaoqing Peng,
"Denotational Approach to an Event-driven System-level Language"
13.00: Lunch (East Dining Hall, TCD)
14.30: Naijun Zhan, Eun Young Kang, and Zhiming Liu,
"Black-Box Composition and Refinement of Components"
15.00: Meng Sun and Farhad Arbab,
"Modelling Connectors as Designs in Unifying Theories of Programming"
15.30: Coffee
16.00: Andrew Butterfield and Pawel Gancarski,
"Progress towards Synchronicity with Circus"
16.30: Plenary Session
"The future of UTP" (Jim Woodcock, chair) (slides [PDF])
18.30: pre-dinner drinks ("The Duke", Duke Street)
19.30: Symposium Dinner: Fire Restaraunt

10.00: Invited Talk Ralph-Johan Back,
"Refinement Calculus as a Theory of Contracts"
11.00: Coffee
11.30: Juan Perna and Jim Woodcock,
"UTP semantics for Handel-C"
12.00: Michael Anthony Smith and Jeremy Gibbons,
"Unifying Theories of Locations"
12.30: Walter Guttmann,
"Lazy UTP"
13.00: Alistair McEwan and Jim Woodcock,
"Unifying Theories of Interrupts"
13.30: Lunch (Atlantic Restaurant, Suffolk St.)
15.00: ?teaching FM