posted by user: cxbrooks || 2363 views || tracked by 4 users: [display]



When May 26, 2008 - May 30, 2008
Where Turku, Finland
Submission Deadline Feb 18, 2008
Notification Due Mar 7, 2008
Categories    computation theory   computer science

Call For Papers


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


FM'08 is the fifteenth in a series of symposia organized by Formal
Methods Europe,, 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

* 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.

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)

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,
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.

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, . 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.

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.

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
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.

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.

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.

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

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

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
Industry Day Chairs: Peter G. Larsen (Eng. College of Aarhus), Sari
Lepp?nen (Nokia)
Doctoral Symposium Chair: Elena Troubitsyna (?bo Akademi U.)

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

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)

Related Resources

FM 2023   Formal Methods
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ACM-Ei/Scopus-ITNLP 2022   2022 2nd International Conference on Information Technology and Natural Language Processing (ITNLP 2022) -EI Compendex
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
NLPTA 2022   3rd International Conference on NLP Techniques and Applications
SBMF 2022   25th Brazilian Symposium on Formal Methods
ECCSIT 2022   2022 European Conference on Computer Science and Information Technology (ECCSIT 2022)
FTSCS 2022   8th International Workshop on Formal Techniques for Safety-Critical Systems
iccq 2023   The Third International Conference on Code Quality