A one-day Workshop on Monday 18 July 2005 at the FM05 Formal Methods Conference, Newcastle upon Tyne, UK, 18–22 July 2005, organized by the GC6 Committee. The British Computer Society (BCS) generously sponsored this event. See speakers/titles below. The programme and full proceedings (2Mbytes) are also available. This was Workshop 3 on the Registration Form of the FM05 conference and was located in Beehive 221. Please note that you may register independently of the main conference if you wish.