<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p><font size="2"><span style="font-size:11pt">SECOND CALL FOR
PAPERS<br>
<br>
Eleventh International Conference on<br>
<br>
Fundamentals of Software Engineering <span data-markjs="true" class="mark6pfr5jpz3" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">2025</span> - Theory and Practice
(<span data-markjs="true" class="markkebs9dy5i" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">FSEN</span>
'25)<br>
<br>
<a style="" title="Original URL: https://conf.researchr.org/home/fsen-2025. Click or tap if you trust this link." class="x_x_moz-txt-link-freetext" data-ogsc="" data-linkindex="0" data-auth="NotApplicable" rel="noopener noreferrer" target="_blank" href="https://urldefense.com/v3/__https://conf.researchr.org/home/fsen-2025__;!!IBzWLUs!UQgcz0F_uOcjwxMvyLqIpAc3QIUznM5EykQa8ayqLPIW5YOVtW0bdW6H5ObA23vklZZ0k3Z2lrP_GAVb8nki8KMe5Ex2RYZ3hb3NOa0$">https://conf.researchr.org/home/<span data-markjs="true" class="markkebs9dy5i" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">fsen</span>-<span data-markjs="true" class="mark6pfr5jpz3" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">2025</span></a><br>
<br>
Västerås, Sweden<br>
<br>
7,8 April <span data-markjs="true" class="mark6pfr5jpz3" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">2025</span><br>
<br>
######################################################################<br>
<br>
-- About <span data-markjs="true" class="markkebs9dy5i" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">FSEN</span>
--<br>
<br>
Fundamentals of Software Engineering (<span data-markjs="true" class="markkebs9dy5i" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">FSEN</span>) is an international
conference<br>
that aims to bring together researchers, engineers,
developers, and practitioners<br>
from academia and industry to present and discuss their
research work in the area<br>
of formal methods for software engineering. Additionally, this
conference seeks to<br>
facilitate the transfer of experience, adaptation of methods,
and where possible,<br>
foster collaboration among different groups. The topics of
interest cover all aspects<br>
of formal methods, especially those related to advancing the
application of formal methods<br>
in the software industry and promoting their integration with
practical engineering<br>
techniques. Following the success of the previous <span data-markjs="true" class="markkebs9dy5i" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">FSEN</span>
editions, the next edition<br>
of the <span data-markjs="true" class="markkebs9dy5i" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">FSEN</span>
conference will take place in Västerås, Sweden, April 7-8, <span data-markjs="true" class="mark6pfr5jpz3" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">2025</span>.<br>
<br>
-- Important Dates --<br>
<br>
Abstract Submission: October 7, 2024 (AoE)<br>
<br>
Paper Submission: October 14, 2024 (AoE)<br>
<br>
Notification: December 2, 2024<br>
<br>
Final Camera-ready Submission: January 13, <span data-markjs="true" class="mark6pfr5jpz3" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">2025</span>
(AoE)<br>
<br>
Conference: April 7-8, <span data-markjs="true" class="mark6pfr5jpz3" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">2025</span><br>
<br>
-- Keynote Speakers (confirmed) --<br>
<br>
Işıl Dillig, University of Texas at Austin<br>
<br>
Alexander Serebrenik, Eindhoven University of Technology<br>
<br>
Marielle Stoelinga, University of Twente and Radboud
University, Nijmegen<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>
<br>
* Software specification, validation, and verification<br>
<br>
* Software testing<br>
<br>
* Software architectures and their description languages<br>
<br>
* Object, actor and multi-agent systems<br>
<br>
* Coordination, feature interaction and software product lines<br>
<br>
* Integration of formal and informal methods<br>
<br>
* Integration of different formal methods<br>
<br>
* Component-based and service-oriented software systems<br>
<br>
* Collective, self-adaptive and cyber-physical software
systems<br>
<br>
* Model checking and theorem proving<br>
<br>
* Quantitative formal methods<br>
<br>
* Software and hardware verification<br>
<br>
* CASE tools and tool integration<br>
<br>
* Industrial applications<br>
<br>
-- Paper Submission --<br>
<br>
Authors are invited to submit full papers (up to 15 pages
including references) describing<br>
original research, applications and tools; or short papers (up
to 6 pages including references)<br>
describing ongoing research or new ideas that have not yet
been fully validated. Both categories<br>
of papers must be submitted electronically in PDF using the
online submission process via the<br>
Easychair conference system at the following link: <a style="" title="Original URL: https://www.easychair.org/conferences/?conf=fsen2025. Click or tap if you trust this link." class="x_x_moz-txt-link-freetext" data-ogsc="" data-linkindex="1" data-auth="NotApplicable" rel="noopener noreferrer" target="_blank" href="https://urldefense.com/v3/__https://www.easychair.org/conferences/?conf=fsen2025__;!!IBzWLUs!UQgcz0F_uOcjwxMvyLqIpAc3QIUznM5EykQa8ayqLPIW5YOVtW0bdW6H5ObA23vklZZ0k3Z2lrP_GAVb8nki8KMe5Ex2RYZ3nC0S-SE$">https://www.easychair.org/conferences/?conf=<span data-markjs="true" class="markkebs9dy5i" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">fsen</span>2025</a>.<br>
<br>
Contributions must be written in English, should be formatted
according to the Springer LNCS style<br>
(LaTeX2e Proceedings Templates) that can be found at the
following link<br>
(<a style="" title="Original URL: http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines. Click or tap if you trust this link." class="x_x_moz-txt-link-freetext" data-ogsc="" data-linkindex="2" data-auth="NotApplicable" rel="noopener noreferrer" target="_blank" href="https://urldefense.com/v3/__http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!UQgcz0F_uOcjwxMvyLqIpAc3QIUznM5EykQa8ayqLPIW5YOVtW0bdW6H5ObA23vklZZ0k3Z2lrP_GAVb8nki8KMe5Ex2RYZ3FJ5I-vQ$">http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines</a>)<br>
and 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 <span data-markjs="true" class="markkebs9dy5i" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">FSEN</span> conference, technical
soundness, clarity, self-containedness and<br>
discussion of appropriate related work.<br>
<br>
The reviewers will be asked to rate the submissions and
evaluate whether they can be accepted as:<br>
<br>
1) Full paper for the LNCS proceedings<br>
<br>
2) Short paper for the LNCS proceedings<br>
<br>
3) Poster (not included in the proceedings)<br>
<br>
Papers accepted in the first 2 categories will be invited for
presentation at the conference.<br>
Posters will be illustrated by the authors in separate poster
sessions. <br>
<br>
Submissions are required to report on original, unpublished
work and should not be submitted<br>
simultaneously for publication elsewhere<br>
(cf. IFIP's Author Code of Conduct, see <a style="" title="Original URL: http://www.ifip.org/. Click or tap if you trust this link." class="x_x_moz-txt-link-freetext" data-ogsc="" data-linkindex="3" data-auth="NotApplicable" rel="noopener noreferrer" target="_blank" href="https://urldefense.com/v3/__http://www.ifip.org/__;!!IBzWLUs!UQgcz0F_uOcjwxMvyLqIpAc3QIUznM5EykQa8ayqLPIW5YOVtW0bdW6H5ObA23vklZZ0k3Z2lrP_GAVb8nki8KMe5Ex2RYZ3bC3NegQ$">http://www.ifip.org/</a>
under Publications/Links).<br>
<br>
<br>
-- Proceedings and Special Issue --<br>
<br>
The post-proceedings of <span data-markjs="true" class="markkebs9dy5i" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">FSEN</span>'25 will be published
by Springer in the LNCS series.<br>
Following the tradition of <span data-markjs="true" class="markkebs9dy5i" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">FSEN</span>, we plan to have a
special issue of the<br>
Science of Computer Programming journal devoted to <span data-markjs="true" class="markkebs9dy5i" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">FSEN</span>'25.
After the conference<br>
a selection of papers will be invited for this special issue.
The invited papers<br>
should be revised and extended and will undergo a new round of
review by an<br>
international program committee. Please see the websites of
previous editions of<br>
FSEN for more information on post-proceedings and special
issues related to those editions.<br>
<br>
-- General Chair --<br>
<br>
Marjan Sirjani, Malardalen University, Sweden<br>
<br>
-- Program Chairs --<br>
<br>
Georgiana Caltais - University of Twente, Netherlands<br>
Hossein Hojjat - Tehran Institute for Advanced Studies, Iran<br>
<br>
-- Publicity Chair --<br>
<br>
Petra van den Bos, University of Twente, The Netherlands<br>
<br>
<br>
-- Steering Committee --<br>
<br>
Farhad Arbab - CWI, the Netherlands; Leiden University, the
Netherlands<br>
<br>
Christel Baier - University of Dresden, Germany<br>
<br>
Mieke Massink, CNR-ISTI Pisa, Italy<br>
<br>
Ali Movaghar - IPM, Iran; Sharif University of Technology,
Iran<br>
<br>
Hamid Sarbazi-azad - IPM, Iran; Sharif University of
Technology, Iran<br>
<br>
Marjan Sirjani - Mälardalen University, Sweden; Reykjavik
University, Iceland (Chair)<br>
<br>
Carolyn Talcott - SRI International, USA<br>
<br>
Martin Wirsing - LMU Munich, Germany<br>
<br>
-- Program Committee --<br>
<br>
See website: <a style="" title="Original URL: https://conf.researchr.org/home/fsen-2025. Click or tap if you trust this link." class="x_x_moz-txt-link-freetext" data-ogsc="" data-linkindex="4" data-auth="NotApplicable" rel="noopener noreferrer" target="_blank" href="https://urldefense.com/v3/__https://conf.researchr.org/home/fsen-2025__;!!IBzWLUs!UQgcz0F_uOcjwxMvyLqIpAc3QIUznM5EykQa8ayqLPIW5YOVtW0bdW6H5ObA23vklZZ0k3Z2lrP_GAVb8nki8KMe5Ex2RYZ3hb3NOa0$">https://conf.researchr.org/home/<span data-markjs="true" class="markkebs9dy5i" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">fsen</span>-<span data-markjs="true" class="mark6pfr5jpz3" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">2025</span></a></span></font></p>
</body>
</html>