<!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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fconf.researchr.org%2Fhome%2Ffsen-2025&data=05%7C02%7C%7C16f7d5c2e53e49ffba7308dcafa88b2c%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638578385625914287%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=%2FLMRBULFxJedC2ABueeTFy04SGVgULabgkAfWGZAxFg%3D&reserved=0" originalSrc="https://conf.researchr.org/home/fsen-2025" shash="J+HZ4g8Z9e+Qtt5ICkzELHR9wXww7IhY5topBVuT6UwiqWk6sO3tMIC9yu/DS4j3qaybJmtLIAeE16p9fvFBaQmruuLq2z+SQtAssxo8kzYtMmKrMc7718gHl2C9iInbGx6Pmu0TDksVExVUsEyX4cMhwYoyJ/NXb42+asZcFrI=">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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.easychair.org%2Fconferences%2F%3Fconf%3Dfsen2025&data=05%7C02%7C%7C16f7d5c2e53e49ffba7308dcafa88b2c%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638578385625914287%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=9V2CAEis1BhfBXyUWUlwTCikO%2B0Vk5ZvJ0J0ShSXl%2BY%3D&reserved=0" originalSrc="https://www.easychair.org/conferences/?conf=fsen2025" shash="l6ugPxsRqfvXKU/Ytau2+Q5L8kV589F8vUPxvLz2HIxOWq1D1Ne36maB8bWn3KKFLTw+8hQi9z8LzjwHeMP3iv4qnYgUQMT5XT9NJSHQTGquB643L2uhStGOJsMsyGroHvjbB4z1Qy2jtRUNjX314QogHbgk86jNlcZE9DKm3Bg=">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://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines&data=05%7C02%7C%7C16f7d5c2e53e49ffba7308dcafa88b2c%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638578385625914287%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=UItybUl23qzbQTK8ruJ3pY0N20deGwa7vqiNpx8wlUU%3D&reserved=0" originalSrc="http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines" shash="xu3SJ3GLDKdzsLni4XF6BMvcJk0Be2mhbz37YZkSdnk59KUtdlPeQCfOtYyAXURZ5efubrzs4mzNi6EaCO+DfELb4YlQARZCMscD1wXnXWYGBuaxfIg8l4mamzM0wQBAFIYmdRnCFK+kEgX5nfK5DUlO/6b4lnHCQpfClaWzLm8=">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://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.ifip.org%2F&data=05%7C02%7C%7C16f7d5c2e53e49ffba7308dcafa88b2c%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638578385625914287%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=eGKjH01Cd%2FKzFpUvbEz3HfTtTC1qOBIeU4LPFhU40C0%3D&reserved=0" originalSrc="http://www.ifip.org/" shash="rznmq7ILRRTMhHNXQliu4orUgcfjkRQ6iRsDD85tV4yU2B3/hV+kiHIARr3rzDY4wRmcklVWeU+kEyWRFEeIbsIOTATFqM6XR0mzrJbMfKtRXOejXPdg5rv0Vvg4qwKFByN6Lpn85+iyvoDGTphyt4AEpnxLIa4RM1qzFK6H53w=">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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fconf.researchr.org%2Fhome%2Ffsen-2025&data=05%7C02%7C%7C16f7d5c2e53e49ffba7308dcafa88b2c%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638578385626070563%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=g8p4MMOd4ff8FgwR2TP6dVxRW3kxCQ3jSlEnntlzqNE%3D&reserved=0" originalSrc="https://conf.researchr.org/home/fsen-2025" shash="pDb9kQl5YCCC+jS4pGmF6GuzbZpq2BDRRmMlX4+TLNjcxXhI14jZlrELh1m3R02fcS1oYwozSkd45ewxgg/vjsbA2Zzr3TaZdLPmFbK6o9XtjPBoJG+1555GyTn51wfuoJmFZxp3K8pMwZbtYxQZ8opAiikIfHhXZ+EKjEDRdrc=">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>