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)
Formal aspects of virtual organisations (W1)
Refinement workshop (W3)
Pilot Projects for the Grand Challenge in Verified Software (W4)
Computational Models for Cell Processes (W5)
|Email: email@example.com, Phone: +358 2 215 4754, Fax: +358 2 215 4732|