<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div id="gmail-:2vg" class="gmail-ii gmail-gt">
<div id="gmail-:2tt" class="gmail-a3s gmail-aiL">
<div dir="ltr">##########################</div>
<div dir="ltr">FSEN 2023 Call for Participation<br>
<br>
Tenth International Conference on<br>
Fundamentals of Software Engineering 2023 Theory and Practice
(FSEN 2023)<br>
<a href="http://fsen.ir/2023/" target="_blank"
class="moz-txt-link-freetext">http://fsen.ir/2023/</a><br>
Tehran, Iran (Hybrid - virtual participation possible)<br>
4 - 5 May, 2023<br>
##########################<br>
<br>
FSEN is an international conference that aims to bring
together researchers,<br>
engineers, developers, and practitioners from the academia and
the industry<br>
to present and discuss their research work in the area of
formal methods for<br>
software engineering.<br>
<br>
<div>This year, FSEN will be held in hybrid format on
Thursday, May 4th and <br>
</div>
<div>Friday, May 5th, 2023.</div>
<div>The two-day event includes four keynote talks and four
sessions. <br>
</div>
<div>The preliminary conference programme can be found at:</div>
<a href="http://fsen.ir/2023/Programme.aspx" target="_blank"
class="moz-txt-link-freetext">http://fsen.ir/2023/Programme.aspx</a><br>
<br>
Attendance is free of charge but requires registration. Please
register no later <br>
than May 1st at:<br>
<a href="http://fsen.ir/2023/Registration.aspx"
target="_blank" class="moz-txt-link-freetext">http://fsen.ir/2023/Registration.aspx</a><br>
<br>
Keynote Speakers<br>
------------------------<br>
Wolfgang Ahrendt, Chalmers University of Technology, Sweden<br>
Dines Bjørner, Technical University of Denmark, Denmark<br>
Mohammad Reza Mousavi, King's College London, UK<br>
Heike Wehrheim, University of Oldenburg, Germany<br>
<br>
PC Co-Chairs<br>
-------------------<br>
<div>Hossein Hojjat, Tehran Institute for Advanced Studies,
Iran</div>
<div>Erika Abraham, RWTH Aachen University, Germany<br>
<br>
<br>
</div>
</div>
</div>
</div>
<div class="moz-signature">-- <br>
Maurice H. ter Beek<br>
head FMT lab, ISTI-CNR, Pisa, Italy
<p>
e-mail: <a href="mailto:maurice.terbeek@isti.cnr.it"
class="moz-txt-link-freetext">maurice.terbeek@isti.cnr.it</a><br>
homepage: <a href="http://fmt.isti.cnr.it/~mtbeek/">fmt.isti.cnr.it/~mtbeek</a><br>
office phone: +39-050-6213471<br>
mobile phone: +39-348-2436998
</p>
</div>
</body>
</html>