[isabelle] FM'06: CFP



                            21 - 27 August 2006
               McMaster University, Hamilton, Ontario, Canada


FM'06 is the fourteenth 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'06 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

* 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.

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.

One day will be dedicated to sharing the experience -- both positive and
negative -- with using formal methods in industrial environments.  The
Industry Day is organized by ForTIA, the Formal Techniques Industry
Association, http://www.fortia.org .  This year's Industry Day
investigates the use of formal methods in security and trust.  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.

We welcome proposals for one-day or one-and-a-half-day workshops related
to FM'06.  In particular, but not exclusively, we encourage proposals for
workshops on various application domains.  Proposals should be directed
to the Workshop Chair.

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.

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.

For the first time, FM'06 will feature a 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

Technical Papers, Workshops, Tutorials: Friday, February 24, 2006
Posters and Tools, Doctoral Symposium: Friday, May 26, 2006

Technical Papers: Friday, April 28, 2006
Workshops, Tutorials: Friday, March 10, 2006
Posters and Tools, Doctoral Symposium: Friday, June 9, 2006

General Chair: Emil Sekerinski (McMaster)
Program Chairs: Jayadev Misra (U. Texas, Austin), Tobias Nipkow (TU Munich)
Workshop Chair: Tom Maibaum (McMaster)
Tutorial Chair: Jin Song Dong (NUS)
Tools and Poster Exhibition Chair: Marsha Chechik (U. Toronto)
Industry Day Chairs: Volkmar Lotz (SAP France), Asuman Suenbuel (SAP US)
Doctoral Symposium Chair: Augusto Sampaio (U. Pernambuco)
Sponsorship Chair: Juergen Dingel (Queens U.)

Jean-Raymond Abrial (ETH Zurich)
Alex Aiken (Stanford U.)
Keijiro Araki (Kyushu U.)
Ralph Back (Abo Akademi)
Gilles Barthe (INRIA)
David Basin (ETH Zurich)
Ed Brinksma (U. Twente)
Michael Butler (U. Southampton)
Rance Cleaveland (U. Stony Brook)
Jorge Cuellar (Siemens)
Werner Damm (U. Oldenburg)
Frank de Boer (U. Utrecht)
Javier Esparza (U. Stuttgart)
Jose Fiadeiro (U. Leicester)
Susanne Graf (VERIMAG)
Ian Hayes (U. Queensland)
Gerard Holzmann (JPL)
Cliff Jones (U. Newcastle)
Gary T. Leavens (Iowa State U.)
Rustan Leino (Microsoft)
Xavier Leroy (INRIA)
Dominique Mery (LORIA)
Carroll Morgan (UNSW)
David Naumann (Stevens)
E.-R. Olderog (U. Oldenburg)
Paritosh Pandya (TIFR)
Sriram Rajamani (Microsoft)
John Rushby (SRI)
Steve Schneider (U. Surrey)
Vitaly Shmatikov (U. Texas, Austin)
Bernhard Steffen (U. Dortmund)
P.S. Thiagarajan (NUS)
Axel van Lamsweerde (U. Louvain)
Martin Wirsing (LMU Munich)
Pierre Wolper (U. Liege)

Publicity: Wolfram Kahl, Alan Wassyng, Jeff Zucker
Tools, Posters, Book Exhibition: Spencer Smith
Social Events: Ridha Khedri
Local Arrangements:: William Farmer, Mark Lawford
Events Co-ordinator: Ryszard Janicki

This e-mail was delivered to you by event at in.tu-clausthal.de, what is a
moderated list runned by Computational Intelligence Group of Clausthal University of Technology, Germany. 
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
In the case of any requests, questions, or comments, do not hesitate and 
contact event-owner at in.tu-clausthal.de ASAP. 
* CIG does not take any responsibility for validity  * 
* of content of messages sent through this list.     * 

Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.