FSEN'07 Second call for papers (International Symposium on Fundamentals of Software Engineering, Tehran 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/TC2


  ---------------------------------------------------------------------
  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
  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


  ----------------------------------------------------------------------
  Invited Speakers


  To be announced.

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