[ecoop-info] FM'08: Final call for tutorials and workshops

[events-admin at 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 TUTORIALS AND WORKSHOPS

                               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 proposals
for workshops and tutorials.

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)

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.

SUBMISSION DATE
Sunday, November 18th, 2007

NOTIFICATION DATE
Monday, December 10th, 2007

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


_______________________________________________
events mailing list
events at fmeurope.org
http://www.fmeurope.org/mailman/listinfo/events