<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
FINAL CALL FOR PAPERS<br>
<br>
Tenth International Conference on<br>
Fundamentals of Software Engineering 2023 - Theory and Practice
(FSEN '23)<br>
<br>
<a class="moz-txt-link-freetext" href="http://fsen.ir/2023">http://fsen.ir/2023</a><br>
<br>
Tehran, Iran<br>
May 3-5, 2023<br>
<br>
######################################################################<br>
<br>
IMPORTANT INFORMATION:<br>
<br>
Under the current circumstances, the FSEN Steering and Organizing
Committees have decided to hold FSEN 2023<br>
in a <b>hybrid or mixed format</b>, offering virtual presentation
as an option to participants. All accepted papers will be <br>
published in the conference proceedings, regardless of whether a
physical or virtual presentation is given.<br>
More details will follow in the course of time via the FSEN 2023
website.<br>
<br>
######################################################################<br>
<br>
-- About FSEN --<br>
<br>
Fundamentals of Software Engineering (FSEN) is an international
conference that aims to bring together researchers, <br>
engineers, developers, and practitioners from academia and industry
to present and discuss their research work in <br>
the area of formal methods for software engineering.<br>
Additionally, this conference seeks to facilitate the transfer of
experience, adaptation of methods, and where possible, <br>
foster collaboration among different groups.<br>
The topics of interest cover all aspects of formal methods,
especially those related to advancing the application of <br>
formal methods in the software industry andpromoting their
integration with practical engineering techniques.<br>
Following the success of the previous FSEN editions, the next
edition of the FSEN conference will take place in Tehran, <br>
Iran, May 3-5, 2023.<br>
<br>
-- Important Dates --<br>
<br>
Paper Submission: November 4, 2022 (AoE) -<b>extended deadline</b>-<br>
Notification: December 2, 2022<br>
Final pre-Conference Version: January 20, 2023 (AoE)<br>
Conference: May 3-5, 2023<br>
<br>
-- Keynote Speakers (confirmed) --<br>
<br>
Wolfgang Ahrendt, Chalmers University of Technology, Sweden<br>
Dines Bjørner, Technical University of Denmark, Denmark<br>
Mohammad Reza Mousavi, King's College London, UK<br>
Heike Wehrheim, University of Oldenburg, Germany<br>
<br>
-- Topics of Interest --<br>
<br>
The topics of this conference include, but are not restricted to,
the following:<br>
<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, actor and multi-agent systems<br>
* Coordination, feature interaction and software product lines<br>
* Integration of formal and informal methods<br>
* Integration of different formal methods<br>
* Component-based and service-oriented software systems<br>
* Collective, self-adaptive and cyber-physical software systems<br>
* Model checking and theorem proving<br>
* Quantitative formal methods<br>
* Software and hardware verification<br>
* CASE tools and tool integration<br>
* Industrial applications<br>
<br>
-- Paper Submission --<br>
<br>
Authors are invited to submit full papers (up to 15 pages including
references) describing original research, <br>
applications and tools; or short papers (up to 6 pages including
references) describing ongoing research or <br>
new ideas that have not yet been fully validated.<br>
Both categories of papers must be submitted electronically in PDF
using the online submission process via the <br>
Easychair conference system at the following link:
<a class="moz-txt-link-freetext" href="https://www.easychair.org/conferences/?conf=fsen2023">https://www.easychair.org/conferences/?conf=fsen2023</a>.<br>
<br>
Contributions must be written in English, should be formatted
according to the Springer LNCS style (LaTeX2e <br>
Proceedings Templates) that can be found at the following link:<br>
<a class="moz-txt-link-freetext" href="http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines">http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines</a>
<br>
Moreover, contributions must not exceed the page limit for the
category (including figures and references).<br>
<br>
Each submission will be thoroughly reviewed by at least three
reviewers considering scientific originality, <br>
significance, relevance to the FSEN conference, technical soundness,
clarity, self-containedness and discussion <br>
of appropriate related work.<br>
<br>
The reviewers will be asked to rate the submissions and evaluate
whether they can be accepted as:<br>
1) Full paper for the LNCS post-proceedings and conference
pre-proceedings<br>
2) Short paper for the LNCS post-proceedings and conference
pre-proceedings<br>
3) Poster included only in the pre-proceedings<br>
Papers accepted in the first 2 categories will be invited for
presentation at the conference. Posters will be <br>
illustrated by the authors in separate poster sessions. <br>
<br>
Submissions are required to report on original, unpublished work and
should not be submitted simultaneously <br>
for publication elsewhere (cf. IFIP's Author Code of Conduct, see
<a class="moz-txt-link-freetext" href="http://www.ifip.org/">http://www.ifip.org/</a> under Publications/Links).<br>
<br>
-- Proceedings and Special Issue --<br>
<br>
The post-proceedings of FSEN'23 will be published by Springer in the
LNCS series.<br>
Pre-proceedings, printed locally by IPM, will be available at the
conference.<br>
Following the tradition of FSEN, we plan to have a special issue of
the Science of Computer Programming journal <br>
devoted to FSEN'23.<br>
After the conference a selection of papers will be invited for this
special issue.<br>
The invited papers should be revised and extended and will undergo a
new round of review by an international <br>
program committee.<br>
Please see the websites of previous editions of FSEN for more
information on post-proceedings and special issues <br>
related to those editions.<br>
<br>
-- General Chairs --<br>
<br>
Farhad Arbab - CWI, the Netherlands; Leiden University, the
Netherlands<br>
Pejman Lotfi-Kamran - IPM, Iran<br>
<br>
-- Program Chairs --<br>
<br>
Hossein Hojjat - Tehran Institute for Advanced Studies, Iran<br>
Erika Abraham - RWTH Aachen University, Germany<br>
<br>
-- Publicity Chair --<br>
<br>
Maurice ter Beek - CNR-ISTI Pisa, Italy<br>
<br>
-- Steering Committee --<br>
<br>
Farhad Arbab - CWI, the Netherlands; Leiden University, the
Netherlands<br>
Christel Baier - University of Dresden, Germany<br>
Frank de Boer - CWI, the Netherlands; Leiden University, the
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 - Mälardalen University, Sweden; Reykjavik
University, Iceland (Chair)<br>
Carolyn Talcott - SRI International, USA<br>
Martin Wirsing - LMU Munich, Germany<br>
<br>
-- Program Committee --<br>
<br>
SEE WEBSITE<br>
<br>
<br>
<div class="moz-signature">-- <br>
Maurice H. ter Beek<br>
head FMT lab, ISTI-CNR, Pisa, Italy
<p>
e-mail: <a href="mailto:maurice.terbeek@isti.cnr.it"
class="moz-txt-link-freetext">maurice.terbeek@isti.cnr.it</a><br>
homepage: <a href="http://fmt.isti.cnr.it/~mtbeek/">fmt.isti.cnr.it/~mtbeek</a><br>
office phone: +39-050-6213471<br>
mobile phone: +39-348-2436998
</p>
</div>
</body>
</html>