Call for Papers SEFM 2005 Third IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS Koblenz, Germany 7-9 September 2005 http://sefm2005.uni-koblenz.de The Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005) will be held in Koblenz, Germany, 7-9 September 2005. Affiliated workshops and tutorials will be organized on 5th and 6th September 2005, and calls for workshops and tutorials will be circulated separately by the Workshop/Tutorial Chair. SCOPE AND OBJECTIVES The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods. LOCATION The 2000-year-old town of Koblenz is situated in the picturesque landscape of the Rhine and Moselle and surrounded by four low mountain ranges. In 2002 the UNESCO ranked the upper Middle Rhine valley one of the most beautiful and oldest man-made landscapes, among the world cultural heritages. The chain of castles and palaces along the steep slopes, where the famous Rhine wines are grown, stretches from Koblenz to the legendary Loreley and continues to the cities of Ruedesheim and Bingen. TOPICS SEFM 2005 solicits research papers related to, but not limited to, the following principal topics: * requirement analysis and specification * software architectures and their description languages * software specification, validation and verification * software design and refinement * models of programs and systems * object and multi-agent systems * coordination and feature interaction * integration of formal and informal methods * integration of different formal methods * component-based development * service-oriented development * aspect-oriented development * formal aspects of security and mobility * model checking and theorem proving * program analysis * fault-tolerant, real-time and hybrid systems * analysis of safety-critical systems * formal aspects of software evolution and maintenance * formal methods for testing, re-engineering and reuse * light-weight formal methods * prototyping and visualisation * CASE tools and tool integration * application to industrial cases * formal methods for industrial standardisation * socio-economic implications of the use of formal methods substantial experience reports/case studies are particularly welcome. SUBMISSION AND PUBLICATION Submissions must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings of the conference will be published by the IEEE Computer Society Press. Papers must be written in English and not exceed 10 pages in IEEE format. Instructions for authors are available at http://computer.org/cspress/instruct.htm. Latex formatting macros can be downloaded from the website at ftp://pubftp.computer.org/Press/Outgoing/proceedings/. Further information and instructions about submissions can be found on the conference website. Authors are strongly encouraged to use this website to submit their papers in electronic form. The best papers will be selected to be published in revised and extended version in the International Journal on Software and Systems Modelling published by Springer http://www.sosym.org. TOOLS SESSION Authors are encouraged to submit papers describing tools suitable for off-line presentation and/or on-line demonstration. Tool papers will undergo a regular review process and will be published in the conference proceedings. Authors willing to give a demonstration are required to bring all needed equipment and software. SCHOLARSHIPS The International Institute for Software Technology of the United Nations (UNU-IIST) will support a limited number of SEFM attendees from developing countries by providing a scholarship to cover their full registration fees at SEFM 2005 (the scholarship will not cover airfare/transportation and accommodation costs). Further information is available on the conference web page. IMPORTANT DATES Submission deadline for abstract: 18 March 2005 Submission deadline for papers: 1 April 2005 Notification of acceptance: 26 May 2005 Camera-ready version due: 24 June 2005 Tutorials and workshops: 5-6 Sept 2005 SEFM 2005 in Koblenz, Germany: 7-9 Sept 2005 INVITED SPEAKERS - TBA - COMMITTEES General Chair Peter H. Schmitt, U. of Karlsruhe, Germany Program Committee Chairs Bernhard K. Aichernig, UNU-IIST, Macao SAR China Bernhard Beckert, U. of Koblenz, Germany Publicity Chair Wolfgang Ahrendt, Chalmers U., Gothenburg, Sweden Tutorial and Workshop Chair Werner Stephan, DFKI Saarbrücken, Germany Organisation Chair Bernhard Beckert, U. of Koblenz, Germany Finance Chair Steffen Schlager, U. of Karlsruhe, Germany Steering Committee Manfred Broy, Technische U. Muenchen, Germany Antonio Cerone, UNU-IIST, Macao SAR China Geoff Dromey, Griffith U., Brisbane, Australia Mike Hinchey, NASA GSFC, Greenbelt, MD, USA Mathai Joseph, TRDDC, Pune, India Zhiming Liu, UNU-IIST, Macao SAR China Andrea Maggiolo-Schettini, U. of Pisa, Italy Program Committee Jean-Raymond Abrial, ETH Zurich, Switzerland Ralph-Johan Back, Abo Akademi U., Turku, Finland Gabriel Baum, National U. of La Plata, Argentina Mohamed Bettaz, Philadelphia U., Jordan Tommaso Bolognesi, CNR/ISTI, Pisa, Italy Marcello M. Bonsangue, Leiden U., The Netherlands Jonathan Bowen, London South Bank U., UK Manfred Broy, Technische U. Muenchen, Germany Patrice Chalin, Concordia U., Montreal, Canada Jorge R. Cuellar, Siemens, CT IC, Germany Frank S. de Boer, CWI, Amsterdam, The Netherlands Werner Damm, OFFIS / U. of Oldenburg, Germany David Deharbe, Federal U. of Rio Grande do Norte, Brazil Jin Song Dong, National U. of Singapore, Singapore Juergen Ebert, U. of Koblenz, Germany Bernhard Gramlich, Vienna U. of Technology, Austria Nicolas Halbwachs, Verimag/CNRS, Grenoble, France Reiner Haehnle, Chalmers U., Gothenburg, Sweden Teruo Higashino, Osaka U., Japan Mike Hinchey, NASA Goddard Space Flight Center, USA Mathai Joseph, Tata Consultancy Services, India Padmanabhan Krishnan, Bond U., Gold Coast, Australia Gunter Lassmann, T-Systems, ITC-Security, Berlin, Germany K. Rustan M. Leino, Microsoft Research, Redmond, WA, USA Zhiming Liu, UNU-IIST, Macao SAR China Jian Lu, Nanjing U., China Tom Maibaum, McMaster U., Hamilton, Canada Jose Carlos Maldonado, U. of Sao Paulo, Brazil Tiziana Margaria, U. of Göttingen, Germany Jonathan S. Ostroff, York U., Toronto, Canada Paritosh Pandya, Tata Institute of Fundamental Research, Mumbay, India Andreas Podelski, MPI for Informatics, Saarbrücken, Germany Alexander Pretschner, ETH Zurich, Switzerland Anders P. Ravn, Aalborg U., Denmark Harald Ruess, SRI International, Menlo Park, CA, USA Augusto Sampaio, Federal U. of Pernambuco, Recife, Brazil Werner Stephan, German Research Center for AI, Saarbrücken, Germany Shmuel Tyszberowicz, Tel Aviv U., Israel Mark Utting, U. of Waikato, New Zealand Martin Wirsing, Ludwig-Maximilians-U. Munich, Germany Jim Woodcock, U. of York, UK Wang Yi, Uppsala U., Sweden Gianluigi Zavattaro, U. of Bologna, Italy -- Bernhard Aichernig, Research Fellow of UNU-IIST www.iist.unu.edu/~bka ---------------------------------------------------------------------- SEFM 2005: 3rd IEEE International Conference on Software Engineering and Formal Methods, Koblenz, Germany, 7.- 9. Sept. 2005