coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FME Teaching Tutorial on September 27, 2024, 3 pm CEST: Prof Rosemary Monahan, Maynooth University, Ireland, on Teaching Dafny at undergraduate and MSc level on Irish and Erasmus+ European Degree programmes

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 September 27, 2024, 3 pm CEST: Prof Rosemary Monahan, Maynooth University, Ireland, on Teaching Dafny at undergraduate and MSc level on Irish and Erasmus+ European Degree programmes
Date: Fri, 20 Sep 2024 11:37:18 +0000
Accept-language: en-US, sv-FI
Authentication-results: mail3-smtp-sop.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 63BC210CFECF
Ironport-data: A9a23:84ZdhaxNqpJRzSdSaed6t+cdwirEfRIJ4+MujC+fZmUNrF6WrkUFz TEfXTqAOvvbZGPwfdEnao/kp04GvMfcmoAxTAtkq1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmYc3l48sfrZ9Es+5qyq4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPL3KgyT28YA7ZD2e8nM1BH5 KBbIR00O0Xra+KemNpXS8F3g9g7ac72IMUWsHYmwzCx4fQOGMubBf+Rv5kChW1225gm8fX2P 6L1bRJLcRXPYhQJAloLEp8Wle2vwHf+G9FdgAPL9PBnuTCNpOB3+IDwOsj8Q+yhfNxQkWy7q HicwnbVLR5PYbRzzhLfqyjy27CT9c/hY6oZE6T9/fp3inWI12kLAVsXU0G6qL+3kCaDt8l3M EkI4m8psLR0/UasCNf8N/GlnJKaljkDBoYTPcME01quw/rm0g+IWisNYwcUPbTKq/QKbTAt0 1aImfbgCjpurKCZRBqhGlG89m3a1c89cTRqWMMUcTbp9eUPt6kdr3ryojtLC6uplpjyBC22y jqN6iY/71nysSLp//vklbwkq2vyznQscuLTzl6MNo5CxlgpDLNJn6TytTDmAQ9ode51tGWps nkegNS55+sTF5yLnyHlaLxSRu/2uK7bYGaE3gIH83wdG9KFpyPLkWd4vG4WGauVGppslcLBP hKO4l05CGF7ZSD3BUOIX25BI55zl/a9SoiNugH8c9xPfJVrbw6b7WlpawaMwnrujSARfVIXZ P+mnTKXJS9CU8xPlWPuL89EiO9D7n5kmQv7G8uhpzz5iuX2WZJgYepfWLd4RrpnvPrsTcS82 4s3CvZmPD0DDbeuOXWHodN7wJJjBSFTOK0aYvd/LoarSjeK0kl4YxMI6eJ8J95WjO5Om/3W/ 3qwfEZdxRCtzTfEMAiGIDQrIr/mQZ81/zpxMD0OLGSY/SEpQb+uy6MDKLoxX70sr9J4wdBOE vIqRsSnA9Z0cArhxQgzV5fHkdFdREyZvj7WZyuBSxojTqFkXD3Mq4PFfBOw1SwgDRiXlMoZo p+g5waLXKgGRAVGJ+TVYcKJ0FmekyU8muVzfk2QOfhVWhzm37ZLIhzLrM0cAp8zOzSa4RXCz CeQIxMThdeVkr8P6NOT2Jy19da4IdVxDm9xPjf974/vEQL442D644tLcNjQTADnTGmupZmTP 7RE/crdbs8Csk1B6bdnMrBRyqk72dvjiplawilgH1TJd16bMaxhEFbXwfhwsrBx+ZEBtTuUQ k6v/vxoCYeNMu7hE38TI1MBRcaH3vc2hDLTzKoUJGPX2SxJx4eEAH5iZ0S0tC9gLbVOINwEx 8Uls5Uo8ACRsEchHeuHqSF2zF6yCEI8fZ8pjbwkJbP6qxEKzwhCaKPMCyWt75Cobc5NA3YQI TSVpfTjgZJAymrrb3BoKyDp2MRcj4VTvRlx7UQjIm6RkYHvnc4H3xx28BU2QD9Kzx5B7flBB 2hzO2BxJoSM5z1NluEZe0yNQiZvXAa4/G71wHs3zFzpdVGiDDHxHTdsKNSz81A82EMCWDpip ZWz6nvvCBTud+HPhhoCY1Zv8aHffIYg5z/5uZ6VGuqeFMMHehvjuKilYFQIpzbBAc8cgE7mp /FgzN1vaJ/UZDIhnKkmN7a0jbggagiIBGhnc8FT+KkkGWL9ejbr/ROsL0u3WN1GJt2U0EueJ vFtGPlyVEWF5H7TlgwYOK8CGK8rvfgL4NFZRKjnC1RbuJSirx1okqnqyA7AuEERTe5Dq/0Nc rHqS2raE0i7p2dlpGvWncwVZku6eYYlYSP/7sCU8cIINZIytbFxQ0Qx05+fnXacAC149T264 SLBYK73ybR56IJOxoHDLIRKNz+WG/jSCtua0VmUnYxVTNXtNczuiVskmmP/NV4LAYpLCsVFq 7udlfXWgmXHhe8SeELEkcCjE6Jp252DbNBPOJiqEEgAzDqwY+6y0R4t4GviFIdolula7cyZR weVTsu8WNoWetVFzk1udClsPEcBOpvzc5vfi3uxn9aUBjgZ9D73Htet2HvqTGNcLwsjGZn1D C3qsPePuPFciqlxByE/OvI3OK8gfWffWpYneeOo5HPcRiOtj0iZs7TvqQs45HuZQjOYGcL9+ tTeSgK4aB22v7rSwcpEt5Bp+CcaF2t5nfJ6a3d1FwSaUNxmJDVuwSUh3ZQ65lV8iSnuzNT/e S2LZWElTyv8NdiBndMQ//y7NjpzxMRXUjs6GtDt10qebGG4BetsxZN/ozx47S4eliTLlYmax BJ3xpE0FhG7xddnRI7/IxB9bfhPnpvn+57DxawxfwEezfrT7XXmGUGNxDZwaBE=
Ironport-hdrordr: A9a23:09MF0aqPwWXzqr9T48187RkaV5oFeYIsimQD101hICG9Kvbo7v xG785rrSMc6QxhJE3J+7i7UpVoJEmwyXcb2/h3AV7PZmnbUQiTXf5fBOnZslvd8kTFn4Y3uc gPEpSWY+eAb2SS+PyKhDVQZOxQpeVvnprY5ts2hE0dNj2CI5sQlTuRJDzrb3FLeA==
Ironport-phdr: A9a23:hNTu9RyUyw6AicrXCzIowFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xSZvKQ2xwORFazgqNt6yMPu8JrcEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/9pPPbwlSmTawZb1/I Bq5oAnNq8IbnZZsJqEtxxTGpXdFZ/5YyWR0K1yNgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7U LJVEi0oP3g668P3uxbDSxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5 LplRRP0lCsKMSMy/2bKhMxtl6JbuAyuqABjw4DaZ4GVMeBxfqLbfdgHQWZMUcJcWylHD4ihb YUAEvABMP5YoYfjulUOsRWwCwqtBOzzxTBFnWX50bE40+k7DQ3KwAwtEtQTu3rUttX1M6ISX PizwqnVzDXDYPJW1i3g44bSbB8hveuMUqxtesfWz0cvCgLFjlqRqYP/JT+bzPoCs3SB7+V+T u+gkXUoqwZrrjihx8chk4/EjZ8axV7Y7yt22po1JcGmR05hZ96pCIdduj+HO4Z5X88vQXxlt Ts5x7AbpZO2eCkHxZo6yhPRb/GLbYiF7xDsWeufIzp2inFodK6xihuu8EWt1O/xW9ey3V1Xo CRFldzMuWoM1xzV8sWHRfp9/luh2TaSzA/f8OBEIUcsmaXBMJEhxaQ8lpQSsUnFAyT4m132g beLekgq5uSk8frrb7v4qpOGKYN4lx/yPr4ul8CjGeg0LwYDU3SB9eii2rDv41f1TKhLg/A4i KXUvpHXKdwGqqO3HwNZyJgv5hihAzu8zdgVn3sKIEhKdR6biYXiJk/DIPTlDfekn1Sjji1ry e3HPrzgHJrANmTPnbH8drhn8UFc0hA8zdVH6pJUFL4BJPXzV1fqtNzdEh85KxW4w+H6CNVhz I8RQ3mAAqiDPKPcsF+E/uMvI++Sa48JoDvxNvYo6+L0gXMnl1IRY7Ol0YUKZHymBPhrI1mVb WLpgtgbEGcKugQ+TPbtiF2HSTNdYWuyX6Mz5jE6Eo2qF53NSZ6xgLybwii2BYdZaXtBClyWH 3fodp2IW/EXZy2KOM9ujiQEVaS9S48mzRyiqRf2y6B7IerM5i0YqZXj2cBp6O3UjBE+7CB7D 8CA026WVGx0hWMJRzou3K9lu0B9y1GD0bJ5g/NCD9BT6elJAU8GMsuWxOtjTtv2Rwjpf9GTS V/gTM/sSWU6Sct0yNsTaW58Hc+jh1bNxXz5LaUSkumvGZ0786uU53XtPcs1n1Lb1aYghh8eT 9dVOEWvjKk5+QmFVN2BqFmQi6v/LfdU5yXK7mrWkTvmVCBwVQdxVf6ARnUDfg7Nqsy/4EreT rioALBhMw1byMfEJLEZIsbxgwBgQ/HucM/bf3r3g325UDKVx7yNZczSdnkH0Q3UAk9CnQFAt W2eO10GDzy663nbECQoEFvuZ0329uwrjG66QU49iTmHc1ds/7O//VgbhK/UUOsdi5QDvipps DBoBBC90tbRXsKHvBZkdb5AbMkV+1JbzSfeqhA7N5anaa5j7rIHWyJwuU6mlxB+C4Eb1NMvs Gtv1w1qb6SRzFJGcTqcm5H2ILzebGforlipbObN11fS3czzmO9H4ekkq1jloACiF1Yzu3Rh3 d5P1nKA55LMRAMMWJP1W0wz+lB0vbbfKiU64orV0zVrP8zW+nfmxtMmBeJj8hu8Zdp3OamDU gHzUoUbC8WoNO02ig2xdBtXdOtW9aMyI4anb67fg/btZr062mj/1yIauNMYsArE7Sd3R+/W0 oxQxviZ2lDCTDLglBK6tdixn4lYZDYUF275yC7+BYcXaLchGORDQWqoPcCzwc1zwpD3XHsNv nq+BlwH0YmRdAaIYnT01woW20Vd8hnF0WOoiid5lT0ktP/V+DHPzOXrMiIKJnRGbGBoihHiI MLnx8BfV0+uYQ8zkRKj7kuv3KlXqpN0KGzLSFtJdSz7R417epO5raHKI8tG6Zdz9D5STPz5e leCDLj0vxod1SrnWWpY3jEyMT+w6N31mBlziWTVK3gWzjKRXdxxyhbWouTRWeRc9jMMQ292i HHbC0O9MN+g4diP386Y6qbkDDjnDMQJN3SzhYqb/DO2/2hrHQGyk5XR0pX8HA423DW6n9hmW CPUrQrtN4zi1qC0K+ViLQFjAF7x7dY/G5kry9BowstLgz5A38/ToCJU9AW7ec9W0q//cncXE DsCwtqOpRPgxFUmNXWRgYTwSnSaxMJlIdi8eGIfnCwnvKUoQO+Z6qJJmSxtrx+2twXUNLJZg zYSyPJo0HMGmewhsQAqiCucSON3fwEQLWn3mhKE4srr5oFKZWmueP6I2VZkkPioBrbErAAWC xObMt8yWCR36Mt4KlfF1nb+v5rldNfnZtUWrhSIkh3EgrsdONcrm/ENnyYiJXPlsChv1bsgl RI3l8Lf3sDPOyB38am+GBIdKjDle5ZZ5GT2lagH1seOg9L2Rc0nQG5RGsGxFrTxSmpatOy7Z V/VSHtm8S3dQ+OFW1LHjSUu53udFpyicnaKOD8VxMlrTxSbOEFFxg4VFDQ8lZokGg3489f5f gF04zkQ4lPiq11Cy4cKf1H+VGzbuQulOCwsRt6aJRxa9ABG407NKYqV6ec7HidT+oCtoV66M XSVIR1VBGUVQE2PHBboObzLh5GI8vDEVLvjaaKRPPPX8LcYDqfRjcWm1o8sl9qVHuOIOHQqT /gy204YGGt8B9ycgDIXDSoeiyPKacef4ha64Cx+6M6lorztX0r06I2DBqE3U50n8g2qgaqFK ++bhTpoYTde2JQWwHbUyb8ZlFcMgiBqfjOpHPwOrynIBK7Xn6ZWCVYcZUYRfINQ6Lkg2wBWJ cPBosjwyqY9ieMpTV5PUhrvm4DhZMAHJX28KEKSBEuPM+fjR3WDyMX2bKWgDLxI2bwP71vq4 mzdSRa5eGnbxFyLH1i1POpBjT+WJklbsYC5KVN2DHT7Ccnhclu9OcN2ijs/xfs1gGnLPCgSK 2sZEQsFo7uO4Cdfmvg6FXZG6y8vCfSFlCeQqdHVNowbmfJhBWJ6lqgJhRZyg6sQ9yxCSPFvz WHKqcVypli9juSV4iFiTAILrStXwouBugNsOO+Kk/sIEWaB9xUL42KKDh0MrNYwEdzjtZdbz d3Xnb7yIjNPmzo71cIWAI7aKZDeWJLEGRPjH3jaDVldJdZKHXram1QYl+yOsHSfqd40q8q08 Kc=
Ironport-sdr: 66ed5e71_hehbMK+ECcLbbs4xrubNxXyjDFGpuIUOyl5MJV3LywK358y UEtOvku2Ku4mkkSIY++RxUSZLVSawTGwwhrn6uw==

