REFINE 2007 - Refinement Workshop

Workshop Programme

www.refinenet.org.uk: Home ~ Meetings ~ Partners ~ Links

Monday 2 July 2007, co-located with IFM 2007 - St Anne's College, Oxford
REFINE 2007 - International refinement workshop.

Registration

The Refinement workshop will take place on Monday 2nd July, as one of the workshops of the IFM 2007 conference organised by the University of Oxford. Registration for the workshop is being dealt with via the IFM conference website.

Proceedings

The workshop proceedings will appear in in Electronic Notes in Theoretical Computer Science (ENTCS). BCS-FACS will provide a best paper prize. The journal Formal Aspects of Computing will publish a special issue, consisting of developments and extensions of the best workshop papers.

Preliminary Program

9.00 - 9.15	Opening
9.15 - 9.45	Invited talk
	(Automatic) Refinement and Evolution Jim Davies
9.45 - 10.45	Security
	Reduction and Refinement Eerke Boiten and Dan Grundy Constructing and reasoning about security protocols using invariants Arjan Mooij
10:45 - 11:15	Coffee
11.15 - 12:45	Algebraic methods + tool support
	Refinement algebra for probabilistic programs Larissa Meinicke and Kim Solin Can refinement be automated? Peter Hofner and Georg Struth Using model checking to automatically find retrieve relations John Derrick and Graeme Smith
12:45 - 13:45	Lunch
13:45 - 15:15	Action systems and Event-B
	Towards the formal verification of a Java Processor in Event-B Neil Evans and Neil Grant Formal derivation of a lock-free queue algorithm Lindsay Groves Power aware system refinement Johanna Tuominen, Tomi Westerlund and Juha Plosila
15:15 - 15:45	Afternoon tea
15:45 - 17:15	Simulations
	Refinement in the presence of unknowns Heike Wehrheim On the refinement of atomic actions Richard Banach and Gerhard Schellhorn Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method Kazuhiro Ogata and Kokichi Futatsugi

Organizers

Eerke Boiten, University of Kent, UK
John Derrick, University of Sheffield, UK
Graeme Smith, University of Queensland, Australia
EPSRC RefineNet network
BCS-FACS refinement subgroup