<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p></p>
<p style="font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 16px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">Dear all,</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">We continue our Formal Methods Teaching tutorials series with a lecture on </span><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">Friday, May 24!</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">Prof Prof Tiziana Margaria, University of Limerick, Ireland will reflect on </span><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">her experiences in teaching Formal Methods in two countries:
Germany and </span><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">Ireland.</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">Tiziana is a computer scientist and software engineer whose research topics </span><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">include formal methods and model-driven engineering. She
has worked in Italy, </span><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">Germany, Sweden, and Ireland, and currently is the Chair of Software Systems </span><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">in the University of Limerick's
Department of Computer Science and Information </span><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">Systems. She has a broad experience in the use of formal methods for high </span><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">assurance
systems, in particular concerning functional verification, </span><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">reliability, and compliance of complex heterogeneous systems, with </span><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">applications
to embedded systems, healthcare, and smart advanced</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">manufacturing. A few pointers from Tiziana's numerous roles are that she is </span><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">the Past President of FMICS (the ERCIM Working Group on
Formal Methods for </span><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">Industrial Critical Systems); the managing editor of STTT, the Springer </span><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">Journal on Software Tools for Technology
Transfer; and a co-founder of the </span><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">TACAS and ISoLA series of conferences.</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">In her career spanning several decades of teaching and research in several </span><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">European contexts, here are a couple of milestones:</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;"><br>
</span></p>
<p style="font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 16px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">- a survey on her group's experience:</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<a href="https://link.springer.com/referenceworkentry/10.1007/978-3-030-10576-1_208" target="_blank" rel="noopener noreferrer" id="LPlnk624741" style="font-size: 13.3333px;">https://link.springer.com/referenceworkentry/10.1007/978-3-030-10576-1_208</a><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">- teaching Formal Methods in Germany:</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<a href="https://ceur-ws.org/Vol-1385/paper4.pdf" target="_blank" rel="noopener noreferrer" id="LPlnk848576" style="font-size: 13.3333px;">https://ceur-ws.org/Vol-1385/paper4.pdf</a><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">- a book on teaching Foundations of process modelling to non-CS students in </span><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">Germany:</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<a href="https://link.springer.com/book/10.1007/978-3-662-45006-2" target="_blank" rel="noopener noreferrer" id="LPlnk406927" style="font-size: 13.3333px;">https://link.springer.com/book/10.1007/978-3-662-45006-2</a><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">- using models as a high level tool for computational thinking:</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<a href="https://ieeexplore.ieee.org/abstract/document/8377800" target="_blank" rel="noopener noreferrer" style="font-size: 13.3333px;">https://ieeexplore.ieee.org/abstract/document/8377800</a><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<a href="https://ieeexplore.ieee.org/abstract/document/7273708" target="_blank" rel="noopener noreferrer" style="font-size: 13.3333px;">https://ieeexplore.ieee.org/abstract/document/7273708</a><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">- modelling for teenagers:</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<a href="https://ieeexplore.ieee.org/abstract/document/5090525" target="_blank" rel="noopener noreferrer" style="font-size: 13.3333px;">https://ieeexplore.ieee.org/abstract/document/5090525</a><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<a href="https://ieeexplore.ieee.org/abstract/document/7552218" target="_blank" rel="noopener noreferrer" style="font-size: 13.3333px;">https://ieeexplore.ieee.org/abstract/document/7552218</a><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">More information about our lecturer can be found here:</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<a href="https://www.ul.ie/hri/person/hri-member/prof-tiziana-margaria" target="_blank" rel="noopener noreferrer" style="font-size: 13.3333px;">https://www.ul.ie/hri/person/hri-member/prof-tiziana-margaria</a><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">.</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">The zoom link for Prof. Margaria’s lecture is </span><a href="https://aboakademi.zoom.us/j/64254430116" target="_blank" rel="noopener noreferrer" style="font-size: 13.3333px;">https://aboakademi.zoom.us/j/64254430116</a><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">.</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">The event will last about an hour.</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">Warmly welcome!!</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">Best wishes,</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">Luigia</span><br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-size: 13.3333px;">PS: for more info, here is the tutorial series webpage: </span><a href="https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/" target="_blank" rel="noopener noreferrer" style="font-size: 13.3333px;">https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/</a><span style="color: rgb(33, 33, 33); font-size: 13.3333px;">.</span><br>
</p>
<div><span style="color: rgb(33, 33, 33); font-size: 13.3333px;"><br>
</span></div>
<p><br>
</p>
<div id="Signature">
<div id="divtagdefaultwrapper" dir="ltr" style="font-size: 12pt; color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, Helvetica, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols;">
<p><span style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">__</span><br style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">
<span style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">Luigia Petre, Docent, PhD</span><br style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">
<span style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">Faculty of Science and Engineering</span><br style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">
<span style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">Åbo Akademi University, Finland</span><br style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">
<span style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">www.users.abo.fi/lpetre</span><br>
</p>
</div>
</div>
</div>
</body>
</html>