Dear all,

We continue our Formal Methods Teaching tutorials series with a lecture on Friday, September 27, at 3 pm CEST!

Prof. Rosemary Monahan from Maynooth University in Ireland will discuss about Teaching Dafny at undergraduate and MSc level on Irish and Erasmus+ European Degree programmes.

Prof. Monahan is a founding member of the Principles of Programming Research group at her university and focuses on analysing the static and dynamic aspects of software systems. She earned an impressive number of research grants, nationally and internationally and coordinated international MSc programs in dependability funded by Erasmus Mundus. She is the co-founder of the VerifyThis competition series that involves both industry and academia in applying tools for delivering correct software.

In terms of teaching, Rosemary has taught Software Verification at undergraduate and postgraduate level for over 2 decades. In this talk, she will present her experience, overviewing what she teaches in modules on Software Verification (5 ECTS, delivered to 3rd year Bachelors students) and Rigorous Software Process (7.5ECTS, delivered to MSc students). In particular, she will discuss the student’s interaction with the Dafny Verifier in her courses, lab work and continuous assessment.

Rosemary will also outline her experience of directing an Erasmus+ MSc in Dependable Software Systems which she was successful in obtaining funding for from 2012 - 2018. An MSc on Advanced Software Systems Dependability was also funded under the Erasmus+ programme from 2018-2021 with the same consortium of universities.

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 September 27, 2024, 3 pm CEST: Prof Rosemary Monahan, Maynooth University, Ireland, on Teaching Dafny at undergraduate and MSc level on Irish and Erasmus+ European Degree programmes, Luigia Petre, 09/20/2024