FM'08

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:

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

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

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

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

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) This CfP was obtained from WikiCFP