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

FM'08 2008 : FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS

FacebookTwitterLinkedInGoogle

Link: http://www.fm2008.abo.fi/
 
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

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)

Related Resources

FM 2024   Formal Methods
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ICFEM 2024   International Conference on Formal Engineering Methods
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
7FMA 2024   7th International Symposium Formal Methods in Architecture