FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS

May 26 - 30, 2008
?bo Akademi University
Turku, Finland

FINAL CALL FOR PAPERS

http://www.fm2008.abo.fi/

FM'08 is the fifteenth in a series of symposia organized by Formal
Methods Europe, http://www.fmeurope.org, an independent association
whose aim is to stimulate the use of, and research on, formal methods
for software development. The symposia have been notably successful
in bringing together innovators and practitioners in precise
mathematical methods for software development, industrial users as
well as researchers. Submissions are welcomed in the form of original
papers on research and industrial experience, proposals for workshops
and tutorials, entries for the exhibition of software tools and
projects, and reports on ongoing doctoral work.

FM'08 welcomes all aspects of formal methods research, both theoretical
and practical. We are particularly interested in the experience of
applying formal methods in practice. The broad topics of interest of
this conference are:

* Tools for formal methods: tool support and software engineering,
environments for formal methods.

* Theoretical foundations: specification and modelling, refining, static
analysis, model-checking, verification, calculation, reusable
domain
theories.

* Formal methods in practice: experience with introducing formal methods
in industry, case studies.

* Role of formal methods: formal methods in hardware and system design,
method integration, development process.

INVITED SPEAKERS
The following distinguished speakers have accepted to give an invited
lecture at FM'08:

- Arvind (Massachusetts Institute of Technology, USA)
- Dawson Engler (Stanford University, USA)
- Shmuel Katz (The Technion, Israel)
- Jay Misra (The University of Texas at Austin, USA)

TECHNICAL PAPERS
Full papers should be submitted via the web site. Papers will be
evaluated by the Program Committee according to their originality,
significance, soundness, quality of presentation and relevance with
respect to the main issues of the symposium. Accepted papers will be
published in the Symposium Proceedings, to appear in Springer's Lecture
Notes in Computer Science series, http://www.springeronline.com/lncs.
Submitted papers should have not been submitted elsewhere for
publication, should be in Springer's format, (see Springer's web site),
and should not exceed 16 pages including appendices. A prize for the
best technical paper will be awarded at the symposium.

INDUSTRIAL DAY
One day will be dedicated to sharing the experience -- both positive and
negative -- with using formal methods in industrial environments. The
Industry Day is co-organized by ForTIA, the Formal Techniques Industry
Association, http://www.fortia.org . This year's Industry Day
investigates telecommunications and embedded systems. Invited
papers on organizational and technical issues will be presented.
Inquiries should be directed to the Industry Day Chairs; see the web
site for details.

WORKSHOPS
We welcome proposals for one-day or one-and-a-half-day workshops
related to FM'08. In particular, but not exclusively, we encourage
proposals for workshops on various application domains. Proposals
should be directed to the Workshop Chair.

TUTORIALS
We are soliciting proposals for full-day or half-day tutorials. The
tutorial contents can be selected from a wide range of topics that
reflect the conference themes and provide clear utility to
practitioners.
Each proposal will be evaluated on importance, relevance, timeliness,
audience appeal and past experience and qualification of the
instructors. Proposals should be directed to the Tutorial Chair.

POSTER AND TOOL EXHIBITION
An exhibition of both research projects and commercial tools will
accompany the technical symposium, with the opportunity of holding
scheduled presentations of commercial tools. Proposals should be
directed to the Poster and Tools Exhibition Chair.

DOCTORAL SYMPOSIUM
Students are invited to submit work in progress and to defend it in
front of "friendly examiners". Participation for students who are
accepted will be subsidized. Submissions should be directed to the
Doctoral Symposium Chair.

SUBMISSION DATES
Technical Papers: Saturday, November 10th, 2007
Workshops, Tutorials: Sunday, November 18th, 2007
Posters and Tools, Doctoral Symposium: Monday, February 18th, 2008

NOTIFICATION DATES
Technical Papers: Friday, February 1st, 2008
Workshops, Tutorials: Monday, December 10th, 2007
Posters and Tools, Doctoral Symposium: Friday, March 7th, 2008

ORGANIZATION
General Chair: Kaisa Sere (?bo Akademi U.)
Program Chairs: Jorge Cuellar (Siemens) and Tom Maibaum (McMaster U.)
Steering committee: Dines Bjorner, John Fitzgerald, Marie-Claude Gaudel,
Stefania Gnesi, Ian Hayes, Pamela Zave, Jim Woodcock
Workshop Chair: John Derrick (Sheffield U.)
Tutorial Chair: Marina Wald?n (?bo Akademi U.)
Tools and Poster Exhibition Chair: Michael Leuschel (Univ. of
D?sseldorf)
Industry Day Chairs: Peter G. Larsen (Eng. College of Aarhus), Sari
Lepp?nen (Nokia)
Doctoral Symposium Chair: Elena Troubitsyna (?bo Akademi U.)

LOCAL ORGANIZATION
Kaisa Sere (general chair)
Marina Wald?n
Luigia Petre
Nina H?llfast

PROGRAM COMMITTEE
Bernhard Aichernig (Techn. U. Graz)
Keijiro Araki (Kyushu U.)
Alessandro Armando (Genova U.)
Ralph-Johan Back (?bo Akademi U.)
Gilles Barthe (INRIA)
David Basin (ETH Zurich)
Frank de Boer (CWI Amsterdam)
Ed Brinksma (U. Twente)
Dawson Engler (Stanford U.)
Marcelo Frias (U. Buenos Aires)
Dimitra Giannakopoulou (RIACS/NASA)
Radu Grosu (Stony Brook U.)
Joshua D. Guttman (MITRE)
Connie Heitmeyer (NRL)
Cliff Jones (Newcastle U.)
Shmuel Katz (Technion)
Paddy Krishnan (Bond U.)
Axel van Lamsweerde (Louvain U.)
Rustan Leino (Microsoft Research)
Dominique Mery (Nancy U.)
Marius Minea (Techn. U. Timisoara)
Madhavan Mukund (Chennai Mathematical Institute)
Cesar Munoz (National Institute of Aerospace)
Tobias Nipkow (Techn. U. of Munich)
Jose N. Oliveira (U. Minho)
Paritosh K. Pandya (Tata Institute of Fundamental Research)
John Rushby (SRI)
Augusto Sampaio (U. Pernambuco)
Steve Schneider (U. Surrey)
Emil Sekerinski (McMaster U.)
Vitaly Shmatikov (U. Texas at Austin)
Doug Smith (Kestrel)
Ketil Stolen (SINTEF and U. Oslo)
Andrzej Tarlecki (Warsaw U.)
Sebastian Uchitel (Imperial C. and U. Buenos Aires)
Alan Wassyng (McMaster U.)
Roel Wieringa (Twente U.)
Martin Wirsing (LMU Munich)
Pierre Wolper (U. Liege)
Jim Woodcock (U. York)