UTP 2019: 7TH INTERNATIONAL SYMPOSIUM ON UNIFYING THEORIES OF PROGRAMMING
PROGRAM
Tuesday, October 8th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 2: Keynote
09:00
A Calculus for Concurrent and Sequential Programming (abstract)
10:00-10:30Coffee Break
10:30-12:30 Session 3: Unification Approaches
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
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
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)