FSEN 07(Fundamentals of Software Engineering): first call for paper (Iran, Apr 07)

######################################################################
                                                      CALL FOR 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 SIGSOFT
IFIP


---------------------------------------------------------------------
Important Dates


Abstract Submission: October 20 , 2006
Paper Submission: October 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
* 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


----------------------------------------------------------------------
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 Organization 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
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
Radu Grosu - State University of New York at Stony Brook, USA
Michael Huth - Imperial College of London, UK
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
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.

Return to the comp.compilers page.
Search the comp.compilers archives again.