Skip to main content »

Trinity College Dublin

Dublin University Crest Computer Science Department Trinity College Crest
 UTP08 Home
 
 Important Dates
 Call for Papers
 WIP Call
 Submission
 Invited Speakers
 Program Committee
 Local Organisation
 Participation
 
 Programme
 Registration
 Accommodation
 Travel
 Contact
 FMG
 

Unifying Theories of Programming 2008

Programme (draft)

Sunday, 7th September 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)).

Monday, 8th September 2008

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"

Tuesday, 9th September 2008

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

Wednesday, 10th September 2008

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
Email  WebAdmin @ cs.tcd.ie