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 Speaker

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

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
  Centre for Mathematics and Computer Science (CWI)
  Vrije Universiteit, The Netherlands

PC Chairs:
Farhad Arbab
  CWI, Netherlands
  Leiden University, Netherlands
  University of Waterloo, Canada
Marjan Sirjani
  Tehran University, Iran
  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