[TYPES] Call for Papers: FM 2005

[events-admin at fmeurope.org]

Call for Papers: FM 2005

The 13th International Symposium of Formal Methods Europe
FM'05 - Newcastle upon Tyne, UK
18-22 July 2005

www.csr.ncl.ac.uk/fm05/

Important dates:
24 January 2005   Paper submission deadline
07 March 2005     Last date for Workshop & Tutorial proposals
09 April 2005     Decisions on papers
02 May 2005       Final versions of papers due
09 May 2005       Last date for Tools Exhibition & Demonstration proposals


FM'05 is the thirteenth in a series of symposia organized by Formal
Methods Europe,
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 will
be welcomed in the form of original papers on research and practice,
proposals for
workshops and tutorials, and entries for the exhibition of software tools,
publications and companies.

FM'05 welcomes papers in all aspects of formal methods for computer systems,
including, but not restricted to, the following:

- introducing formal methods in industrial practice  (technical,
organizational,
social, psychological aspects)

- reports on practical use and case studies (reporting positive or negative
experiences)

- formal methods in hardware and system design

- reusable domain theories
- theoretical foundations (specification and modelling, refining,
verification,
calculation etc.)
- tool support and software engineering
- environments for formal methods
- method integration

Papers
======
Full papers should be submitted electronically via the Web by 24 January
2005. Full
submission details will be published on the conference 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. Papers should have not been submitted elsewhere for
publication.

Accepted papers will be published in the Symposium Proceedings, to appear in
Springer-Verlag's Lecture Notes in Computer Science Series. Papers should
not exceed
16 pages and should be in LNCS format: see
http://www.springer.de/comp/lncs/authors.html
Please include a short list of keywords on a separate line at the end of the
abstract, beginning with "Keywords:" in boldface.

Workshops
=========
We welcome proposals for one-day or
 two-day workshops related to FM'05.  Proposals may be considered and
evaluated at
any time up to 7 March 2005  and should be directed to the Workshop Chair
Juan
Bicarregui (J.C.Bicarregui at rl.ac.uk). Early contact is recommended.

Tutorials
=========
We welcome proposals for half-day or full
-day tutorials related to formal methods.
Tutorial proposals will be evaluated on the basis of their potential
benefit for
participants, and should contain an outline of the objectives, format,
content and,
if appropriate, history of the tutorial. Proposals may be considered and
evaluated
at any time up to 7 March 2005, and should be sent to the Tutorial Chair, 
Neil
Henderson (Neil.Henderson at ncl.ac.uk). Early contact is recommended.

Exhibition & Sponsors' Presentations
====================================
An exhibition of projects and tools will also take place during the
symposium, with
the opportunity of holding presentations for each tool.  The opportunity
also exists
to give a presentation as a sponsor.  Proposals are welcomed at any time
up to 9 May
2005 and should be directed to the Exhibition and Sponsors' Chair, Joan
Atkinson
(Joan.Atkinson at ncl.ac.uk). Early contact is recommended.

Contacts
General Chair: John Fitzgerald, University of Newcastle upon Tyne, UK 
John.Fitzgerald at ncl.ac.uk

Programme Chairs:
Ian Hayes, University of Queensland, Australia
Ian.Hayes at itee.uq.edu.au
Andrzej Tarlecki, Warsaw University, Poland
tarlecki at mimuw.edu.pl

Organisers:
Claire Smith, University of Newcastle upon Tyne, UK
Claire.Smith at ncl.ac.uk
Jon Warwick, University of Newcastle upon Tyne, UK
Jon.Warwick at ncl.ac.uk

Workshops Chair: Juan Bicarregui, Rutherford Appleton Laboratory, UK
J.C.Bicarregui at rl.ac.uk

Tutorials Chair: Neil Henderson, University of Newcastle upon Tyne, UK
Neil.Henderson at ncl.ac.uk

Exhibitions & Sponsorship: Joan Atkinson, University of Newcastle, UK
Joan.Atkinson at ncl.ac.uk


Programme Committee
===================

Bernhard Aichernig, UNU-IIST, UN
Keijiro Araki, Kyushu University, Japan
Michel Bidoit, LSV,  CNRS & ENS de Cachan, France
Juan Bicarregui, Rutherford Appleton Laboratory, UK
Ed Brinksma, University of Twente, The Netherlands
Luca Cardelli, Microsoft Research, UK
Ernie Cohen, Microsoft, USA
Jin Song Dong, National University of Singapore, Singapore
Jose Fiadeiro, University of Leicester, UK
John S. Fitzgerald, Centre for Software Reliability, UK
Stefania Gnesi, CNR, Italy
Anthony Hall, UK
Ian Hayes, University of Queensland, Australia (Co-chair)
Anne E. Haxthausen, Technical University of Denmark, Denmark
Thomas Henzinger, University of California, Berkeley, USA
He Jifeng, UNU-IIST, UN
Cliff Jones, University of Newcastle upon Tyne, UK
Shaoying Liu, Hosei University, Japan
Mícheál Mac an Airchinnigh, Trinity College, Dublin, Ireland
Tom Maibaum, McMaster University, Canada
Dino Mandrioli, Politecnico di Milano, Italy
Tobias Nipkow, Technische Universität München, Germany
José Oliveira, Universidade do Minho, Portugal
Sam Owre, CRI, USA
Alexander Petrenko, ISPRAS, Russia
Nico Plat, West Consulting, Netherlands
Ken Robinson, University of New South Wales, Australia
Mark Saaltink, ORA, Canada
Shin Sahara, JFITS, Japan
Steve Schneider, University of Surrey, UK
Kaisa Sere, Åbo Akademi, Finland
Ketil Stølen, SINTEF, Norway
Andrzej Tarlecki, Warsaw University, Poland (Co-chair)
Martyn Thomas, Martyn Thomas Associates, UK
Mark Utting, Waikato University, New Zealand
Marcel Verhoef, Chess IT & Radboud University, Nijmegen, Netherlands Alan
Wassyng, McMaster University, Canada
Martin Wirsing, Ludwig-Maximilians-Universität, München, Germany

-- Nico Plat -- mail at nicoplat.com


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