[Haskell] FM 2005: Call for Papers

Thu Apr 22 12:53:07 EDT 2004

Call for Papers
FM 2005

The 13th International Symposium of Formal Methods Europe
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 & Jon Warwick, University of Newcastle upon Tyne, UK
Claire.Smith at ncl.ac.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, Praxis Critical Systems, 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, King's College, London, UK
Dino Mandrioli, Politecnico di Milano, Italy
Richard Moore, IFAD A/S, Denmark
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, Royal Holloway, 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
_______________________________________________
events mailing list
events at fmeurope.org
http://www.fmeurope.org/mailman/listinfo/events