<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div class="moz-text-html" lang="x-unicode">
<p><font size="2"><span style="font-size:11pt">FINAL CALL FOR
PAPERS<br>
<br>
Eleventh International Conference on<br>
<br>
Fundamentals of Software Engineering <span style="" data-markjs="true" class="x_x_mark6pfr5jpz3" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">2025</span> -
Theory and Practice (<span style="" data-markjs="true" class="x_x_markkebs9dy5i" 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_x_x_moz-txt-link-freetext" data-ogsc="" data-linkindex="0" data-auth="NotApplicable" rel="noopener noreferrer" target="_blank" href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fconf.researchr.org%2Fhome%2Ffsen-2025&data=05%7C02%7C%7C9a6de357aae74ce226c508dccb3667c0%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638608681746881801%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=8B6YGcCCsmnWc9bwdzrKylv0a3OhKt7wRCY8Uybl53A%3D&reserved=0" originalSrc="https://conf.researchr.org/home/fsen-2025" shash="bu0Pner0Mnz9Qlt1GaNTDQi/pTtyFUK18liy1Z0JvQKWgAXZuw/rnhS9WGE8SzWgPNvpseY6a7WTl0jrZGcycdupPTYK1rYiRu2n9dWljH6gR4sXNnX9I4M2HZ8578fpKYmBOwwJ8wNIvzzRtqSeABqTPoZ2D9DWe1Bj5zfKfoo=">https://conf.researchr.org/home/<span style="" data-markjs="true" class="x_x_markkebs9dy5i" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">fsen</span>-<span style="" data-markjs="true" class="x_x_mark6pfr5jpz3" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">2025</span></a><br>
<br>
Västerås, Sweden<br>
<br>
7,8 April <span style="" data-markjs="true" class="x_x_mark6pfr5jpz3" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">2025</span><br>
<br>
######################################################################<br>
<br>
-- About <span style="" data-markjs="true" class="x_x_markkebs9dy5i" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">FSEN</span> --<br>
<br>
Fundamentals of Software Engineering (<span style="" data-markjs="true" class="x_x_markkebs9dy5i" 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 style="" data-markjs="true" class="x_x_markkebs9dy5i" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">FSEN</span>
editions, the next edition<br>
of the <span style="" data-markjs="true" class="x_x_markkebs9dy5i" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">FSEN</span> conference will take
place in Västerås, Sweden, April 7-8, <span style="" data-markjs="true" class="x_x_mark6pfr5jpz3" 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 style="" data-markjs="true" class="x_x_mark6pfr5jpz3" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">2025</span> (AoE)<br>
<br>
Conference: April 7-8, <span style="" data-markjs="true" class="x_x_mark6pfr5jpz3" 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_x_x_moz-txt-link-freetext" data-ogsc="" data-linkindex="1" data-auth="NotApplicable" rel="noopener noreferrer" target="_blank" href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.easychair.org%2Fconferences%2F%3Fconf%3Dfsen2025&data=05%7C02%7C%7C9a6de357aae74ce226c508dccb3667c0%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638608681746881801%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=25aZQJ6uKLyCMHaen4vfXxDZ8iuYrrPvrkzYNz0V170%3D&reserved=0" originalSrc="https://www.easychair.org/conferences/?conf=fsen2025" shash="wgOxvgyIgdMQaH49TJTUR/AnKZRHTKqgbuH0CQTz9yN7f2R2Pl38J/dO0fdZV6r06QmfrUqG2SacbbZTGPv+zphf3vlo/vDIlapDzj10WgRJQ0lDpJVc3mEhDQ8J+e3S7ucEt64zP0Bh9GM60bCcrbfKTuPtKKzsjQNI5xpxdP8=">https://www.easychair.org/conferences/?conf=<span style="" data-markjs="true" class="x_x_markkebs9dy5i" 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_x_x_moz-txt-link-freetext" data-ogsc="" data-linkindex="2" data-auth="NotApplicable" rel="noopener noreferrer" target="_blank" href="https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines&data=05%7C02%7C%7C9a6de357aae74ce226c508dccb3667c0%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638608681746881801%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=I%2BPdX8972ddYfVNIbxhODzKmOPffMOwGMtd0xz1TTZs%3D&reserved=0" originalSrc="http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines" shash="TqLPoXFy7X6AxsPNAXWoBBQTCbmj0KbW96Z6KoHcyH79oV69KHzHxTaZcrqlAlX0O26FqdrAkTl67TiMXTzYvPXf/C/GPQn2QZSBv3oMO/C7finvbzJrPCzt+tus9aIOIvKDa2p/gNkf24ZcyihVhEpIvqpMGdX0pBsy9MO/CwU=">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 style="" data-markjs="true" class="x_x_markkebs9dy5i" 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_x_x_moz-txt-link-freetext" data-ogsc="" data-linkindex="3" data-auth="NotApplicable" rel="noopener noreferrer" target="_blank" href="https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.ifip.org%2F&data=05%7C02%7C%7C9a6de357aae74ce226c508dccb3667c0%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638608681746881801%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=Wk1mn6xhIPfiv7JsV8LOvazfQjCO%2F05hZeGJdZJRXzA%3D&reserved=0" originalSrc="http://www.ifip.org/" shash="y/Ba5C1UBW1XEbwvjeX5THLhuZjwB0/sWl9feZJYiRKAzz+/jL2jHfbpscFO7G9FoRo23X2YNpVKeSqT2J7Qr40d3tIomtWSdSZKsYsKCT+J2cUS/ig0HLM/9nUZ4RSS+cU1dQuCXrCE9JLKjYkPOQNUqsbjtkHQYNFGxfi4h54=">http://www.ifip.org/</a>
under Publications/Links).<br>
<br>
-- Proceedings and Special Issue --<br>
<br>
The post-proceedings of <span style="" data-markjs="true" class="x_x_markkebs9dy5i" 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 style="" data-markjs="true" class="x_x_markkebs9dy5i" 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 style="" data-markjs="true" class="x_x_markkebs9dy5i" 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 Chairs --<br>
<br>
Marjan Sirjani, Malardalen University, Sweden</span></font></p>
<p><font size="2"><span style="font-size:11pt">Robbert Jongeling,
</span></font><font size="2"><span style="font-size:11pt">Malardalen
University, Sweden</span></font></p>
<p><font size="2"><span style="font-size:11pt">Antonio Cicchetti</span></font><font size="2"><span style="font-size:11pt">, Malardalen University,
Sweden</span></font></p>
<p><font size="2"><span style="font-size:11pt">-- Program Chairs
--<br>
<br>
Georgiana Caltais - University of Twente, Netherlands</span></font></p>
<p><font size="2"><span style="font-size:11pt">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>
-- 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_x_x_moz-txt-link-freetext" data-ogsc="" data-linkindex="4" data-auth="NotApplicable" rel="noopener noreferrer" target="_blank" href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fconf.researchr.org%2Fhome%2Ffsen-2025&data=05%7C02%7C%7C9a6de357aae74ce226c508dccb3667c0%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638608681746881801%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=8B6YGcCCsmnWc9bwdzrKylv0a3OhKt7wRCY8Uybl53A%3D&reserved=0" originalSrc="https://conf.researchr.org/home/fsen-2025" shash="bu0Pner0Mnz9Qlt1GaNTDQi/pTtyFUK18liy1Z0JvQKWgAXZuw/rnhS9WGE8SzWgPNvpseY6a7WTl0jrZGcycdupPTYK1rYiRu2n9dWljH6gR4sXNnX9I4M2HZ8578fpKYmBOwwJ8wNIvzzRtqSeABqTPoZ2D9DWe1Bj5zfKfoo=">https://conf.researchr.org/home/<span style="" data-markjs="true" class="x_x_markkebs9dy5i" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">fsen</span>-<span style="" data-markjs="true" class="x_x_mark6pfr5jpz3" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">2025</span></a></span></font></p>
</div>
</body>
</html>