(Apologies if you have already received this message.)

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 program is available under
http://www.iist.unu.edu/SEFM07/programme.html

TUTORIALS

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

Model-checking in Human-computer Interaction (Part 1)
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 opposite the Union Jack
Club (recommended accommodation) and 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, National Film Theatre, 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

Good value accommodation, within 10-15 minutes walking distance
of the conference venue, is available at the Union Jack Club,
close to Waterloo Station. Rooms are available on a first come
first served basis. Further information on booking will be
distributed to those that tick the appropriate box on the
registration form.

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

* August 10, 2007: Early booking deadline
* September 11, 2007: Tutorials
* September 12-14, 2007: SEFM 2007 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)
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 and UNU-IIST are supporting the
conference. Further offers of sponsorship to the Conference
Chair are welcome.

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