<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Our apologies if you have received multiple copies.<br>
<br>
######################################################################<br>
FSEN 2015: 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>
<br>
-- About FSEN --<br>
<br>
FSEN is an international conference that aims to bring together
researchers, engineers, developers,<br>
and practitioners from the academia and the industry to present and
discuss their research work in<br>
the area of formal methods for software engineering. This conference
seeks to facilitate the transfer<br>
of experience, adaptation of methods, and where possible, foster
collaboration among different groups.<br>
The topics of interest cover all aspects of formal methods,
especially those related to advancing<br>
the application of formal methods in the software industry and
promoting their integration with<br>
practical engineering techniques.<br>
<br>
-- Important Dates --<br>
<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>
-- Keynote Speakers --<br>
<br>
Holger Giese, Hasso Plattner Institute, Germany<br>
John Hughes, Chalmers University of Technology, Sweden<br>
Paola Inverardi, University of L'Aquila, Italy<br>
<br>
-- Topics of Interest --<br>
<br>
The topics of this conference include, but are not restricted to,
the 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>
<br>
Papers should be formatted according to the Springer LNCS style,<br>
not exceed 15 pages (including figures and references), submitted in
PDF or postscript format,<br>
and not be submitted simultaneously for publication elsewhere.<br>
Papers will be evaluated based on originality, significance,
relevance, correctness and clarity.<br>
<br>
-- Proceedings and Special Issues --<br>
<br>
The post-proceedings of FSEN'15 will be published by Springer Verlag
in the LNCS series<br>
(official approval in process). There will also be a pre-proceeding,
printed locally by IPM,<br>
available at the conference. Following the tradition of the past
editions,<br>
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>
<br>
Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands<br>
Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology,
Iran<br>
<br>
-- Program Chairs --<br>
<br>
Mehdi Dastani - Utrecht University, The Netherlands<br>
Marjan Sirjani - Reykjavík University, Iceland; University of
Tehran, Iran<br>
<br>
-- Publicity Chair --<br>
<br>
Hossein Hojjat - Cornell University, USA<br>
<br>
-- Steering Committee --<br>
<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>
<br>
-- Program Committee --<br>
<br>
Mohammad Abdollahi Azgomi - Iran University of Science and
Technology, Iran<br>
Christel Baier - TU Dresden, Germany<br>
Ezio Bartocci, Vienna University of Technology, Austria<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; Academic Medical Center
of University of Amsterdam, 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 - Birmingham City University, UK<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 - Halmstad University, 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 - Microsoft, USA<br>
Tayssir Touili - LIAFA, France<br>
Danny Weyns - Linnaeus University, Sweden
</body>
</html>