<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" 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 id="ms-rterangepaste-start"></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">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://urldefense.com/v3/__https://link.springer.com/referenceworkentry/10.1007/978-3-030-10576-1_208__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb55VnWxTE$" 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://urldefense.com/v3/__https://ceur-ws.org/Vol-1385/paper4.pdf__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb58r1Pk1Q$" 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://urldefense.com/v3/__https://link.springer.com/book/10.1007/978-3-662-45006-2__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb59kX7xVw$" 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://urldefense.com/v3/__https://ieeexplore.ieee.org/abstract/document/8377800__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5yHsDtDs$" 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://urldefense.com/v3/__https://ieeexplore.ieee.org/abstract/document/7273708__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5wxR3mU7$" 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://urldefense.com/v3/__https://ieeexplore.ieee.org/abstract/document/5090525__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5-1i0Ip0$" 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://urldefense.com/v3/__https://ieeexplore.ieee.org/abstract/document/7552218__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5-SxGWun$" 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://urldefense.com/v3/__https://www.ul.ie/hri/person/hri-member/prof-tiziana-margaria__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb52YMMhi6$" 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://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5-4f-dFo$" 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>
<span id="ms-rterangepaste-end"></span><br>
<p></p>
<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>