FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS: Final CfP

[events@fmeurope.org]

*** Apologies if you receive multiple copies. ***


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)
- Schmuel Katz (The Technion, Israel)
- Jay Misra (The University of Texas at Austin, USA)

TECHNICAL PAPERS
Full papers should be submitted via