IFIP WG 2.3 meeting 50

Logistics

Where: Lachen, Switzerland
When: 1-5 March 2010
Host: Peter Müller

Tony Hoare, "Avoid operational semantics like the plague"
N. Shankar, "A variation of Gilbert's card trick"
Bertrand Meyer, "Towards a theory and calculus of aliasing"
Michael Jackson, "Structure and reasoning in software development ≈ (a little methodology)" [slides]
Jayadev Misra, "Using concurrency for structuring" [slides]
Cliff B. Jones, "Rely/guarantee even without races" [slides]
K. Rustan M. Leino, "Two problems in the specification of termination" [programs]
Serdar Tasiran, "Reduction, abstraction, and atomicity: How much can we prove about concurrent programs using them?" [slides]
Alexander J. Summers, "Considerate reasoning and event-based programming"
Clark Barrett (with Dejan Jovanovic), "New insights on the Nelson-Oppen method"
N. Shankar, "The kernel of truth" [slides]
Carlo A. Furia (with Bertrand Meyer), "Inferring loop invariants using postconditions"
Ioannis Kassios (with Peter Müller), "Specification and verification of closures"
Manfred Broy, "From formal methods to modeling"
Pietro Ferrara, "Abstract interpretation of memory models"
Greg Nelson (with Mike Burrows), "LIM: The Language of the Included Miracle"
Bertrand Meyer, "Why there is no backward alias calculus"
Eric Hehner, "Negative advertisement for my presentation after the break"
Nadia Polikarpova, "Specifying reusable components with model-based contracts"
Eric C. R. Hehner, "the Halting Problem" [paper]