[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] FM'08 -- SECOND CALL FOR PARTICIPATION



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



SECOND CALL FOR PARTICIPATION

FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS

http://www.fm2008.abo.fi/



 (Early registration fee possible for one more week, until MARCH 25, 2008!)



Organized by Abo Akademi University

Turku, Finland

May 26 - 30, 2008

Venue: Hotel Holiday Club Caribia

http://www.holidayclub.fi/portal/english/spa_hotels/holiday_club_turku/





It is our pleasure to invite you to FM'08, the premier international forum
for practitioners and researchers applying mathematical methods to the
design of highly reliable computer systems.

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.



A program of five invited talks and 23 outstanding research papers
provides the opportunity to learn about the newest developments in the
theory and application of formal methods. The program covers a wide range
of topics, including real-time and concurrency, design, verification,
communication, runtime monitoring and analysis, constraint analysis,
programming language analysis, formal methods practice, and grand
challenge problems. The list of accepted papers can be found at the
address http://www.fm2008.abo.fi/accepted_papers.php. The following
distinguished speakers will give invited lectures:

- Professor Arvind, Massachusetts Institute of Technology

- Project Officer Paolo Bresciani, European Commission, Brussels

- Professor Dawson Engler, Stanford University

- Professor Shmuel Katz, The Technion

- Professor Jay Misra, The University of Texas at Austin



As in the previous years, an Industry Day is dedicated for practitioners
to share their experiences with industrial applications. This year's
Industry Day investigates telecommunications and embedded systems, being
supported by NOKIA. Speakers from five major industries will address this
year's theme, together with the Johnson Professor Arvind from MIT. The
program of the Industry Day can be found at the address
http://www.fm2008.abo.fi/industry_schedule.php.

Tutorials are a central part of this year’s FM symposium, as an effective
way of disseminating emerging application areas, tools, and techniques.
This year we have seven tutorials, given by renowned experts in their
fields. More information on tutorials can be found at the address
http://www.fm2008.abo.fi/tutorials.php.

The five co-located workshops address issues of specific formal techniques
as well as novel computational models and grand challenges. Important
dates for submitting papers to the workshops should be identified via the
own homepages of these events, reachable from below or from the FM’08
website. Generally, workshop papers should be submitted in March 2008.
More information on workshops can be found at the address
http://www.fm2008.abo.fi/workshops.php.

The following list of tutorials and workshops are available:

Tutorials

- Computational Systems Biology

- Teaching formal methods to students in high school and introductory
university courses

- Event-B and the Rodin Platform

- Formal Methods and Signal Processing

- Why formal verification remains on the fringes of commercial development

- Runtime Model Checking of Multithreaded C Programs using Automated
Instrumentation Dynamic Partial Order Reduction and Distributed Checking

- Formal modeling and analysis of real-time systems using UPPAAL



Workshops

- Formal aspects of virtual organizations

- Overture/VDM++

- Refinement workshop

- Pilot Projects for the Grand Challenge in Verified Software

- Computational Models for Cell Processes



A Doctoral Symposium on all aspects of formal methods research is also
part of FM’08, giving young researchers the opportunity to have their
ideas critically, but constructively examined by the community. A Poster
and Tool Exhibition of both research projects and commercial tools will
allow researchers to engage in a dialogue with potential users in early
phases of their work.

Registration to the various types of events is open at the address
https://www.cs.abo.fi/fm2008/registration.php, with the possibility of
early registration until MARCH 25, 2008. The deadline for registering to
any event is 21.5.2008

We hope you will enjoy a rewarding symposium program!

Kaisa Sere, General Chair
Jorge Cuellar, Tom Maibaum, Program Chairs




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