Meeting 59
Host: Mark Utting
Location: Mooloolaba, Australia
Dates: 17–21 July 2017
Talks
- Peter Müller, Modular Verification of Secure Information Flow
- Thomas Wies, Flow Interfaces
- Gerwin Klein
- David Pearce, Rethinking Automated Theorem Provers
- Ruzica Piskac, New Applications of Software Synthesis: Verification of Configuration Files and Firewalls Repair
- Hridesh Rajan, Modular Reasoning about Concurrent Software
- Graeme Smith, Correctness of concurrent objects on weak memory models
- Peter Hoefner, Verifying Liveness Properties: Assumptions and Problems
- Mark Utting, Making Whiley Boogie!
- Ian Hayes, Specifying concurrent components
- Michael Butler, Real-time deadlines and delays in Event-B
- Gary Leavens, Modular Reasoning about Object-Oriented Programs using FRL and Typestates
- Rajeev Joshi, Modeling and Monitoring Hierarchical State Machines (with Scala)
- Toby Murray, Towards General Rely-Guarantee Reasoning for Concurrent, Value-Dependent Noninterference
- Carroll Morgan, Probabilistic Termination
Attendees
- Michael Butler
- Ian Hayes
- Peter Hoefner (observer)
- Rajeev Joshi
- Gerwin Klein (observer)
- Gary Leavens
- Larissa Meinicke (observer)
- Carroll Morgan
- Peter Müller
- Toby Murray (observer)
- David Pearce (observer)
- Ruzica Piskac (observer)
- Hridesh Rajan (observer)
- Graeme Smith (observer)
- Mark Utting
- Thomas Wies (observer)