coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FME Teaching Tutorial on February 28, 2025 3 pm CET: Prof Mariëlle Stoelinga, University of Twente, The Netherlands, on Life long learning — experience with educational programs for professionals

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 February 28, 2025 3 pm CET: Prof Mariëlle Stoelinga, University of Twente, The Netherlands, on Life long learning — experience with educational programs for professionals
Date: Fri, 21 Feb 2025 15:35:54 +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 1DAA710D28D5
Ironport-data: A9a23:o9buOa57QatwVWlZUW32VQxRtA7DchMFZxGqfqrLsTDasY5as4F+v jEdXD2HMqrbM2fze9Bxb4qy8ksOuZDcyNNkS1ZrqC0yZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgtaQr414rZ8Eky5K6o4WtC1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj66QwUEIzI9A8w75IK3t/p eUIBABRSDnW0opawJrjIgVtrt8mMNGuO54D/HhqynfXDJ7KQ7iaGP2Mv4QCmm1p3IYTRZ4yZ OJBAdZrRDDdYhJOMxEvBY4kkc+hjH65fTwwRFe9/PJmvDOPlVMtuFTrGODlIMaoX+Vyolujr ETtzX3mBzogNvXKnFJp9Vr237WRwHynMG4IL5Wz8ecvi1mOzEQIGRgOXB26p+O4gwiwQbpix 1c84S8yte016VDtR9P6GRO5yJKZgvICc4sOT+4/9lyp8/LryRyoVnEUYg4dTvVz4afaWgcW/ lOOmtroAxlmv7uUVW+R+9+oQdWaYnF9wYgqOXZscOcV3+QPtr3fmTrhb75e/EOdldjpAXT33 izMpSI5wbsS5SLq60lZ1Q6Z695PjsGXJuLQ2ukxdjj0hu+eTNX5D7FEEXCBsZ59wH+xFzFtR kQslcmE9/wpBpqQjiGLS+hlNOj2u67db2OH2wM3RMFJG9GRF5iLIds4DNZWeBkBDyr4UWOBj LL7514Mv8E70IWCMfUrOepd9PjGPYC6TI67C6+IBja/SoV3dRGK5jpveV/Y2G6ljFU2krxXB HtoWZvEMJruMow+lGDeb75EidcDn3lurUuNH8yT50r8i9K2OiXKIYrpxXPSNIjVGovY+l2Nq 76y9qKil31ibQEJSnONrtJIdQ1XdihT6FKfg5U/S9Nv6zFOQAkJY8I9C5t4E2C8t/UIyrX77 TumV1VGyVHyo3TCJE/YIjpgcb7jF9I3534yISVmbx7i1mkBcLSfyv4VV6I2Wr07q81l7/p/F Mced+u6X/9gdzXg+hYmV6fbkrBMThqQqDi1D3KXWwRnJ59EbC7Vy+DgZTrqpXUvDDLolM4Qo I+A9wL8QLgDdgEyEfTTa/OL5HGytEg7h+hdcRbpIN5SWUO066lsCXX7ocEWKvE2Cyfo52Wlx SfPJjlAvsjLgYs+0OeRtJC+t43zTtdPRBtLLVfU/ZOdFHf8/FP65aRiTezRXzTWdF2syZWYf e8Pks3NaqwWrm1r7bh5Pa1gl58lxt3VoLRf8ARoMVPLY3mvCZJiOnO25tZOhIIc2o5mvRaKZ WzX9ul4IbmpPObXIGwVLichbcWB0qgwsRvW5vIXPk77xXFW+JyqbEZsBCSP2RdtdOZNDIAYw OkaqJE37S67gUEUKdqotH1f2FmNCX0iaJ8ZkK8mLrXlsDd29WEaU6fgUnf3xLqtd+RzNlIbJ 27Ipaja2JVZ6EnwU1syMnnv3dtY1Yk8vRNL6HQgJF25vMXPqdFq/R9W8BUxFh90yDce2c1NG 2FbDW9HDoTQwCVJ3e9tB3uNHSNFDz2non3B8UMDzjDlfhP5R17zI30YEsfT2kIgqkZ3XCVRp ZOcw0bbCQfaRtn7hHYOaBQ0us7YbIJD8yPZk5qaBOWDJZ4xZATljoKIZWYlrxjGA9s7tHbYp NtFrfpBVqnmCRE++6ELKZGW9bA1eiC2IGZvRfJA/qRQOUr+fDq0+yaFKmHvW8drCsHJz3SFC J1VFpoSbyi96SeAlSBEJKguJ7QvouUlyuBfcZzWJEkHkYClkBxXjLzq+BPTukoXUvR1sMNkK oruZzOISWORon1Pml7ylspPO0vmQN8ieAHc9fy/q9tRM5ctset9LEQ76ZqvnnCvKAA81Qmlj ADCQK73zuJZ1oVnmbX3IJhDHwmZLdDSVvyC1RKa6fBiTIroH5/VlgU3rlLHAVxnDYEJUY4qq YXX4c/F4kzVmZ0XDUbbosClPItU75yQWOF3DJrGHENCl3HfZP62sgoxwEHmG5lni9gH29KGQ TG/Y86OddI4fddR6XlWSipGGSYmFKXFQfb8lBy5ssizJEAR4S7fIPOj0E3ZX2VRWysLGp/5U yvfmfKl4PJGp4VtWj4AIdxbAKFDHVyyYpt+KuXNtgSZAFfx0xnG8vHnmAE74D7GNmicHYyoq djZTxz5b1KptLuO0NhdtJdoswYKCGpmx9M9ZV8Z58U8ngXS4LTq9gjBGc5u5lBofi3OOFXQf zTRdC4lFDm7VD5DNxv9iDgmssFzGcRWUuoV5BRwl69XV8tyLIqKB/1v90+MJl9oLyD7wrjPx c42oxXN09vY/n2tbe8Z4bq1gI+LAx8cKm0goSjAriA5P/rS7XjmGpCs8MqhmBEry/3wqXg=
Ironport-hdrordr: A9a23:lD+A/6Nco9x4a8BcTu+jsMiBIKoaSvp037By7TEJdfUnSL3hqy nOpoVm6feX4Ax6ZJhEo7290ca7MBThHPJOgbX5Xo3SIzUO2lHYSr2KhLGKq1aNdEOeygc379 YDT0EKMqyVMbEMt7ee3ODXKadC/DDNytHSuQ6X9QYWcehFUdAc0ztE
Ironport-phdr: A9a23:PKHBsx/B38/uvP9uWfi2ngc9DxPPW53KNwIYoqAql6hJOvz6uci5Z gqHvb4y1ASVFazgqNt6yMPu8JrcEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/9pPNbwlSmDaxfbx+I ReqoQjfucQdnJdvJLs2xhbVrXREfPhby3lvKVyPgRj3+92+/IRk8yReuvIh89BPXKDndKkmT rJWESorPXkt6MLkqRfMQw2P5mABUmoNiRpHHxLF7BDhUZjvtCbxq/dw1zObPc3ySrA0RCii4 qJ2QxLmlCsLKzg0+3zQhcJtkaJbuwqhqAJjzI7Ibo+VM/9+cbncfdMcWGFNWslcWihEDo66c oABDfcOPfxAoof9uVUAsAe+CwevCuPu1jBHiWT70rcm3+QjCwzKwBAsEtIIvX/JrNv1LqASU eWtwafO0DXDbvxW2Tbn54PVaB4uv+2MXahufsHMzkQhER7FjlSfqYzkJTyZzP4DvHaH7+p6S +2ikHQopBp2ojS1yMcsi5DEi4QIwV/L6St32pw6JcGkSEFle96kFoNduj2EOodrTc4uXmNlt Tsnx7AFpJO2YCwHxZUpyhPCZfGKd5aE7xLhWeueLzp1hnxrdbGjixu87UWty/PxW8uq3VtMs yFLnN7MtnUX2BzS7MiKUvR9/ka92TaPygDc8ftIIUEzlabDMZEu2bkwmoAdsUTCGCL9hUb4j LeOe0k59OWk9/7rbqvoq5OCLYN4lBzyPro0lsG/Heg0KhUCUmaH9eimyrHu81P1TK9XgvA3n KTVqp7XKMUDqqKkDQJZzpwv5wixAju4ytgUgHsKIVBfdB+Ik4TkPUzFLe78DfeimFSsjClkx +rbML3gA5TCMGDOnKvncL1g8UBT0hAzwspa559MCrEOPvbzWkjpudzDCx85LxS0z//gCNVgy oMSQ3iADbSeMK/Iv1+I5/ojI+iKZIALpDbwM+Up6vDygXMjh1MQc7el0YEJZHylAPhqOUWUb Wb0jtcEC2gKvw4+TOLwiF2FVD5ef3C8X7895jE0CYKpF53PSJqzj7ydxie0AIZbaXpdBVCLC 3voeYSEV+8KaC2JOsBhiCALVaC9S4890hGjrBL2x6J9LuXI4i0YqY7j1N9t6uLPkhEy7CV4A NiZ02GQVG55hXgIRj8z3KBnu0Nx0FaD0a5ig/xZD9Nf/f1JUh1pfaLbmqZxDMm3UQbcdP+IT kynS5OoG3t5Gtk22poFZ1t3M9SklBHKmSSwVew7jbuOUbgp863d1jDJKtpnxj6S8LQggFgvB PNCKXerrqd18E7dBtiawA2ii6+2ePFEj2b2/2CZwD/S7SmwMSZ1WKTBBjUEY1fO6M/+/gXER qOvDrIuNk1Az9SDI+1EcI6hlk1IEdHkPtmWeGetgyGoHx/d4q6NY4vjPV0QwD/QIEEOlEYd/ CXOLhAwUx+ouHmWFzlyDRTqakLo//N5rSafU047zgjMV0B9zbed8xQSw/KdGLsIxrxRniAnp n1vGUqlmdLbD93Vvw16YKBVes8w+n9c0H7B8gtgItqpJackiF92nx1fmUTo2l03D4xBlZNvt 3Y21E9pLrre1lpddjSe1JS2O7vNK2C08gr9I6jRkkrT1tqb4MJtoLwxtknjsQe1F0Ej72Qv0 t9b1GGZ74nLCwxaWIz4U0I+/Rx377/AZSx164TR3Hxqea66112Kk/Y0BeQkw1CYcstFPYuNH gi0HcxbT8miJeo2mkS4OwoeNbMa/6o1MsW6MvqejffwZKA6x2jg1z0dpt0lgSfuv2JmR+XF3 ogI2aSd1wqDDHLniUu599vwgcZCbC0TGWy2zW7lApRQb+t8Z9Vuay/mLsupy9F5n5OoVWRf8 QvpI04H186gPyKfc0bw9QRa0gIZoDb0/EnwhywxiDwvoqeFiWbq3uXtdRNBAmNXXmRKhF3rZ 4a1xYNSTA2jaA4nkwGg7EDxyv1ApahxGGLURF9BYyn8K2wKvrKYjrOZeIYP7ZoptX4SS+Gge RWBTaa7pRIG0iTlFm8YxTYhdjjstI+r1xB9jWucKj50oh+7MYlU2BbQ5dWaffNNxDcuTSN/z zfWTlSxJNim+9yImoyL67vmETj6DNsJKHOtkNvIvTDz/WBwBByjg/2//7+vWRM31yP2zZgiV CnFqgr9fpi+0q27Nex9eUw7TFT46sd8BsR/it5p38lWgyNAwM/MpzxayTSWU50Tw6/1YXsTS CRextfU5FOgw0h/NjeSwJq/UHyBw8xnbt38Y2UM2yt74doZbcXcpLFCgyZxpUK16AzLZv0o1 BMAyPQv4Tgijv0TtSIkxCLbDLFYTiw6dWT80g+F6dyztvAdQHuufrm5knJzgcqsJLiIpUdSW TyqH/VqVT815cJ5PlXW1XT14YyxY9jcY+UYsRiMmgvBhexYe9oh0+AHji19NSfhrGUonqQl2 Ad208jw7+3lYy19ubi0CRlCOnjpatMPr3vz2L1GkJ/e3pjzTMw6QnNRB8GuF6vzVmtI7bzmL 1rcSWZk7C3AQ/yFRFXZtR8DzTqHGsKuO3jSI2QFi9lrWBCWKUpDjRpSUjRyn5gyEh2myZ7Wa 193oD0U71/8pwFNjOxpUnu3GmbZrwO1ZjpmU4CRah9f6A1Y5kPRONSGqOl0GmlZ+JalsQCAe FuAfwoOFHwAXlCeBlv4eLKp4Lyiu6CZHrbsfqaIOOrT77UHDLHRlcvn041t+yuAO5eKN3hmS eI20FBERXd9ANnDhTgeUGockCeFOMefoF3UFjRfiMe5/byrXQvu4dDKEL5OKZB0/Ajwh66fN umWjSI/KDBC15pKy2WagL4YlEUfjS1jbVzPWfwJqDLNQaTMm6RWEw9TaiV9M9FN5r492Q8FM NDSi9f83Lp1xvAvDFINWVvkk8CvLcsERgP1fEvAH1qOPa+aKCfj2MTreea7VKEWhe9T8ROx+ H6aH0LlIjWfhmzpWhSoYoQuxGmQOB1Tvp34cw44UDO7Coi9MFvhaYUx0GVlpN98zmnHPmMdL zVmJkZEr7nLqDhdnu06AGtZqHxsMeiDnS+dqejeMJcf9/VxUUEW36pX5mo3z7xN4WRKXvtwz WH2s99holjgquST0DdPWRBJ7DhKztHu3w0qKeDC+59MVGyRtgoK9nmVAg8WqsFNEdjzo+VX1 8SJnaj0bjlDuYGxn4NUF43fL8SJN2AkOBziFWvPDQcLejWsMHnWm01XlPz6HpK9p5I97Jbty sNmolpzXVYyUP0bWBwN9D0qO5JrRnYjjKLdhcQPo3S//kG5eQ==
Ironport-sdr: 67b89d5d_2/5xrkDWRPRQ1QHxvpuhPK1vulHKwoiRtmc88WfzBPgky8R uyqrkWHiLRRe6lfHHnQhqUN8SO7KXUG3cjvsFPQ==

Dear all,

We continue our Formal Methods Teaching tutorials series with a lecture on Friday, February 28, at 3 pm CET!

Prof. Mariëlle Stoelinga from University of Twente in The Netherlands will discuss about "Life long learning — experience with educational programs for professionals".

Prof Stoelinga is developing quantitative risk assessments methods that ensure that the risks related to high tech systems lie within acceptable boundaries. This work essentially leads her to improve reliability of complex systems with techniques such as fault trees, model-based testing, and architectural reliability modeling. Prof. Stoelinga is also the director of Life-Long learning at the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) in the University of Twente.

In this tutorial she will focus on explaining how we can implement life long learning with efficient methodologies, on a variety of topics.

The event will last under 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 February 28, 2025 3 pm CET: Prof Mariëlle Stoelinga, University of Twente, The Netherlands, on Life long learning — experience with educational programs for professionals, Luigia Petre, 02/21/2025