======================================================

    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 (p...@iha.dk)
Paul Boca, Programming Research Ltd, UK (Paul.B...@googlemail.com)
Jonathan Bowen, Museophile Ltd, UK (Jpbo...@gmail.com)

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
[Paul.B...@googlemail.com].

Further Information
==============