[TYPES/announce] Final CFP: FSEN 2015

[Marjan Sirjani]

Our apologies if you have received multiple copies.

######################################################################
                      FSEN  2015: CALL FOR PAPERS

Sixth International Conference on
Fundamentals of Software Engineering 2015 Theory and Practice (FSEN '15)
http://fsen.ir/2015
Tehran, Iran
22 - 24 April, 2015
######################################################################

-- About FSEN --

FSEN is an international conference that aims to bring together 
researchers, engineers, developers,
and practitioners from the academia and the industry to present and 
discuss their research work in
the area of formal methods for software engineering. This conference 
seeks to facilitate the transfer
of experience, adaptation of methods, and where possible, foster 
collaboration among different groups.
The topics of interest cover all aspects of formal methods, especially 
those related to advancing
the application of formal methods in the software industry and promoting 
their integration with
practical engineering techniques.

-- Important Dates --

Abstract Submission: October 24, 2014
Paper Submission: October 31, 2014
Notification: December 26, 2014
Camera Ready: January 16, 2015
Conference: April 22-24, 2015

-- Keynote Speakers --

  Holger Giese, Hasso Plattner Institute, Germany
  John Hughes, Chalmers University of Technology, Sweden
  Paola Inverardi, University of L'Aquila, Italy

-- Topics of Interest --

The topics of this conference include, but are not restricted to, the 
following:
* Models of programs and software systems
* Software specification, validation, and verification
* Software testing
* 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 and Service-oriented software systems
* Self-adaptive software systems
* Model checking and theorem proving
* Software and hardware verification
* CASE tools and tool integration
* Industrial Applications

-- Paper Submission --

Papers should be formatted according to the Springer LNCS style,
not exceed 15 pages (including figures and references), submitted in PDF 
or postscript format,
and not be submitted simultaneously for publication elsewhere.
Papers will be evaluated based on originality, significance, relevance, 
correctness and clarity.

-- Proceedings and Special Issues --

The post-proceedings of FSEN'15 will be published by Springer Verlag in 
the LNCS series
(official approval in process). There will also be a pre-proceeding, 
printed locally by IPM,
available at the conference. Following the tradition of the past editions,
we plan to have a special issue of Science of Computer Programming 
journal devoted to FSEN'15 (to be confirmed).


-- General Chair --

  Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands
  Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran

-- Program Chairs --

  Mehdi Dastani - Utrecht University, The Netherlands
  Marjan Sirjani - Reykjavík University, Iceland; University of Tehran, Iran

-- Publicity Chair --

  Hossein Hojjat - Cornell University, USA

-- Steering Committee --

  Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands
  Christel Baier - University of Dresden, Germany
  Frank de Boer - CWI, Netherlands; Leiden University, Netherlands
  Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran
  Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran
  Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, 
Iran (chair)
  Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands

-- Program Committee --

  Mohammad Abdollahi Azgomi - Iran University of Science and Technology, 
Iran
  Christel Baier - TU Dresden, Germany
  Ezio Bartocci, Vienna University of Technology, Austria
  Borzoo Bonakdarpour - University of Waterloo, Canada
  Marcello Bonsangue - Leiden University, Netherlands
  Mario Bravetti - University of Bologna, Italy
  Fabiano Dalpiaz - Utrecht University, Netherlands
  Mehdi Dastani - Utrecht University, Netherlands
  Erik De Vink - Technical University of Eindhoven, Netherlands
  Klaus Dräger - University of Oxford, UK
  Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands
  Masahiro Fujita - University of Tokyo, Japan
  Maurizio Gabbrielli - University of Bologna, Italy
  Fatemeh Ghassemi - University of Tehran, Iran
  Jan Friso Groote - Technical University of Eindhoven, Netherlands
  Hassan Haghighi - Shahid Beheshti University, Iran
  Hossein Hojjat - Cornell University, USA
  Mohammad Izadi - Sharif University of Technology, Iran
  Mohammad Mahdi Jaghoori - CWI, Netherlands; Academic Medical Center of 
University of Amsterdam, Netherlands
  Einar Broch Johnsen - University of Oslo, Norway
  Joost-Pieter Katoen - RWTH Aachen University, Germany
  Narges Khakpour - KTH, Sweden
  Ramtin Khosravi - University of Tehran, Iran
  Zhiming Liu - Birmingham City University, UK
  Seyyed Hassan Mirian Hosseinabadi - Sharif University of Technology, Iran
  Ugo Montanari - University of Pisa, Italy
  Peter Mosses - Swansea University, UK
  Mohammad Reza Mousavi - Halmstad University, Sweden
  Ali Movaghar - Sharif University of Technology, Iran
  Peter Olveczky - University of Oslo, Norway
  Jose Proenca - K.U.Leuven, Belgium
  Niloofar Razavi - University of Toronto, Canada
  Philipp Ruemmer - Uppsala University, Sweden
  Gwen Salaun - Grenoble INP, Inria, France
  Cesar Sanchez - IMDEA Software Institute, Spain
  Wendelin Serwe - INRIA, France
  Marjan Sirjani - Reykjavik University, Iceland
  Meng Sun - Peking University, China
  Carolyn Talcott - SRI International, USA
  Samira Tasharofi - Microsoft, USA
  Tayssir Touili - LIAFA, France
  Danny Weyns - Linnaeus University, Sweden