(Apologies if you receive multiple copies of this announcement)
======================================================
Call for Contributions and Participation
======================================================
BCS-FACS 2007 Christmas Workshop
Formal Methods in Industry
17 December 2007
BCS London Offices
Covent Garden
http://www.bcs-facs.org/events/xmas2007.html
The theme of the 2007 FACS Christmas one-day meeting is the
use of formal methods in industry. The workshop aims to bring
together industrialists and academics to provoke discussion
and share experiences in applying formal methods to real-life
exemplars. Those interested in using formal methods in this
way are invited to submit papers (4-6 sides, A4) on any of
the following topics:
- industrial uses of formal methods
- lessons learned from applying formal methods in industry
- industrial case studies demonstrating the use of formal methods
- use of formal methods tools in industry
- opportunites for applying formal methods in industry
A selection of papers will be chosen by the organizers for
presentation (around 20 mins) and will appear in the informal
proceedings available at the event. The organizers plan to
publish the papers as an eWiC [Electronic Workshop In Computing],
which will be freely available for download from the BCS website
after the event.
Following the workshop there will be a wine reception where
delegates can network and celebrate the festivities. The
venue is located in the west end of London, so you can
coincide your attendance at the event with some Christmas
shopping.
Registration will be open from mid October, and a reduced rate
will be available to paid-up FACS members. Registration fees will
be charged in GBP and can be paid by cheque or direct bank transfer.
A free membership to FACS for 2008 will be bundled with the
registration fee. Further details about the workshop will be
announced shortly. In the meantime, please do bookmark and check
the webpage
http://www.bcs-facs.org/events/xmas2007.html
for up-to-date information on the event.
Organizers:
========
Peter Gorm Larsen, Engineering College of Aarhus, Denmark ([log in to unmask])
Paul Boca, Programming Research Ltd, UK ([log in to unmask])
Jonathan Bowen, Museophile Ltd, UK ([log in to unmask])
Important dates:
===========
Full paper (4-6 pages, A4) 1 October 2007
Notification of acceptance 1 November 2007
Camera Ready Copy 24 November 2007
Please send your submissions in Word or PDF formats to Paul Boca
[[log in to unmask]].
Further Information
==============
Please feel free to contact Peter Gorm Larsen, Paul Boca or Jonathan Bowen
with any questions about the event.
