Home » #56 Istanbul, Turkey

#56 Istanbul, Turkey

Where:  Istanbul, Turkey

When: 23-27 March, 2015

Host:  Serdar Tasiran

Location: Pera Palace




  • 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


  • 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