[TYPES/announce] First Call for Papers: FSEN 2015

[FSEN]

Our apologies if you have received multiple copies.

######################################################################
FIRST 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
---------------------------------------------------------------------
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
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
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 - CERES, 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 - University of Illinois at Urbana-Champaign, USA
Tayssir Touili - LIAFA, France
Danny Weyns - Linnaeus University, Sweden
-- Keynote Speakers --
Paola Inverardi,  University of L'Aquila, http://www.di.univaq.it/inverard/
Other keynote speakers to be announced.