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

[PVS] Final CFP - FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS



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



FINAL CALL FOR PARTICIPATION

FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS

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



 (Registration possible until May 21st, 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 <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 and the abstracts of the
invited talks at the address http://www.fm2008.abo.fi/invited_speakers.php.
The following distinguished speakers will lecture:

- 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 on the FM'08 website or 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 the workshops should be checked via the own homepages of these events,
reachable from the FM'08 website or 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. The list of these projects and tools can be found at the address
http://www.fm2008.abo.fi/posters_and_research_tools.php. A book exhibition
featuring our symposium publisher Springer (http://www.springer.com/) will
also take place during the FM'08 week.

There are two social events related to the main symposium: a welcome
reception and an excursion/banquet. The former event is held on Tuesday,
27.5.2008, during 18.30-20.00 in Turku City Hall (at the address Aurakatu
2). The host of the evening is Sirpa Simola, Director of Applied ICT and
Development in Turku. The latter event is held on Thursday, 29.5.2008,
approximately during 16.00-23.00. It is best detailed at the address
http://www.fm2008.abo.fi/excursion.php.

Registration to the various types of events is still open at the address
https://www.cs.abo.fi/fm2008/registration.php. 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

Dear Nico,

 

Please find below the final CFP to our FM’08 week. Please distribute as you see fit.

With best regards,

Luigia.

 

 

 

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

 

FINAL CALL FOR PARTICIPATION

FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS

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

 

 (Registration possible until May 21st, 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 and the abstracts of the invited talks at the address http://www.fm2008.abo.fi/invited_speakers.php. The following distinguished speakers will lecture:

- 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 on the FM’08 website or 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 the workshops should be checked via the own homepages of these events, reachable from the FM’08 website or 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. The list of these projects and tools can be found at the address http://www.fm2008.abo.fi/posters_and_research_tools.php. A book exhibition featuring our symposium publisher Springer (http://www.springer.com/) will also take place during the FM’08 week.

There are two social events related to the main symposium: a welcome reception and an excursion/banquet. The former event is held on Tuesday, 27.5.2008, during 18.30-20.00 in Turku City Hall (at the address Aurakatu 2). The host of the evening is Sirpa Simola, Director of Applied ICT and Development in Turku. The latter event is held on Thursday, 29.5.2008, approximately during 16.00-23.00. It is best detailed at the address http://www.fm2008.abo.fi/excursion.php.

Registration to the various types of events is still open at the address https://www.cs.abo.fi/fm2008/registration.php. 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