<!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">
<div class="moz-text-html" lang="x-unicode">
<p><font size="2"><span style="font-size:11pt">FINAL CALL FOR
PAPERS (DEADLINE EXTENDED)<br>
<br>
Eleventh International Conference on<br>
<br>
Fundamentals of Software Engineering <span style="" class="x_x_mark6pfr5jpz3">2025</span> - Theory and
Practice (<span style="" class="x_x_markkebs9dy5i">FSEN</span>
'25)<br>
<br>
<a style="" href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fconf.researchr.org%2Fhome%2Ffsen-2025&data=05%7C02%7Com%40openmath.org%7C67b61d97e022495f823b08dce6aa29e8%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638638865726311913%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=19Oc9DcQfPcKCO7%2BG0kx5o4A0nb9ySlydxIOUS%2FXCZ8%3D&reserved=0" originalSrc="https://conf.researchr.org/home/fsen-2025" shash="shIA2TgPQTMoX+t4dku4qh14eGs93iswcW6Y9VHDNBtm67973BmFY2acS0YFtj0z0r9U1+itBJHUKEiF6N2HbLhFufS0h6RgY+OsiJVYrExcihmN9+nLGPF0051eOehcg/C9mhqeOEV4wGzK7heFygwn5qmIlp1elbZ5noHfOpM=" rel="noopener noreferrer" class="x_x_x_x_moz-txt-link-freetext" title="Original URL: https://conf.researchr.org/home/fsen-2025. Click or tap if you trust this link.">https://conf.researchr.org/home/<span style="" class="x_x_markkebs9dy5i">fsen</span>-<span style="" class="x_x_mark6pfr5jpz3">2025</span></a><br>
<br>
Västerås, Sweden<br>
<br>
7,8 April <span style="" class="x_x_mark6pfr5jpz3">2025</span><br>
<br>
######################################################################<br>
<br>
-- About <span style="" class="x_x_markkebs9dy5i">FSEN</span>
--<br>
<br>
Fundamentals of Software Engineering (<span style="" class="x_x_markkebs9dy5i">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="" class="x_x_markkebs9dy5i">
FSEN</span> editions, the next edition<br>
of the <span style="" class="x_x_markkebs9dy5i">FSEN</span>
conference will take place in Västerås, Sweden, April 7-8,
<span style="" class="x_x_mark6pfr5jpz3">2025</span>.<br>
<br>
-- Important Dates --<br>
<b><br>
Abstract Submission extended for 2 weeks: October 21,
2024 (AoE)</b></span></font></p>
<p><b><font size="2"><span style="font-size:11pt">Paper
Submission extended for 2 weeks: October 28, 2024 (AoE)</span></font></b></p>
<p><font size="2"><span style="font-size:11pt"><i><b>The new
deadlines are strict!</b><br>
</i><br>
Notification: December 2, 2024<br>
<br>
Final Camera-ready Submission: January 13, <span style="" class="x_x_mark6pfr5jpz3">
2025</span> (AoE)<br>
<br>
Conference: April 7-8, <span style="" class="x_x_mark6pfr5jpz3">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="" href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.easychair.org%2Fconferences%2F%3Fconf%3Dfsen2025&data=05%7C02%7Com%40openmath.org%7C67b61d97e022495f823b08dce6aa29e8%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638638865726311913%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=xmER4XNZiJc1ebm0%2F5HopoiF%2B%2BpH%2B2d5yCRMK0k1E3c%3D&reserved=0" originalSrc="https://www.easychair.org/conferences/?conf=fsen2025" shash="feo/ptJFFhqsbgPQ556sq8w84YKUiyYO/vGhC80uAUqCbB4rhQ8IYY+vvnLfXan3csIMXk4IS81Be8XszvcgyyPitqp7oNEbvCXCWK7bqomsVXw9Hsk1GESxhiGbMidTa6CvQxM9FlX6zQxxsh8Z+whiovO37HFIECjwADShAAg=" rel="noopener noreferrer" class="x_x_x_x_moz-txt-link-freetext" title="Original URL: https://www.easychair.org/conferences/?conf=fsen2025. Click or tap if you trust this link.">
https://www.easychair.org/conferences/?conf=<span style="" class="x_x_markkebs9dy5i">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="" href="https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines&data=05%7C02%7Com%40openmath.org%7C67b61d97e022495f823b08dce6aa29e8%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638638865726468097%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=E9iL4fkQgRWHRBeMeZL99%2FUkrvTspEweUbBCxEZNDV4%3D&reserved=0" originalSrc="http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines" shash="yKkAePvKHWtY0uaJ4sja/tKCXvUYqo1rEg+hP8Q1V2CyvlQtLJ8RrjqXPeMDt1ghBPb2v6o7QiuTVX1xna+H4zUWdeIhfv3QyP9K7UyG3WKDBpkRoqgd8U/HmA5t89bjS2ZP3pojAMI0h+YKpgAuE7jPpDf102i81cKr/2d8HKQ=" rel="noopener noreferrer" class="x_x_x_x_moz-txt-link-freetext" title="Original URL: http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines. Click or tap if you trust this link.">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="" class="x_x_markkebs9dy5i">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="" href="https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.ifip.org%2F&data=05%7C02%7Com%40openmath.org%7C67b61d97e022495f823b08dce6aa29e8%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638638865726468097%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=yJbwDfVNCAM9y6afQJrHAlM1m4qutgkYFqtsrCRpvW8%3D&reserved=0" originalSrc="http://www.ifip.org/" shash="jxhwIxdWKB8tx7SvNe01MCJFGr5V7V/LP5czuBZha4Fp+ue6e60ilc0iLhhMLAqmsFor4JAIhxrgsKI626QlREOBGKAK59bvrOONJJHS64Er1KXnP1jR8biPyYzldBN/JqK5MRY3jxaDXPBPDyfZj2/Zrtltql3OrxQUbzmvDK0=" rel="noopener noreferrer" class="x_x_x_x_moz-txt-link-freetext" title="Original URL: http://www.ifip.org/. Click or tap if you trust this link.">
http://www.ifip.org/</a> under Publications/Links).<br>
<br>
-- Proceedings and Special Issue --<br>
<br>
The post-proceedings of <span style="" class="x_x_markkebs9dy5i">FSEN</span>'25 will be
published by Springer in the LNCS series.<br>
Following the tradition of <span style="" class="x_x_markkebs9dy5i">FSEN</span>, we plan to have a
special issue of the<br>
Science of Computer Programming journal devoted to <span style="" class="x_x_markkebs9dy5i">
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="" href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fconf.researchr.org%2Fhome%2Ffsen-2025&data=05%7C02%7Com%40openmath.org%7C67b61d97e022495f823b08dce6aa29e8%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638638865726468097%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=RsAFodW7Rl8qwzWPIVvJaiCcur5Nl977GwebE1zb5yk%3D&reserved=0" originalSrc="https://conf.researchr.org/home/fsen-2025" shash="L0o3/lR/fRw7ppObScVf7/n81KAahLqADy2M1HKgOu+o+upXpZd1fCQU80cwZhk7G/FlES3gYgMAQJKQvYOzHUkycHq6T+Gg8uVX9GiCg+2p+ooUHUN4z9jJL1jeIOR3ZFbZodXsZVnNOaYxXB/oCNoeIiUoJH/sIMvvsiHuuSU=" rel="noopener noreferrer" class="x_x_x_x_moz-txt-link-freetext" title="Original URL: https://conf.researchr.org/home/fsen-2025. Click or tap if you trust this link.">
https://conf.researchr.org/home/<span style="" class="x_x_markkebs9dy5i">fsen</span>-<span style="" class="x_x_mark6pfr5jpz3">2025</span></a></span></font></p>
</div>
</div>
</body>
</html>