Software

Jonathan Bowen · Guest

(Apologies if you have already received this message.)

2nd CALL FOR PAPERS - SEFM 2007

The 5th IEEE International Conference on
SOFTWARE ENGINEERING AND FORMAL METHODS
London, United Kingdom, September 10-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,
10-14 September 2007. Affiliated workshops and tutorials will be
organized on 10-11 September 2007, and calls for workshops and
tutorials will be circulated separately by the Tutorial Chair.

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.

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. Good value accommodation, also within 10-15
minutes walking distance of the conference venue, will be
available at the Union Jack Club, close to Waterloo Station.

TOPICS

SEFM 2007 solicits research papers related to, but not limited
to, the following principal topics:

* requirement analysis and specification
* software specification, validation and verification
* component-based development
* programming languages and type theory
* formal models for service-oriented computing; web & grid
computing
* formal aspects of security and mobility
* model checking for software and hardware systems
* theorem proving and decision procedures
* program analysis
* fault-tolerant computing
* embedded systems; real-time and hybrid systems theory
* software architectures and their description languages
* object and multi-agent systems, aspect oriented development
* coordination and feature interaction
* formal aspects of software evolution and maintenance
* formal methods for testing, re-engineering and reuse
* CASE tools and tool integration
* applications of formal methods and industrial case studies
* socio-economic implications of the use of formal methods

SUBMISSION AND PUBLICATION

Submissions must not have been published or be concurrently
considered for publication elsewhere. All submissions will be
judged on the basis of originality, contribution to the field,
technical and presentation quality, and relevance to the
conference. The proceedings of the conference will be published
by the IEEE Computer Society Press. Papers must be written in
English and not exceed 10 pages in IEEE format. Instructions for
authors are available at
http://computer.org/cspress/instruct.htm
LaTeX document classes can be downloaded from the website at
ftp://pubftp.computer.org/Press/Outgoing/proceedings/
Further information and instructions about submissions can be
found on the conference website. Authors are strongly encouraged
to use this website to submit their papers in electronic form.

SPONSORSHIP

FME (Formal Methods Europe) is sponsoring an invited speaker at
the conference. BCS-FACS (Formal Aspects of Computing Science),
London South Bank University, the University of Westminster and
UNU/IIST are supporting the conference. It is hoped that there
will be partial or full support for a limited number of SEFM
2007 attendees from developing countries who have a paper
accepted by the conference. Information will be made available
on the conference website when confirmed. Further offers of
sponsorship to the Conference Chair are welcome.

IMPORTANT DATES

* March 31, 2007: Paper submission deadline
* May 29, 2007: Acceptance/rejection notification
* June 25, 2007: Camera-ready version due
* June 25, 2007: Tutorial proposal submissions due
* July 4, 2007: Notification of tutorial proposal acceptance
* September 10-11, 2007: Tutorials and workshops
* September 12-14, 2007: SEFM 2007 main conference

COMMITTEES

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)

Program Committee:

* Bernhard Aichernig (TU Graz, Austria)
* Marco Aiello (U. Groningen, The Netherlands)
* Bernhard Beckert (U. Koblenz, Germany)
* Karin Breitman (PUC Rio de Janeiro, Brazil)
* Peter Breuer (U. Charles III, Madrid, Spain)
* Jorge R. Cuellar (Siemens, CT IC, Germany)
* David Déharbe (Federal U. of Rio Grande do Norte, Brazil)
* Jin Song Dong (National U. of Singapore, Singapore)
* George Eleftherakis (CITY College, Thessaloniki, Greece)
* Martin Fränzle (U. Oldenburg, Germany)
* Dimitra Giannakopoulou (NASA, USA)
* Nicolas Halbwachs (Verimag/CNRS, Grenoble, France)
* Klaus Havelund (NASA/JPL - Columbus Tech., USA)
* Rob Hierons (Brunel U., UK)
* Michaela Huhn (TU Braunschweig, Germany)
* Dang Van Hung (UNU-IIST, Macao SAR, China)
* Hardi Hungar (Offis, Germany)
* Shmuel Katz (Technion, Israel Inst. of Technology, Israel)
* Joseph Kiniry (University College Dublin, Ireland)
* Kevin Lano (King's College London, UK)
* Gunter Lassmann (T-Systems, Berlin, Germany)
* Peter Gorm Larsen (Denmark)
* Tom Maibaum (McMaster U., Hamilton, Canada)
* Colin O'Halloran (QinetiQ, UK)
* Jonathan S. Ostroff (York U., Toronto, Canada)
* Paritosh Pandya (TIFR, Mumbai, India)
* Alexander Petrenko (ISPRAS, Russia)
* Paul Petterson (Uppsala U., Sweden)
* Andreas Podelski (U. Freiburg, Germany)
* Sriram Rajamani (Microsoft Research, India)
* Anders P. Ravn (Aalborg U., Denmark)
* Harald Ruess (SRI International, USA)
* Augusto Sampaio (Federal U. of Pernambuco, Recife, Brazil)
* Bernhard Schaetz (TU Munich, Germany)
* Cristina Cerschi Seceleanu (Mälardalen U., Sweden)
* Bernhard Steffen (U. Dortmund Germany)
* Mark Utting (U. of Waikato, New Zealand)
* Sergiy Vilkomir (U. of Limerick, Ireland)
* Martin Wirsing (Ludwig Maximilian U. Munich, Germany)
* Jim Woodcock (U. of York, UK)
* Huibiao Zhu (East China, Normal U., China)

Steering Committee:

* Manfred Broy (TU Munich, Germany)
* Antonio Cerone (UNU-IIST, Macao SAR, China)
* Geoff Dromey (Griffith U., Brisbane, Australia)
* Mike Hinchey (Loyola College in Maryland, Baltimore, USA)
* Mathai Joseph (TRDDC, Pune, India)
* Zhiming Liu (UNU-IIST, Macao SAR, China)
* Andrea Maggiolo-Schettini (U. of Pisa, Italy)

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