(Apologies if you receive multiple copies of this announcement) Dear All, Regarding the Teaching Formal Methods workshop, 15 December 2006: ----------------------------------------------------------------------- -------- 1. we have extended the deadline for submissions to 30 October 2006. 2. If you plan to make a submission, please let David Duce [[log in to unmask]] know your name and title of paper 3. we are pleased to announce that FME is sponsoring the invited speaker, Ralph-Johan Back ----------------------------------------------------------------------- -------- The orginal CFP is given below. We look forward to receiving your submissions and seeing you at the event! Best wishes Paul Boca Co-organizer of TFM06 Date: Mon, 9 Oct 2006 09:00:42 +0100 Reply-To: David Duce <[log in to unmask]> Sender: Formal Aspects of Computing Science <[log in to unmask]> From: David Duce <[log in to unmask]> Subject: BCS FACS Christmas Meeting, Teaching Formal Methods, 15 December 2006; papers deadline 20 October 2006 Content-Type: text/plain; charset=ISO-8859-1; format=flowed REMINDER: deadline for submissions 20 October 2006 Proceedings will be published in BCS Electronic Workshops in Computing (eWiC) series ---------------------------------------------------------- Call for Contributions and Participation ---------------------------------------------------------- BCS-FACS Christmas Meeting 2006 TEACHING FORMAL METHODS: PRACTICE AND EXPERIENCE A One Day Workshop at BCS London Offices, First Floor, The Davidson Building, 5 Southampton Street, London WC2E 7HA FRIDAY 15 DECEMBER 2006 Organised by Oxford Brookes University (OBU) and BCS-FACS Invited speaker sponsored by Formal Methods Europe (FME) (http://www.fmeurope.org) http://www.bcs-facs.org/events/xmas2006.html [log in to unmask] The workshop will give teachers of formal methods an opportunity to discuss their experiences in this area, to share successes and failures, to identify issues in teaching formal methods and discuss how they might be addressed. Topics to be covered include: + how to motivate the study of formal methods; + techniques for teaching formal methods; + handling students with limited mathematics backgrounds; + linking formal methods and software development; + tools for teaching formal methods; + how to assess formal methods. Papers (4-6 sides A4) are invited outlining experience from which others could benefit; a selection will be chosen by the Programme Committee for presentation (ca. 20 mins) and inclusion in the proceedings to be published in the BCS Electronic Workshops in Computing (eWiC) series after the event. Paper copies of the proceedings will be made available to delegates. Papers should be prepared according to the eWiC guidelines. Style files are available for Latex, Word and HTML. Authors of accepted papers will be required to sign a licence to publish. All these documents are available at http://ewic.bcs.org/organisers/index.htm. Papers should be submitted as PDF files and sent by email to [log in to unmask] Organisations and vendors wishing to display literature or demonstrate tools and products are asked to contact the organisers (email: [log in to unmask]) DEADLINES 20 October: Submission of papers; send by email to [log in to unmask], in PDF format 17 November: Notification of selection for presentation/ inclusion in proceedings 24 November: Final versions of papers for proceedings 6 December: Registration closes 15 December: Workshop [registration to 10.30 am, close approx. 5.00 pm] CO-CHAIRS: David Duce (Oxford Brookes University), Paul Boca (BCS-FACS and Programming Research Ltd) PROGRAMME COMMITTEE: Ian Bayley (OBU), Raymond Boute (Ghent University, Belgium), Jonathan Bowen (London South Bank University), Sharon Curtis (OBU), David Duce (OBU), Ian East (OBU), Mark Green (OBU), Henri Habrias (University of Nantes, France), David Lightfoot (OBU), Clare Martin (OBU), Jose Oliveira (University of Minho, Portugal), Steve Schneider (University of Surrey), Andrew Simpson (Oxford University), Dyke Stiles (Utah State University, USA), Muhammad Younas (OBU), Hong Zhu (OBU) COST The cost of the workshop will be £60 for paid up BCS-FACS members and students, and £85 for non-FACS members. The cost includes lunch and refreshments, and a printed copy of the proceedings. All delegates will receive free membership to the FACS Specialist Group for 2007. FURTHER DETAILS Please see the web site http://www.bcs-facs.org/events/xmas2006.html 2003 WORKSHOP Proceedings of the Teaching Formal Methods 2003 workshop, held at Oxford Brookes University in December 2003 are available at http://cms.brookes.ac.uk/tfm2003/ -- Professor David Duce Department of Computing School of Technology Oxford Brookes University Wheatley Campus OXFORD OX33 1HX UK email: [log in to unmask] tel: +44 (0) 1865 484528 fax: +44 (0) 1865 484545