apologies if you have received multiple copies.
CALL FR PAPERS
Second International Symposium on
Fundamentals of Software Engineering 2007
Theory and Practice
(FSEN '07)
http://cs.ipm.ac.ir/FSEN07
Tehran, Iran
April 17-19 2007
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.
In Cooperation with
ACM SIGSFT
IFIP/TC2
Important Dates
Abstract Submission: 20 , 2006
Paper Submission: 27 , 2006
Notification: December 15, 2006
Camera Ready: January 12 , 2007
Symposium: April 17-19, 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
* 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
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
Local Chair:
Ramtin Khosravi
Tehran University, Iran
IPM, Iran
Proceeding and Special Issues
The post-proceedings of FSEN07 will be published by Springer Verlag in the
LNCS series. There will also be a pre-proceeding for the accepted papers,
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).
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 - 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
Invited Speakers
To be announced.