coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 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

From: Luigia Petre <Luigia.Petre AT abo.fi>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] 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
Date: Sat, 18 May 2024 07:05:21 +0000
Accept-language: en-US, sv-FI
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Luigia.Petre AT abo.fi; spf=Pass smtp.mailfrom=Luigia.Petre AT abo.fi; spf=None smtp.helo=postmaster AT smtp-out.abo.fi
Dkim-filter: OpenDKIM Filter v2.11.0 smtp-out.abo.fi 0E58B10A0384
Ironport-data: A9a23:La7YDaLuWUo0U2nPFE+R+JElxSXFcZb7ZxGr2PjKsXjdYENS0DwGz WUbWTiGO6mCYmCnKtkkaoiw/EpSu8PRnYQ3HFcd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgf1s9JIGjhMsf7b9Uo/5K2aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LubXno8aljMXoKGdMS3spcE0BF7 O4RN2VYBvyDr7reLLOTUexwnoEkMdWtNYkY/H9hpd3bJa99GdaZGP+Mv4YCmmpo7ixNNa62i 84xTSduYxXJJSVCJk0aIJs0m6GmhxETdhUB9gzO/vBusjS7IApZ4qj3CvSIIsKwQcB0slTfv VnjoEH0O0RPXDCY4WDcqCzx2bOncTnAcIkVDfiz8uNgqEaCw3QaThwQT1qy5/ej4nNSQPpEL lAMvy0zse47/kvtQNiVswCETGCsoBwYaYZdLtYGzF+H7ob/8SeSH3oNUWsUADA5j/MeSTsv3 16PutrmAz1zrbGYIU5xEJ/P/Fte3gBOfQc/iT84cOcT3zX0iK8S5i8jo/54FbKty9roBXf5y TfMoilWa1QvYSwjifjTEbPv2mzESn31ougdvVW/soWNtV4RWWJdT9b0gWU3FN4ZRGpjcnGPv WIfh++V5/0UAJeGmUSlGbpUQeD2v6nUbWaE0TaD+qXNERzxpxZPmqgMvFlDyLtBaK7ohBe3P RKI52u9GrcKbCLCgVBLj3KZUZ1wk/W/SbwJp9jJaNtQb4JqdROWtCZgLVKNxWPw+HXAYoliU ap3hf2EVC5AYYw+lWreb7lHjdcDmHtkrUuNHs+T8vhS+ebCDJJjYexfawrmgyFQxP/snTg5B P4EaprSkEsDAL2mCsQVmKZKRW03wbEALcieg6RqmiSre2KKwUlwVqOD8qBrYIF/gaVem8HB+ 3z3CAcSy0PyiTeDYU+GY2xqIuGnF5tuj2MJDQp1N3aR2l8nfdmO6oUbfMAJZrUJzrFo4sN1a PgnQP++JMpzZA7JwBknVqmlnrdeLEyqoSmsIxuaZCMOes88Zg7Rpf7hUAjd1AgPKSuVtfo78 6CS0wDaZbEhRA1SKtncR9zy7lG2vFkbwPlTWWmRKPZtWUzcyqpYAA2vse0WeuYicQ7iwBme3 CaoWSYon/HH+dIJwYOYlJK6oJeMOMogOEhjRk3wz6u8bAve9Uqdmb5wav6CJ23hZTml6ZeZR Ltnyt/nO6c6h3dMiY13FohrwY8Y59fCo7x7zBxuLE7UbmaEW69RHX2b4fZh7qF95KdVmQ+Ta HK9/tN3PbaoOsS8NHUzIAEjTPqI1NBKuz30wMk2Hn7H535MzOLaaXlRAhiCszwCDb1XNIh+/ /wtlvRL4COCiz0rEO28sAZqy0q2IEctbYAbp7ABIYqyigMU2lBIOpPdLSnt4aCwUdZHM2h0A zmymKbirqhWnXSaV38dFHLcgO9UvrUVmRVw1FRZDU+4qtnEof4W3RNq7jU8SDpO/ChHy+5eP mtKNVV/ALenpRNEpZFkcTi3OgdjABa5xBTA+2ERnjeEc3jyB33/EmItHM2somYbyjt4VRpG9 ui6zG3Fb27bTPvp1HFvZX8/+u3Rdv0vxAjsg8v9It+kGaM9aj/bgqODQ2oEhh/kIMEpjn38u uhY07dsWJL/KBIvjfU3O6uC2ZQUbSK0FmhIbPVi3aEOREX3WjW53xqQIEGQJOJJAdH38nGDN s8/HfIXCiyC1xuPoAsLWo8KAbt/x8Ay6PQ4J7jEGG8hspmklARPjq7+zCbEuTIUc41cqvplc oL1XBCeI1OUnkpRyjPsrtEbG2+WYuskRQzb3cK1weBZCqAGs+BIWmMx24uSoH+6HlZG/RWVn QWbfI7Q7bVo5rpNlrvWMJdoJluLO/Kqc8rQ6yG1kdBFTe2XAPf0rwlP92XWZVVHD4UeS/Fct Oqrsueu+GjnobxvcWTSu6fZJplz/c/oAdZmaJPmHkJ7wxmHdtTnuSYY2maCLpdMrtNRy++nS ya8a+qybdQlYMhc9lIEdxlhFwshNIqvYpfCvS+dq9G+OioZ2yHDL/Kl8ibNRkNffSkqJZb/K 1HVv9CD29Nml7lPVSQ0X6xeP5xFIVHdAPpsM5W7sDSDFWCnj2+Toraox1Jq9TjPDWLCC8rgp 47MQh/lbhmppaXU15djvpdvugEMRmNI6QXqkpnxJ/Yt49x7MIIHEQjZGY4DFokRlTHukpjyY 3fDbQPOzMk7sStsKX3BDBbLB29zxdDi/v/wLDtv8UL8h+KeGtabGLU4nst/yy4eR9Ygpd1L7 fkX8Hq2MBnZLlSFgwoMzqTTvNqLDc82Cp7FFY4RXiAy79sj7W026UFc
Ironport-hdrordr: A9a23:eU9pFKHtC4y63EbXpLqExMeALOsnbusQ8zAXPhhKOHpom7+j5r mTdZUgpGLJYFR4YhsdcLW7VZVoLkmskaKdjbNxAV7AZnibhILLFvAE0WKK+VSJcEGQmNK1vp 0QEJSWfeeAaGSS+vyKgjVQfexB/DDNytHRuQ6X9QYXcehFUdAb0ztE
Ironport-phdr: A9a23:84HiBBdcwo8CRJ5hSyJ+gl3clGM+D9TLVj580XLHo4xHfqnrxZn+J kuXvawr0AWYG9+Gtrkd0rCempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexf7d/I A+ooQjRtsQajpZuJrsvxhDUvnZGZuNayH9nKl6Ugxvy/MC88oJ9/S9Nofwh7clAUav7f6Q8U 7NVCSktPn426sP2qxTNVBOD6XQAXGoYlBpIGBXF4wrhXpjtqCv6t/Fy1zecMMbrUL07QzWi7 6NsSB/1lCcKMiMy/W/LhsBsiq9QvRWuqQFiw47PeIGaKuZxfr/Tc9MdQGpORMdRVypcCY+4Y IYCC+8NMOBFpIf/ulQOtwOzCwmyCu3y1j9GiHz43awm3OsuCgzJxhAsH9AUvXjIsNn4NKEfW v21wqnSyjXDautb1zHg6IjJfRAhoOuDVq9qf8XP1UkvDR3KhUiXpILjIjOV1+sNs2mB4OZ6T +yglXInqxtvrTW03MgjkY7JipgbylDF7Ch0xps+KtKkRkBhe9GkDIdQuD+AN4twWs4uX31kt ikmx7AbuZC3YjYHxIg5yhPRavGKfJSE7xPgWeuMPTt1h29pdb2iihuw7ESs1u7xW9Ww3VtKs yZIjMXAu3YQ3BLd7ciHT+Fy/kan2TuXzADT8vtEIUEylarUNZEh2KQ8mYYUsUTGBiP5hFv5j LKMdkk99Omo8P7rYrL8pp+TL4N0ix/xPbowlcClBuQ4KAcOU3CG+eS4zrHj/FP2TK1Lj/0xl anZtYrWJdkApqKhDA9V05oj6xaiDzi9ytgYnH4HIEpfdx2ciIjlIV/OIPH+APyigFqsiC9my +3IM7H9GJnBMHbOnKn7cbpj9kJQ1hA/wNBD655MF70MLu7/VlXvuNHWEBM1KRG4zufpBdln2 I4TWHqDDrKXPa/Oq1OE+OwiL/eWaIMIujvwKeIp6vHygXI/hFQQY62p3YYMaHCkAPtmOViXY Xvtg9gfCWoGogwzR/HwhlKYSz5cfXOyUro85j4lDIKmCp/ORpuogLydxCe3B5pWZn1aClyWC 3jnbIKEV+0CaCKTOsNhkzoEWqa9S4I5yB2juhP2x6B5Iufa5CEUr4zv2MVr6+HJlRw+6SR4D 8GH3GGMS2F0kHkIRzgz3K1np0J911aD0ad5g/NCD9Bd/e1GUhsgNZHC1OF1Ecv9WgXbcteHS VaqWtOmDiopQdIr39AOe1p9G8mljh3bwiamG6UVmKCTBJwo7qLc2GD8KNp6y3bfzaUuk10mQ tZUOmC9na5+9w3TB5bTnEmDlqaqc74c3C/X+2uZw2qOphIQbAklG67CRDUUYlbchdX//ELLC bG0Q/xzOQxYjMWGN6Fia9vzjFwASu21a/rEZGfkv3qxCheBjouBcJDnMzE5wSTSCUFCqw0P5 3uuPAI5QCmg9TGNRAdyHE7iNhu/udJ1r2m2GxNlp+nrR0ho1r7vvwUQmeTZUfQYmLQNpCYmr TxwWle7xdPfTdSa9EJ6ZKsJR9Q77R9c0H7B8RRnN8mEMqFth1dYSwlrpU7G3h9wTItBwoAxt H1/9ANpMuqD1U9ZMTaR3JT+ILrSf03v/R+uYuju103E3f6f8KBJ5vVr4077slSPEUwvu25iz 8ET03aY4cDSCxEOVJvqTkst3wN/u6mfZTQhoYre0jtiMMFYqxfk3NQkTKsgwxekJZJENb+cU RX1GIscDtSvL+ojnx6oaAgFNaZc7vx8OcTubPaA1KOxWYQo1Du7kWRK5px82UOQ5mJ9TODPx ZMM3/Cf2EOOST79iF6rts2/l5pDYHkeGW+2yC6sA4A0BOU6WZsKBmanZfW62s9zr5fnXDhW9 R/rBl8L3tOoZQvHd0b0jkVb0UUap2DimDPtlmcs1Wty9OzFhXaInryxEXhPcnRGT2Rjk1r2d I29jtRAGVOtcxBsjhyuo0Dz26lcoq17aWjVW0ZBOSbsfAQAGuO9sKSPZ8lX5dYmqyJSBa6Yf FGVS7e7mxYGyS7LFmFZgj46PWLP2N2xj1lhhWSRIWwm5l7EeM5xzFHn6cDGSNZY1D1ASigy2 nHHQ1O7Odeu59CdkZzO5/u/W2yWXZpWaSD3zImEuUNX/EVSCAak17C2k9zjS00h1DPjksNtX mPOpQr9ZY/i0+K7N/hmdw9mHg20581/E4B42ow+4fNYkVwHh5qU9Dw/nHvpPP1S06W4YntFS TMQwtHT6RTowwU6dSrPndmjEC/EmI08P5GzeSsO1zg47txWBavxjvQMhiZzrlei7ErQbfV7g jYB2K4r4X8ejfsOvVllxSGcD7YOWEhAaHW3z1LStIr49vwNIjv3It3SnAJkkNusDa+PuFRZU Xf9INI5GDNoq994OxTK2WHy7YftfJ/Ra8gSv1uaiUSl7aAdJZQvm/4NnSciN3j6uChv7/M6g h1nm6m3oJKKA2xn++S3A1QLU1+9L9NW4TzrgatEy4yywoGgH5wnIjgXRpbARPivVjwT/6eCV U7GAHg3rXGVHqDaFAmU5RJ9rn7BJJusMmmeOHgTydgxDAnYPkFUhxoYGSkrhpNsXB7/39TvK Q0qg1JZrk69sBZHzfhkcgXyQnuK7hn9cS86EdCeNEYEt1oaoR2Oa4rEt7k1RnsAtpy58F7Uc TTdPV8SSztQAArZXzWBdvGnt9zM+q2fG/b4I/LSaL6Dr/BTTbGGxNqu1IBi4jqBZPKUJnckA vgy205OR3E/FcW8+X1HSiockz/BYpyAvBn6/yRxotq+9PDiQBqp7oyKQ7pKbYc+plbv3vrFb rfLwn8pcH4P35cIjxck0ZA521gfw2FrfjipS/EbsDLVCbjXkelRBgIabCV6MI1J6bg9109DI 5yTjNS9zbN+gvMvbjUNHVX8hsGkY9ALKGChJRvGAkiMLrGPOTzMxYn+f6q9TbRaiOgcuQe3v H6XFErqPzLLkDeMNVjnKeZXkCSSJwBToqmmdwp1TG/+UJTvYBr9Pt42xTw6zLsoh2/bYG4RN T8vFiEF5raU7C5enrB+AzkYtSIjd7Le3XzAta+FcsVz07MjGCl/muNE7W5vzrJU6HsBX/lpg G7IqdUopVi6k+6Jwz4hURxUqz8NipjY2Ccqcajf6JREXm7JuRwX6mDFQTAXptRkA5vXtrxKx /DGnqW1JjYIoLe2tYMMQtPZLs6KKi9rKR3yBDvdFxcIVxawMH3HwktAjLeb/HrToJlw+f2O0 NIeD7RcUlIyDPYTDE9oSccDLJlAVTQhibeHjcQM6BJWSTHYTsIcsJGVDpp67t3mIjHfg7gWP nPgIJvjKJgLc4rmxwprYF48koWYQyLt
Ironport-sdr: 6648533a_owh+dTfd5iwlgICh8HSb7G9rENyF8+83pt612ZWvEj/j/VD HZHqLvXz5mKp2I+cSsiTLoHkjMjll25pySJ2c6Q==

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://link.springer.com/referenceworkentry/10.1007/978-3-030-10576-1_208

- teaching Formal Methods in Germany:
https://ceur-ws.org/Vol-1385/paper4.pdf

- a book on teaching Foundations of process modelling to non-CS students in Germany:
https://link.springer.com/book/10.1007/978-3-662-45006-2

- using models as a high level tool for computational thinking:
https://ieeexplore.ieee.org/abstract/document/8377800
https://ieeexplore.ieee.org/abstract/document/7273708

- modelling for teenagers:
https://ieeexplore.ieee.org/abstract/document/5090525
https://ieeexplore.ieee.org/abstract/document/7552218

More information about our lecturer can be found here:
https://www.ul.ie/hri/person/hri-member/prof-tiziana-margaria.

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://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/.

__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
www.users.abo.fi/lpetre

[Coq-Club] 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, 05/18/2024