2011 Refinement Workshop June 19, 2011

The aim of this Workshop, is to bring together people who are interested in the development of more concrete designs or executable programs from abstract specifications using formal notations, tool support for formal software development, and practical experience with formal refinement methodologies

Official Website: http://www.refinenet.org.uk/ref11/