Meeting 54
Host: Bertrand Meyer
Location: St. Petersburg, Russia
Dates: 3–7 June 2013
Talks
- Tony Hoare, Algebraic Laws and Programming
- Wen Su and Jean-Raymond Abrial, Formalizing Hybrid Systems with Event-B
- Rustan Leino, More co-induction
- Ralph Back, Structured derivation
- Bertrand Meyer, AGILE! The good, the hype, and the ugly
- Andreas Zeller, Search-Based System Testing
- Michael Butler, (Towards) specification-based refinement patterns for abstract program structures
- Perdita Stevens, Models in software engineering
- James Noble, The need for capability policies (with Sophia Drossopoulou)
- Irina Shoshmina, Verifying context requirements of embedded control systems (with Yuri Karpov)
- Andreas Podelski, Proofs that count (with Azadeh Farzan and Zachary Kincaid)
- Andrei Sabelfeld, Tracking information flow in web applications
- Jayadev Misra, Orc Verification
- Pamela Zave, Compositional network mobility (with Jennifer Rexford)
- Emina Torlak, Growing Solver-Aided Languages with Rosette (with Rastislav Bodik)
- Alexander Kogtenkov and Sergey Velder, Automatic frame inference (with Bertrand Meyer)
- Serdar Tasiran, Generalizing QED for weak memory models
- Gary Leavens, Supertype abstraction and behavioral subtyping (with David Naumann)
- Cliff Jones, A transformational view of rely/guarantee rules (with Ian Hayes and Rob Colvin)
- Jean-Raymond Abrial, Hybrid Systems and Ordinary Differential Equations (with Wen Su)
- Jean-Raymond Abrial, A construction of the Ticket System
- Jay Misra, A different solution to the Ticket System problem
- Rustan Leino, A Dafny solution to the Ticket System problem
Attendees
- Jean-Raymond Abrial
- Ralph Back
- Michael Butler
- Tony Hoare
- Cliff Jones
- Yuri Karpov (local observer)
- Alexander Kogtenkov (local observer)
- Gary Leavens
- Rustan Leino (acting secretary)
- Jayadev Misra
- James Noble (observer)
- Andrei Sabelfeld (observer)
- Nikolai Shilov (local observer)
- Irina Shoshmina (local observer)
- Perdita Stevens (observer)
- Serdar Tasiran
- Andrei Terekhov (local observer)
- Emina Torlak (observer)
- Sergey Velder (local observer)
- Jim Woodcock
- Pamela Zave (chair)
- Andreas Zeller (observer)