<html>
<head>
<meta http-equiv="content-type" content="text/html;
charset=ISO-8859-1">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Our apologies if you have received multiple copies.<br>
<br>
######################################################################<br>
FIRST CALL FOR PAPERS<br>
<br>
Sixth International Conference on<br>
Fundamentals of Software Engineering 2015 Theory and Practice (FSEN
'15)<br>
<a class="moz-txt-link-freetext" href="http://fsen.ir/2015">http://fsen.ir/2015</a><br>
Tehran, Iran<br>
22 - 24 April, 2015<br>
######################################################################<br>
About FSEN<br>
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.<br>
---------------------------------------------------------------------<br>
Important Dates<br>
Abstract Submission: October 24, 2014<br>
Paper Submission: October 31, 2014<br>
Notification: December 26, 2014<br>
Camera Ready: January 16, 2015<br>
Conference: April 22-24, 2015<br>
---------------------------------------------------------------------<br>
Topics of Interest<br>
The topics of this conference include, but are not restricted to,
the<br>
following:<br>
* Models of programs and software systems<br>
* Software specification, validation, and verification<br>
* Software testing<br>
* Software architectures and their description languages<br>
* Object and multi-agent systems<br>
* Coordination and feature interaction<br>
* Integration of formal and informal methods<br>
* Integration of different formal methods<br>
* Component-based and Service-oriented software systems<br>
* Self-adaptive software systems<br>
* Model checking and theorem proving<br>
* Software and hardware verification<br>
* CASE tools and tool integration<br>
* Industrial Applications<br>
---------------------------------------------------------------------<br>
Paper Submission<br>
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.<br>
----------------------------------------------------------------------<br>
Proceedings and Special Issues<br>
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).<br>
----------------------------------------------------------------------<br>
<br>
-- General Chair --<br>
Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands<br>
Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology,
Iran<br>
-- Program Chairs --<br>
Mehdi Dastani - Utrecht University, The Netherlands<br>
Marjan Sirjani - Reykjavík University, Iceland; University of
Tehran, Iran<br>
-- Publicity Chair --<br>
Hossein Hojjat - Cornell University, USA<br>
-- Steering Committee --<br>
Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands<br>
Christel Baier - University of Dresden, Germany<br>
Frank de Boer - CWI, Netherlands; Leiden University, Netherlands<br>
Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran<br>
Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology,
Iran<br>
Marjan Sirjani - Reykjavik University, Iceland; University of
Tehran, Iran (chair)<br>
Jan Rutten - CWI, Netherlands; Vrije University Amsterdam,
Netherlands<br>
-- Program Committee --<br>
Mohammad Abdollahi Azgomi - Iran University of Science and
Technology, Iran<br>
Christel Baier - TU Dresden, Germany<br>
Borzoo Bonakdarpour - University of Waterloo, Canada<br>
Marcello Bonsangue - Leiden University, Netherlands<br>
Mario Bravetti - University of Bologna, Italy<br>
Fabiano Dalpiaz - Utrecht University, Netherlands<br>
Mehdi Dastani - Utrecht University, Netherlands<br>
Erik De Vink - Technical University of Eindhoven, Netherlands<br>
Klaus Dräger - University of Oxford, UK<br>
Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands<br>
Masahiro Fujita - University of Tokyo, Japan<br>
Maurizio Gabbrielli - University of Bologna, Italy<br>
Fatemeh Ghassemi - University of Tehran, Iran<br>
Jan Friso Groote - Technical University of Eindhoven, Netherlands<br>
Hassan Haghighi - Shahid Beheshti University, Iran<br>
Hossein Hojjat - Cornell University, USA<br>
Mohammad Izadi - Sharif University of Technology, Iran<br>
Mohammad Mahdi Jaghoori - CWI, Netherlands<br>
Einar Broch Johnsen - University of Oslo, Norway<br>
Joost-Pieter Katoen - RWTH Aachen University, Germany<br>
Narges Khakpour - KTH, Sweden<br>
Ramtin Khosravi - University of Tehran, Iran<br>
Zhiming Liu - United Nations University, Macao, China<br>
Seyyed Hassan Mirian Hosseinabadi - Sharif University of Technology,
Iran<br>
Ugo Montanari - University of Pisa, Italy<br>
Peter Mosses - Swansea University, UK<br>
Mohammad Reza Mousavi - CERES, Sweden<br>
Ali Movaghar - Sharif University of Technology, Iran<br>
Peter Olveczky - University of Oslo, Norway<br>
Jose Proenca - K.U.Leuven, Belgium<br>
Niloofar Razavi - University of Toronto, Canada<br>
Philipp Ruemmer - Uppsala University, Sweden<br>
Gwen Salaun - Grenoble INP, Inria, France<br>
Cesar Sanchez - IMDEA Software Institute, Spain<br>
Wendelin Serwe - INRIA, France<br>
Marjan Sirjani - Reykjavik University, Iceland;<br>
Meng Sun - Peking University, China<br>
Carolyn Talcott - SRI International, USA<br>
Samira Tasharofi - University of Illinois at Urbana-Champaign, USA<br>
Tayssir Touili - LIAFA, France<br>
Danny Weyns - Linnaeus University, Sweden<br>
-- Keynote Speakers --<br>
Paola Inverardi, University of L'Aquila, <a
class="moz-txt-link-freetext"
href="http://www.di.univaq.it/inverard/">http://www.di.univaq.it/inverard/</a><br>
Other keynote speakers to be announced.
</body>
</html>