Software Engineering - Final Call for Papers: FACS Xmas Workshop on Formal Methods in Industry, 17 December,

Author

Final Call for Papers: FACS Xmas Workshop on Formal Methods in Industry, 17 December,

Paul.Boca@googlemail.com

2007-10-03, 10:06 pm

(Apologies if you receive multiple copies of this announcement)

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

Final Call for Contributions and Participation

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

<<< Note: extended submission deadline and invitied speakers confirmed[color=darkred]

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,
sponsored by Google, 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
(pgl@iha.dk)
* Paul Boca, Programming Research Ltd, UK (Paul.Boca@googlemail.com)
* Jonathan Bowen, Museophile Ltd, UK (jpbowen@gmail.com)

Invited speakers
============

Peter Gorm Larsen, Engineering College of Aarhus, Denmark
Jim Woodcock, University of York, UK

Important dates:
===========

Full paper (4-6 pages, A4) 15 October 2007 << extended deadline
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.Boca@googlemail.com].

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

Please feel free to contact Peter Gorm Larsen, Paul Boca or Jonathan
Bowen
with any questions about the event.

Sponsors
=======

google
British Computer Society
BCS Engineering and Technology forum

Sponsored Links