Meeting 56
Host: Serdar Tasiran
Location: Istanbul, Turkey
Dates: 23–27 March 2015
Talks
- Jay Misra, Bilateral Proofs of Concurrent Programs (overview)
- Bertrand Meyer, All you need is code. Code is all you need. (overview)
- Cliff Jones, Possible values: notion, notation, issues
- Peter Müller, Partial Verification Results
- Rustan Leino, Programming with and implementing Hilbert’s epsilon operator
- Ralph Back, Structured Derivations in High School Mathematics
- Daniel Jackson, Concepts & Purposes
- Pamela Zave, A Formal Model of a Cloud, Featuring Modular Abstractions and Formal Reasoning
- Sophia Drossopoulou, Towards Reasoning about Risk and Trust in the open world
- Manfred Broy, Modeling Systems, Contexts, and Interactions
- Cormac Flanagan, Yield-Oriented Programming
- Serdar Tasiran, Proving Stepwise Refinement for Concurrent Programs
- Azadeh Farzan, Thoughts on Synthesizing Parallelism
- Emina Torlak, A Dependability Case Language for Checking End-to-End Properties of Software Systems
- Bertrand Meyer, All you need is code. Code is all you need.
- Michael Jackson, Managed Sequential Processes / Behaviours of Cyber-Physical Systems
- Michael Butler, A specification refinement and decomposition method for cyber physical systems
- Andreas Podelski, Proof Spaces for Unbounded Parallelism
- Ahmed Bouajjani, Analyzing Concurrent Program Behaviors under Weak Memory Models
- Jay Misra, Bilateral Proofs of Concurrent Programs
- Tevfik Bultan, String Analysis for Dependable Input Validation and Sanitization
- Rajeev Joshi, Processing Spacecraft Telemetry
- Constantin Enea, Monitoring Refinement via Symbolic Reasoning
Attendees
- Ralph Back
- Ahmed Bouajjani (local observer)
- Manfred Broy
- Tevfik Bultan (local observer)
- Michael Butler
- Sophia Drossopoulou (observer)
- Constantin Enea (local observer)
- Azadeh Farzan (observer)
- Cormac Flanagan (observer)
- Daniel Jackson
- Michael Jackson
- Cliff Jones
- Rajeev Joshi
- Rustan Leino
- Bertrand Meyer
- Jay Misra
- Peter Müller
- Andreas Podelski
- Serdar Tasiran
- Emina Torlak (observer)
- Pamela Zave