[ecoop-info] CfPart: FM 2009, 2-7 November 2009
Announcements of FME events
events at fmeurope.org
Tue Sep 8 09:23:51 CEST 2009
*********************************************************
* *
* FM2009: 16th FM Symposium and 2nd World Congress *
* Theory meets practice *
* *
* *** First Call For Participation *** *
* *
* November 2 - November 7, 2009 *
* Eindhoven, the Netherlands *
* http://www.win.tue.nl/fm2009 *
* *
*********************************************************
* *
* ** NEWS ** *
* *
* >> Full programme for FM2009 now available *
* *
* >> Registration for FM2009 is open *
* *
* *
*********************************************************
FM2009 is the sixteenth in a series of symposia of the
Formal Methods Europe association, and the second one
that is organized as a world congress. Ten years after
FM'99, the 1st World Congress, the formal methods
communities from all over the world will once again have
an opportunity to meet. FM 2009 will be both an
opportunity to celebrate, and an opportunity to join in
when enthusiastic researchers and practitioners from a
diversity of backgrounds and schools come together to
discuss their ideas and experiences.
Reflecting the global span of FM2009, the Programme
Committee recruited from all over the world selected 45
papers, on every aspect of the *development and
application of formal methods for the improvement of the
current practice on system developments*. These papers
will be presented during a three-day Technical Symposium,
which also features an Industry Day in which formal
method providers will report on their experience with
industrial projects, on how methods and tools needed to
be changed and adapted when confronted with industrial
requirements, and on what they see as major challenges
for their method or tool to be applied routinely in
industry.
In the days leading up to the Technical Symposium, seven
Workshops on new or emerging fields of application of
formal methods will be held as well as seven Tutorials on
advanced topics in formal methods research (see below for
a listing). Throughout the week, both industrial and
academic tools based on formal methods will be on display
in a Tool Exhibition.
Complete and up to date information can be found at the
event website http://www.win.tue.nl/fm2009/. FM2009 is
part of the 1st FMweek (Formal Methods week,
http://www.win.tue.nl/fmweek/), which brings together 10
international scientific events, 6 project and working
group meetings, and a variety of other activities in the
area.
INVITED SPEAKERS
================
Wan Fokkink, The Netherlands
Carroll Morgan, Australia
Colin O'Halloran, UK
Sriram Rajamani, India
Jeannette Wing, USA
WORKSHOPS
=========
01 FMIS Formal Methods for Interactive Systems
(organizers: Michael Harrison and Mieke Massink)
02 VDM and Overture (organizers: Peter Gorm Larsen and
Jeremy Bryans)
03 CompMod Computational Models for Cell Processes
(organizers: Ralph-Johan Back, Ion Petre, Erik de
Vink)
04 FAVO Formal Aspects of Virtual Organizations
(organizers: John Fitzgerald and Jeremy Bryans)
05 FMA Formal Methods for Aeronautics (organizers:
Manuela Bujorianu, Michael Fisher, Corina Pasareanu)
06 FOPARA Foundational and Practical Aspects of
Resource Analysis (organizers: Marko van Eekelen,
Olha Shkaravska)
07 QFM Quantitative Formal Methods - Theory and
Applications (organizers: Suzana Andova and Annabelle
McIver)
TUTORIALS
=========
01 Analyzing UML/OCL models with HOL-OCL
(tutors: Achim Brucker, Burkhart Wolff)
02 Bounded Model-Checking and Satisfiability-Checking
(tutors: Angelo Morzenti, Matteo Pradella, Matteo Rossi)
03 Practical MPI and Pthread Dynamic Verification
(tutors: Ganesh Gopalakrishnan, Robert M. Kirby)
04 Computational Systems Biology
(tutors: Ion Petre, Ralph-Johan Back)
05 Behavioural Analysis using mCRL2
(tutors: Aad Mathijssen, Michel Reniers, Tim Willemse)
06 Rely/Guarantee-thinking
(tutors: Joey Coleman, CliffJones)
07 Constraint-based Validation of Imperative Programs
(tutors: Michel Rueher, Arnaud Gotlieb)
VENUE
=====
The venue for FM2009 is the Auditorium of Eindhoven
University of Technology. The university campus lies in
the centre of Eindhoven, within walking distance of
conference hotels. The city itself can easily be reached
via both its own airport and Schiphol (the Dutch
mainport).
REGISTRATION
============
The event website provides a one-stop window where
participants can register for any combination of FM2009
activities of the event they would like to participate
in, and make hotel reservation for their stay in
Eindhoven.
*********************************************************
* *
* +============================================+ *
* | | *
* | ** FMweek ** | *
* | | *
* +============================================+ *
* | FMICS | FM2009 | REFINE | *
* +--------------------------------------------+ *
* | PDMC | TESTCOM/FATES | *
* +--------------------------------------------+ *
* | FACS | CPA | FAST | FMCO | *
* +--------------------------------------------+ *
* | http://www.win.tue.nl/fmweek | *
* +============================================+ *
* *
*********************************************************
_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events
More information about the ecoop-info
mailing list