<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div dir="ltr" data-olk-copy-source="MessageBody">##########################</div>
<div dir="ltr"><span data-markjs="true" class="mark6h81cs3lp" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">FSEN</span>
2025 Call for <span data-markjs="true" class="markwuc39vh8d" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">Participation</span><br>
<br>
Eleventh International Conference on<br>
Fundamentals of Software Engineering 2025 - Theory and Practice
(FSEN '25)</div>
<div dir="ltr"><br>
</div>
<div dir="ltr"><a class="moz-txt-link-freetext" href="https://conf.researchr.org/home/fsen-2025">https://conf.researchr.org/home/fsen-2025</a></div>
<div dir="ltr"><br>
</div>
<div dir="ltr">Västerås, Sweden<br>
7,8 April 2025<br>
##########################<br>
<br>
<span data-markjs="true" class="mark6h81cs3lp" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">-- About
FSEN --<br>
<br>
Fundamentals of Software Engineering (FSEN) 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.</span></div>
<div dir="ltr"><br>
<div>This year, <span data-markjs="true" class="mark6h81cs3lp" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">FSEN</span>
will take place in Västerås, Sweden, on 7 and 8 April 2025.</div>
<div>The event includes four keynote talks. <br>
</div>
<div>The preliminary conference program can be found at:</div>
<div><a class="moz-txt-link-freetext" href="https://conf.researchr.org/program/fsen-2025/program-fsen-2025/">https://conf.researchr.org/program/fsen-2025/program-fsen-2025/</a><br>
</div>
</div>
<div dir="ltr"><br>
</div>
<div dir="ltr"><span data-markjs="true" class="mark6h81cs3lp" style="" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="">--
Registration --</span></div>
<div dir="ltr"><br>
</div>
<div dir="ltr">To register for the conference please go to the
following page:</div>
<div dir="ltr"><a class="moz-txt-link-freetext" href="https://conf.researchr.org/attending/fsen-2025/Registration">https://conf.researchr.org/attending/fsen-2025/Registration</a><br>
</div>
<div dir="ltr"><br>
</div>
<div dir="ltr">The registration deadlines are as follows:<strike><br>
</strike> </div>
<div dir="ltr">
<ul>
<li><strike><strong>January 31st 23:59 CET:</strong> Early-bird
registration deadline for paper presenters and participants
without presentation</strike></li>
<li><strong>February 21st</strong><strong> 23:59 CET</strong><strong>:</strong>
Early-bird registration deadline for poster presenters</li>
<li><strong>March 14th</strong><strong> 23:59 CET</strong><strong>:</strong>
Registration deadline</li>
</ul>
<br>
-- Keynote Speakers --</div>
<div dir="ltr"><br>
Işıl Dillig, University of Texas at Austin, United States<br>
Philipp Rümmer, University of Regensburg, Germany, and Uppsala
University, Sweden<br>
Alexander Serebrenik, Eindhoven University of Technology,
Netherlands<br>
Marielle Stoelinga, University of Twente, Neterlands, and Radboud
University, Nijmegen, Netherlands<br>
<br>
-- Program Chairs --<br>
<br>
<div>Georgiana Caltais, University of Twente, Netherlands<br>
</div>
<div>Hossein Hojjat, Tehran Institute for Advanced Studies, Iran</div>
</div>
<p>-- </p>
<p>Kind regards,</p>
Petra van den Bos<br>
Publicity Chair FSEN
</body>
</html>