(Apologies if you have already received this message.)

Final CALL FOR PARTICIPATION - SEFM 2007

The 5th IEEE International Conference on
SOFTWARE ENGINEERING AND FORMAL METHODS
London, United Kingdom, September 12-14, 2007

URL: http://www.iist.unu.edu/SEFM07

The 5th IEEE International Conference on Software Engineering
and Formal Methods (SEFM 2007) will be held in London, United
Kingdom, 12-14 September 2007. Affiliated tutorials are being
held on 11 September 2007.

SCOPE AND OBJECTIVES

The aim of the conference is to bring together practitioners and
researchers from academia, industry and government to advance
the state of the art in formal methods, to scale up their
application in software industry and to encourage their
integration with practical engineering methods.

PROGRAM

SEFM 2007 includes presentations of research papers related to
the following principal topics:

* Software Engineering
* Mondex/VSI Challenge
* Applications
* Reasoning
* Logics
* Semantics
* Telecommunications
* Testing and Model Checking
* Services
* Security and Safety
* Specification and Verification

The following invited talks will be presented:

Specializing in Software Engineering
Michael Jackson (The Open University, UK)

The Role of Abstract Interpretation in Formal Methods
Patrick Cousot (École Normale Supérieure, Paris, France)

Automatically Proving Concurrent Programs Correct
Byron Cook (Microsoft Research, Cambridge, UK)

The full conference program is available under
http://www.iist.unu.edu/SEFM07/programme.html

The computer science pioneer Peter Landin (Queen Mary, University
of London, UK) will speak at the conference dinner.

In addition, there will be special invited presentations, a
reception, and a musical event, with the theme of women in
software engineering and technology, sponsored by Google.
Conference delegates will be automatically registered for this
event. For further more detailed information, see
http://www.smartlab.uk.com/3events/ieee/

TUTORIALS

On 11 September 2007, the following tutorials will be held:

Model-checking in Human-computer Interaction
Antonio Cerone (UNU-IIST, Macau SAR, China)

Retrenchment
Richard Banach (University of Manchester, UK)

Formal Methods for Service-oriented Systems
José Luiz Fiadeiro (University of Leicester, UK)

Tutorial information is available under
http://www.iist.unu.edu/SEFM07/tutorials.html

TRANSPORT

London is served by Heathrow, Gatwick and Stansted airports. In
addition, the Eurostar train service from Brussels and Paris
arrives at Waterloo Station, which is within walking distance of
the conference location at the Keyworth Centre (10-15 minutes).
The Keyworth Centre is 1-2 minutes walk away from the Elephant
and Castle underground station (Bakerloo and Northern lines),
allowing convenient connection to anywhere in central London.
There are also many bus routes that pass Elephant and Castle.

LOCATION

The conference will be held in the Keyworth Centre at London
South Bank University, centrally located and close to the South
Bank area of London on the River Thames with its many arts
facilities and other attractions including the London Eye, Royal
Festival Hall, Hayward Gallery, British Film Institute, National
Theatre, Tate Modern and Shakespeare's Globe Theatre, all within
walking distance. Further information on attractions in the area
can be found under http://www.london-se1.co.uk/attractions

Tourist information on London in general can be found under
http://www.visitlondon.com

ACCOMMODATION

The conference accommodation at the Union Jack Club is now fully
booked. Links to further hotels in the area can be found under
http://www.london-se1.co.uk/hotels

REGISTRATION

A registration form is available online under
http://www.iist.unu.edu/SEFM07/regform-sefm07.pdf

There are early registration rates before 10 August 2007. In
addition, there are discounts for IEEE members and students.

IMPORTANT DATES

* September 11, 2007: SEFM tutorials
* September 12-14, 2007: SEFM main conference

CHAIRS

Conference Chair: Jonathan P. Bowen (LSBU / Museophile Limited, UK)
Local Organization Chair: Sue Black (U. of Westminster, UK)
Financial Chair: Paul Boca (LSBU / Programming Research Limited, UK)
Program Committee Co-chairs:
* Mike Hinchey (Loyola College in Maryland, Baltimore, USA)
* Tiziana Margaria (U. Potsdam, Germany)
Tutorial Chair: Mike Hinchey (Loyola College in Maryland, USA)
Tools Chair: David Crocker (Escher Technologies, UK)
Website Editor: Antonio Cerone (UNU-IIST, Macau SAR, China)

SPONSORSHIP

Google, Escher Technologies, UNU-IIST (United Nations
University) and FME (Formal Methods Europe) are providing
financial sponsorship for the conference. BCS-FACS (Formal
Aspects of Computing Science), London South Bank University, the
University of Westminster, Microsoft Research Cambridge and the
Safety-Critical Systems Club are also supporting the conference.

--
Contact: Prof. Jonathan Bowen, London South Bank University
Email: jonathan.bowen@lsbu.ac.uk
URL: www.jpbowen.com
Fax: +1 702 537 8033