Draft Programme

Saturday 20th July

9 - 1pm Refinement calculus

• R Back and J von Wright
  Compositional Action System Refinement
• D Naumann
  OO/higher order refinement calculus
• L Wildman and C Fidge
  The variety of variables in computer-aided real-time programming.
• B Aichernig
  Contract-based mutation testing in the refinement calculus.
• S Dunne
  Junctive Compositions of specifications in total and general correctness.
• A Hilton and J Hall
  Refining specifications to programmable logic.
• A Lopes and J Fiadeiro
  Superposition: Composition vs Refinement of non-deterministic, action-based systems.

2 - 4.30pm Z and Concurrency

• S Stepney, F Polack and I Toyn
  Refactoring in Maintenance and development of Z specifications and proofs.
• L Groves
  Refinement and the Z schema calculus.
• C Bolton and J Davies
  A comparison of refinement orderings and their associated simulation rules.
• J Derrick and E Boiten
  Concurrent and relational refinement
• A Cavalcanti and J Woodcock
  Refinement in Circus

5.30 - 6.30pm Architecture

• E Boerger
  Refinement method for Abstract State Machines
• M Anlauff and A Suenbuel
  Towards component based systems: refining connectors

Sunday 21st July

9 - 10.30am Architecture ctd

• K Engelhardt
  An Asynchronous multi-agent calculus
• E Sekerinski
  Tabular Refinement
• Y Lamo and M Walicki
  Composition and refinement of specifications and parameterised data types

11am - 12.30pm Concurrency

• J Davies
  The refinement of concurrent systems described in UML
• H Fecher and M Majster-Cederbaum
  Taking Decisions Later: end-based choice combined with action refinement
• H Fecher, M Majster-Cederbaum and J Wu
  Refinement of actions in a real-time process algebra with a true concurrency model.