[Haskell] BCS FACS Christmas Meeting, Teaching Formal Methods, 15 December 2006; papers deadline 20 October 2006

Clare Martin cemartin at brookes.ac.uk
Mon Oct 9 08:55:18 EDT 2006

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


A One Day Workshop at BCS London Offices, First Floor, The Davidson 
Building, 5 Southampton Street, London WC2E 7HA


Organised by Oxford Brookes University (OBU) and BCS-FACS

Invited speaker sponsored by Formal Methods Europe (FME) 


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 
daduce at brookes.ac.uk.

Organisations and vendors wishing to display literature or demonstrate 
tools and products are asked to contact the organisers (email: 
daduce at brookes.ac.uk)


20 October: Submission of papers; send by email
            to daduce at brookes.ac.uk, in PDF format
17 November: Notification of selection for presentation/ inclusion in 
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]


David Duce (Oxford Brookes University), Paul Boca (BCS-FACS and 
Programming Research Ltd)


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)


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.


Please see the web site http://www.bcs-facs.org/events/xmas2006.html


Proceedings of the Teaching Formal Methods 2003 workshop, held at Oxford 
Brookes University in December 2003 are available at 

More information about the Haskell mailing list