----------------------------------------------------------
Call for Participation
----------------------------------------------------------
TEACHING FORMAL METHODS: PRACTICE AND EXPERIENCE
A One Day Workshop at Oxford Brookes University
FRIDAY 12 DECEMBER 2003
Organised by the Applied Formal Methods Group
(Oxford Brookes University)
in association with BCS-FACS
http://wwwcms.brookes.ac.uk/tfm2003/ [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.
Attendees are encouraged to submit a short (4-6 sides A4) position paper
outlining experience from which others could benefit and issues you would
like the workshop to address. All position papers submitted will be made
available to all attendees, and a selection will be chosen by the
Organising Committee for presentation (ca. 20 mins).
Organisations and vendors wishing to display literature or demonstrate
tools and products are asked to contact the organisers (email:
[log in to unmask])
DEADLINES
31 October: Submission of position papers; send by email
to [log in to unmask], preferably in PDF format
17 November: Notification of selection for presentation
28 November: Registration closes
12 December: Workshop [registration to 10.30 am, close approx. 5.00 pm]
ORGANISING COMMITTEE:
Oxford Brookes University:
David Duce (Chair), Sharon Curtis, Ian East, Mark Green,
David Lightfoot, Clare Martin, Hong Zhu
Anglia Polytechnic University: Neville Dean
Oxford University: Andrew Simpson
London South Bank University: Jonathan Bowen
COST
The cost of the workshop will be in the region of £65 (this includes lunch
and refreshments, and a copy of the proceedings); a discount of £5 is
available for BCS-FACS members and students.
FURTHER DETAILS
Please see the web site http://wwwcms.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
|