IPM International Symposium on
FUNDAMENTALS OF SOFTWARE ENGINEERING

About FSEN

FSEN is an international symposium aiming to bring together researchers, engineers, developers and practitioners from universities and industry working in every area of formal methods. This symposium seeks to facilitate the transfer of experience, adaptation of methods, and where possible, collaboration between different groups. The topics may cover any aspect in formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN in 2005 a next symposium will be held in April 2007.

Topics of Interest

The topics of this symposium include, but are not restricted to, the following:

• Models of programs and systems
• Software specification, validation and verification
• Software architectures and their description languages
• 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
• Model checking and theorem proving
• Software and hardware verification
• CASE tools and tool integration
• Application to industrial cases

Call for Papers

The length of each paper including figures and references must not exceed 15 pages and should conform to Springer LNCS style. All papers must be submitted in PDF or postscript format. Submissions should explicitly state their contribution and their relevance to the theme of the symposium. Other criteria for selection will be originality, significance, correctness, and clarity. Simultaneous or similar submissions to other conferences or journals are not allowed.

You can submit your papers/abstracts via the following link: http://www.easychair.org/FSEN07/

Proceedings

The post-proceedings of FSEN07 will be published by Springer Verlag inthe LNCS series. There will also be a pre-proceeding for the acceptedpapers, which is printed locally at IPM. This pre-proceeding will be made available at the conference. A special issue of Fundamenta Informaticae will be published from the invited papers of FSEN '05. Selected papers of FSEN '07 will also be published in a special issue of Fundamenta Informaticae (to be confirmed).

Important Dates

• Abstract Submission: October 20, 2006 (closed)
• Paper Submission: October 27, 2006 (closed)
• Notification: December 15, 2006 (announced)
• Camera Ready: January 12, 2007
• Symposium: April 17-19, 2007

Keynote Speakers

• James C. Browne - University of Texas at Austin, USA
• Masahiro Fujita - University of Tokyo, Japan
• Davide Sangiorgi - University of Bologna, Italy
• Peter D. Mosses - Swansea University, UK

Click for details

IFIP WG 2.2 Tutorials

• Davide Sangiorgi - University of Bologna, Italy
• Peter D. Mosses - Swansea University, UK

Click for details

Committees

General Chairs:

• Ali Movaghar - Sharif University of Technology, Iran; IPM, Iran
• Jan Rutten - CWI, Netherlands; Vrije Universiteit, The Netherlands

PC Chairs:

• Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands
• Marjan Sirjani - Tehran University, Iran; IPM, Iran

Local Arrangement Chair:

• Hamidreza Shahriari - IPM, Iran

Program Committee

• Gul Agha - University of Illinois at Urbana - Champaign, USA
• Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands; University of Waterloo, Canada
• Mohammad Ardeshir - Sharif University of Technology, Iran
• Christel Baier - University of Bonn, Germany
• Frank de Boer - CWI, Netherlands; Leiden University, Netherlands
• Marcello Bonsangue - Leiden University, Netherlands
• Mario Bravetti - University of Bologna
• James C. Browne - University of Texas at Austin, USA
• Michael Butler - University of Southampton, UK
• Nancy Day - University of Waterloo, Canada
• Masahiro Fujita - University of Tokyo, Japan
• Maurizio Gabbrielli - University of Bologna, Italy
• Radu Grosu - State University of New York at Stony Brook, USA
• Jan Friso Groote - Technical University of Eindhoven, Netherlands
• Michael Huth - Imperial College of London, UK
• Joost Kok - Leiden University, Netherlands
• Mohammad Reza Meybodi - AmirKabir University of Technology, Iran
• Seyyed Hassan Mirian - Sharif University of Technology, Iran
• Marta Kwiatkowska - University of Birmingham, UK
• Ugo Montanari - University of Pisa, Italy
• Mohammad Reza Mousavi - Technical University of Eindhoven, Netherlands
• Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran
• Andrea Omicini - University of Bologna, Italy
• George Papadopoulos - University of Cyprus, Cyprus
• Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands
• Sandeep Shukla - Virginia Tech, USA
• Marjan Sirjani - IPM, Iran; Tehran University, Iran
• Carolyn Talcott - SRI International, USA