| 09:30 | Separating Concerns of Rely and Guarantee in Concurrent Program Derivation (invited talk), by Ian Hayes
|
| 10:30 | break
|
| 11:00 | Angelicism in the Theory of Reactive Processes, by Pedro Ribeiro and Ana Cavalcanti
|
| 11:30 | A Formal Model for the Hybrid Programming Language, by Longfei Zhu, Qiwen Xu, Jifeng He and Huibiao Zhu
|
| 12:00 | Towards Algebraic Semantics of Circus Time, by Kun Wei and Jim Woodcock
|
| 12:30 | lunch
|
| 14:00 | Constructing the Views Framework, by Stephan Van Staden
|
| 14:30 | Observation-Oriented Semantics for Calculus of Wireless Systems, by Xiaofeng Wu and Huibiao Zhu
|
| 15:00 | Timed External Choice in UTP, Samuel Canham and Jim Woodcock
|
| 15:30 | break
|
| 16:00 | Isabelle/UTP: A Mechanised Theory Engineering Framework, by Simon Foster, Frank Zeyda and Jim Woodcock
|
| 16:30 | closing and discussion of the future of UTP
|