(Apologies if you receive multiple copies of this announcement)
(*** corrected version -- see list of talks ***)
======================================================
REGISTRATION DESK OPEN
http://www.bcs-facs.org/events/xmas2007/registration.html
======================================================
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 will bring
together industrialists and academics to provoke discussion
and share experiences in applying formal methods to real-life
exemplars. Eleven papers (three invited) will be presented at the
workshop, covering different areas and formalisms:
Invited talks
=========
- Jim Woodcock, University of York, UK: to be announced
- Recent industrial applications of VDM in Japan
(Peter Gorm Larsen, Engineering College of Aarhus, Denmark)
- Formal Methods in Microsoft Research and Development 1999-2007
(Tony Hoare, Microsoft Research)
- A Case study in Verifying Industrially Developed C
(Phil Clayton, Colin O'Halloran, Alf Smith, Rob Arthan)
- Analyzing Classloader Deadlocks Using CSP and FDR
(Jonathan Lawrence)
- Redevelopment of an Industrial Case Study Using Event-B and Rodin
(Abdolbaghi Rezazadeh, Neil Evans, Michael Butler)
- A Formal Security Requirements Model for a Grid-based Operating System
(Benjamin Aziz, Alvaro Arenas, Juan Bicarregui, Brian Matthews, Erica Yang)
- The Rodin Formal Modelling Tool
(Michael Butler, Stefan Hallerstede)
- An overview of the SystemB collaborative project
(Edward Turner, Helen Treharne, Neil Evans)
- Experiences of Formal Methods in `Conventional' Software and Systems Design
(Ian Oliver)
- Animation-based Validation of a Formal Model of Dynamic Virtual Organisations
(J. S. Fitzgerald, J. W. Bryans, D. Greathead, C. B. Jones and R. Payne)
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.
The registration desk is now OPEN...... Please visit
http://www.bcs-facs.org/events/xmas2007/registration.html
to download a registration form. A reduced rate is available
for paid-up FACS members. Registration fees will be charged
in GBP and can be paid by cheque or direct bank transfer.
(If you'd like to pay by direct transfer, please contact
Paul Boca [[log in to unmask]] for details).
A free membership to FACS for 2008 is included in the
registration fee.
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])
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
|