<html>
<head>
<meta http-equiv="content-type" content="text/html;
charset=windows-1252">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Our apologies if you have received multiple copies.<br>
<br>
######################################################################<br>
SECOND 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<br>
</body>
</html>