PROGRAM
Tuesday, October 8th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 2: Keynote
Chair:
| 09:00 | A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic (abstract) |
10:00-10:30Coffee Break
10:30-12:30 Session 3: Unification Approaches
Chair:
| 10:30 | A Testing Perspective on Algebraic, Denotational, and Operational Semantics (abstract) |
| 11:00 | Whither specifications as programs (abstract) |
| 11:30 | Connecting Fixpoints of Computations with Strict Progress (abstract) |
| 12:00 | Probabilistic Semantics for RoboChart: A Weakest Completion Approach (abstract) |
12:30-14:00Lunch
14:00-15:00 Session 4: Hybrid Models
Chair:
| 14:00 | Hybrid Relations in Isabelle/UTP (abstract) |
| 14:30 | Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow (abstract) |
15:00-15:30Coffee Break
15:30-17:00 Session 5: Concurrency
Chair:
| 15:30 | The Inner and Outer Algebras of Unified Concurrency (abstract) |
| 16:00 | Developing an algebra for rely/guarantee concurrency (abstract) |
| 16:30 | UTP Semantics of a Calculus for Mobile Ad Hoc Networks (abstract) |