FM 2008


Five co-located workshops address issues of specific formal techniques as well as novel computational models and grand challenges.

Inquiries should be directed to the Workshop Chair, John Derrick (Sheffield University).

Workshop Programme (May 26th - 27th)

Monday 26th

Formal aspects of virtual organisations (W1)
John Fitzgerald and Jeremy Bryans

Overture/VDM++ (W2)
Peter Gorm Larsen and Shin Sahara

Tuesday 27th

Refinement workshop (W3)
John Derrick

Pilot Projects for the Grand Challenge in Verified Software (W4)
Jim Woodcock

Computational Models for Cell Processes (W5)
Ion Petre and Ralph-Johan Back