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@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@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@ncl.ac.uk). Early contact is recommended. Contacts ======== General Chair: John Fitzgerald, University of Newcastle upon Tyne, UK John.Fitzgerald@ncl.ac.uk Programme Chairs: Ian Hayes, University of Queensland, Australia Ian.Hayes@itee.uq.edu.au Andrzej Tarlecki, Warsaw University, Poland tarlecki@mimuw.edu.pl Organisers: Claire Smith & Jon Warwick, University of Newcastle upon Tyne, UK Claire.Smith@ncl.ac.uk, Jon.Warwick@ncl.ac.uk Workshops Chair: Juan Bicarregui, Rutherford Appleton Laboratory, UK J.C.Bicarregui@rl.ac.uk Tutorials Chair: Neil Henderson, University of Newcastle upon Tyne, UK Neil.Henderson@ncl.ac.uk Exhibitions & Sponsorship: Joan Atkinson, University of Newcastle, UK Joan.Atkinson@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@fmeurope.org http://www.fmeurope.org/mailman/listinfo/events