[Apologies if you receive multiple copies of this announcement]
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
|