<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class=""><font face="Calibri, sans-serif" size="3" class="">Dear Friends and Colleagues,</font></div>
<span class="" style="font-family: Calibri, sans-serif; font-size: 12pt;">
<div class=""><span class="" style="font-size: 12pt;"><br class="">
</span></div>
Today, I would like to draw your attention to the SEFM Summer School 2022, affiliated with the SEFM Conference 2022 in Berlin, Germany. The school addresses various topics of software engineering of dependable systems, their verification, how to guarantee their
security, and how to design autonomous and self-adaptive systems.</span>
<div class="">
<p class="x_MsoNormal" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;">
</p>
<div class="" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;">
At the SEFM Summer School, four internationally renowned researchers will present courses that provide an introduction, an overview of current techniques, and perspectives within their areas of specialisation for PhD students in Computer Science, namely: </div>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;">
</p>
<div class="" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif; text-indent: 36pt;">
<b class="">Dirk Beyer</b> (Ludwig-Maximilians-Universität München, Germany):</div>
<div class="" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif; text-indent: 36pt;">
<b class="">Software Verification</b></div>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;">
</p>
<div class="" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif; text-indent: 36pt;">
<b class="">Eduard Enoiu</b> (Mälardalen University, Sweden):</div>
<div class="" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif; text-indent: 36pt;">
<b class="">Security Testing</b></div>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;">
</p>
<div class="" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif; text-indent: 36pt;">
<b class="">Michael Fisher</b> (University of Manchester, UK):</div>
<div class="" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif; text-indent: 36pt;">
<b class="">Design and Verification of Reliable Autonomous Systems</b></div>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;">
</p>
<div class="" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif; text-indent: 36pt;">
<b class="">Danny Weyns</b> (Katholieke Universiteit Leuven, Belgium; and Linnaeus University Sweden):</div>
<div class="" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif; text-indent: 36pt;">
<b class="">Designing Self-adaptive Systems</b></div>
<div class="" style="margin: 0cm 0cm 0cm 36pt; font-size: 12pt; font-family: Calibri, sans-serif; text-align: justify;">
<b class=""> </b></div>
<div class="" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;">
You can find more details on these courses on the Summer School’s Web Page</div>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;">
</p>
<div class="" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif; text-indent: 36pt;">
<a href="https://urldefense.com/v3/__https://eur03.safelinks.protection.outlook.com/?url=https*3A*2F*2Fsefm-summerschool-22.github.io*2F&data=05*7C01*7CM.Roggenbach*40Swansea.ac.uk*7Cb9ac058b84dd4625bbd908da52dec67d*7Cbbcab52e9fbe43d6a2f39f66c43df268*7C0*7C0*7C637913414004868970*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=bOrGEZVKmqM*2FkuDEkKxEUDOqa1hkAdG8Xl4yg*2BWlWww*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!R6XiyEMPxxMrnb1lqF1l8kOjW_TzmE67rRNGbJBfriT6wZ1d7b_foiVuTQtFcjv1MQmJTBwhFKgLZDe3E7NI84ZmPTzvNwf7iDyeZavnWg$" originalsrc="https://sefm-summerschool-22.github.io/" shash="GWwWfPb57aFqoOI+Kcm4FwM2UEIaqCHrOcgyYYQY/UAeziPYy9/poDysrtDTLNNQDBB5dUHTFCqq+m4jt4v9W860Sw38rkArYWpIUXfDddt82EilHUDKBdbTuMz2aW/27QPmlYm0MVdcHQ0E75vyVVzjeiO4cWAuwx6gyhKAjZU=" class="" style="color: rgb(5, 99, 193);">https://sefm-summerschool-22.github.io</a></div>
<p class="x_MsoNormal" align="center" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif; text-align: center;">
</p>
<div class="" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;">
The Summer School will happen 21.9. - 24.9.2022, the week just before the SEFM main conference. Fees are €500 per student (including lunches, refreshments, and a Summer School dinner).</div>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;">
</p>
<div class="" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;">
Please be so kind as to encourage your students to participate, and to distribute this call to possibly interested people.</div>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;">
</p>
<div class="" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;">
With kind regards,</div>
<div class="" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;">
Markus Roggenbach</div>
<div class="" style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;">
Swansea University, UK</div>
</div>
</body>
</html>