[TYPES/announce] FME Teaching Tutorial on May 24, 2024, 3 pm CEST: Prof Tiziana Margaria, University of Limerick, Ireland: Teaching Formal Methods in Germany vs. Ireland: experience from two very different systems

[Luigia Petre]

Dear all,

We continue our Formal Methods Teaching tutorials series with a lecture on Friday, May 24!

Prof Prof Tiziana Margaria, University of Limerick, Ireland will reflect on her experiences in teaching Formal Methods in two countries: Germany and Ireland.

Tiziana is a computer scientist and software engineer whose research topics include formal methods and model-driven engineering. She has worked in Italy, Germany, Sweden, and Ireland, and currently is the Chair of Software Systems in the University of Limerick's Department of Computer Science and Information Systems. She has a broad experience in the use of formal methods for high assurance systems, in particular concerning functional verification, reliability, and compliance of complex heterogeneous systems, with applications to embedded systems, healthcare, and smart advanced
manufacturing. A few pointers from Tiziana's numerous roles are that she is the Past President of FMICS (the ERCIM Working Group on Formal Methods for Industrial Critical Systems); the managing editor of STTT, the Springer Journal on Software Tools for Technology Transfer; and a co-founder of the TACAS and ISoLA series of conferences.

In her career spanning several decades of teaching and research in several European contexts, here are a couple of milestones:


- a survey on her group's experience:
https://urldefense.com/v3/__https://link.springer.com/referenceworkentry/10.1007/978-3-030-10576-1_208__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb55VnWxTE$ 

- teaching Formal Methods in Germany:
https://urldefense.com/v3/__https://ceur-ws.org/Vol-1385/paper4.pdf__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb58r1Pk1Q$ 

- a book on teaching Foundations of process modelling to non-CS students in Germany:
https://urldefense.com/v3/__https://link.springer.com/book/10.1007/978-3-662-45006-2__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb59kX7xVw$ 

- using models as a high level tool for computational thinking:
https://urldefense.com/v3/__https://ieeexplore.ieee.org/abstract/document/8377800__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5yHsDtDs$ 
https://urldefense.com/v3/__https://ieeexplore.ieee.org/abstract/document/7273708__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5wxR3mU7$ 

- modelling for teenagers:
https://urldefense.com/v3/__https://ieeexplore.ieee.org/abstract/document/5090525__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5-1i0Ip0$ 
https://urldefense.com/v3/__https://ieeexplore.ieee.org/abstract/document/7552218__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5-SxGWun$ 

More information about our lecturer can be found here:
https://urldefense.com/v3/__https://www.ul.ie/hri/person/hri-member/prof-tiziana-margaria__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb52YMMhi6$ .

The zoom link for Prof. Margaria’s lecture is https://aboakademi.zoom.us/j/64254430116.

The event will last about an hour.

Warmly welcome!!

Best wishes,
Luigia

PS: for more info, here is the tutorial series webpage: https://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5-4f-dFo$ .




__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5zp-H-j_$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240518/fb2cef84/attachment-0001.htm>