coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] FME Teaching Tutorial on March 1, 2024, 10am (!) CET: Prof Carroll Morgan, University of New South Wales, Australia: Teaching formal methods informally: a report from the front line
Chronological Thread
- 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 March 1, 2024, 10am (!) CET: Prof Carroll Morgan, University of New South Wales, Australia: Teaching formal methods informally: a report from the front line
- Date: Fri, 23 Feb 2024 17:36:45 +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 4F88910D064D
- Ironport-data: A9a23:V/MpjKDZ3JL2HhVW/xznw5YqxClBgxIJ4kV8jS/XYbTApDIlhTQEz WUeUWqBbPiMajGjeNpwaIWx/RtTucPVzoMxOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6j8lkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/YuHZjdJ5xYuajhIs/jZ80s21BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0usyxVEFL0OavHJSxjSCc50jodVjSmfhONmU7FrIV3vpqDU4Tt tVNfVjhbjjb7w636Km+VvEpgdk/asDhO8URuxmMzxmAVq5gG8uZBf+Tv5kFhF/chegWdRraT +4EaDVuZVL4bgFVN38eApV4kubAanzXI2UE9wPL+/BfD277nQxzk4jRLPHuWePUSed6hWa64 T7o1jGsav0dHIbGk2TYrS7EavX0tSj8QccZEKCy3uV7hUWagG0VEhwfE1WhycRVkWalXs5Hb ksJ5mwnp690+k3DosTBswOQpVCCnSBGVvpqN+AR1wyp1rfYzFvaLz1RJtJeU+AOuMgzTD0s8 1aGmdL1GDBi2IF5r1rGqd94ShvpZkAowX8+WMMScecSy/fCyLzfYzrUS8p7Vamokpv8Eza2z THiQMkCa1c705NjO0aTpA6vb9eQSn7hFVJdCuL/BT/N0++BTNT5D7FEEHCChRq6EK6XT0Oao F8PkNWE4eYFAPmlzXPVELtXQu/2uKzbblUwZGKD+bF9rFxBHFb/IehtDM1Wfi+Fz+5aJGKyP ic/RysIuMA70ISWgV9fOdvrVZl1kcAM5Pz4UPHKY8BVY4RgPAiJtD1zf02Nt10BY2Bx+ZzTz ayzKJ72ZV5DUPwP5GPvF481j+V3rghgnjm7bc6gkHyaPU+2OST9pUEtagXeN4jULcqs/W3oz jqoH5LVl0gPC7OnOnO/HEx6BQliEEXXzKve86R/HtNv6CI8cI34I66MneESaMZ+kr5Ll+zF2 Hi4VwUKgBD8nHDLY0HCIHxqdLqlD941oGMZLB4cGw+i+0EiRoKzs4YZVZ88Joc8+MJZkPVbc vgieue7OMppdAjpwTomQKPGnNRQTyjz3QOqFAi5UQc7ZK9lFlDo+Me7Xw7B9xsuLyuQtOk+k rjwyzHeQpsnbCZhBfbwd/iA4Q6Qv38cueQqRGrOAIBZV3vN+bhQCR7ar6EIMeBVDjub3Rqc9 QKdISlAlNn3u4VvreX43/GVnbmmA85VPxR8HVCCyZ2UKCOD3G6o4bEYYdayZTqHCV/FovSzV 950kcP5HuYMxmtRkoxGFL1u86Iyyv3vq5JezSVmBH/7VEuqOJwxPki52dRziYMVyo97oQeWX me9yuteM5iNO+LnFwc1DyghZeKhy/oVu2fz6dIYHUbE3xJ0rYG3CRhqAxqxiSJmPORUNqEhy rwfo8I40VG0pScrFdektRpq0VqwAEYOaIgZk60LIZTKj1Mrw25SYJaHBS7R5oqOWup2MUIrA 2G1gozei5R12kCZTSIXEFbM1/sAgJ01mQtryWUaLA+jgev1hf4Q3TxQ/w8oTw9T8A517uJrN kVvNGx3Pa+r7R4yoORiBkeCQxpgAj+d8WzPk2o5rnXTFRSUZzacPV8DNvao12FH1WBlJxxw3 qySkUThWhbUJPDB5DM4AxNZmqayXO5K11Pwne68FJ64BLg8Wz3uh5GuaUcuqxfKBcAQhlXNl dJ1/dRfOLHKCioNn5IVU4Wq96wcaBShFlxwRftM+KAoH2aFXBqQ3TOICV66e+ITBvjs3HK7N fdTJZN0Z0zj7BqNkzEVPr5TArlWmPVy2sEOVIm2LkE7spyejAFTjrTuygbEilUWHupeyfQGF tuJdhapMHChun9Pqmqc8OhGIjWZZPcHVi3d3ce00uU4EsIeguRvcGUZ8Li9j1OKOiRJojOWu wLiYffN7upAkI5DoarlIp9hNS6Vd+zhdb2v3lioktJsadjvD5//hzkNoAO6AzUMbKojZdtns J+s7vj15Rrhl5QrWTn7n5KhKfF41f+qVrAKDvOtfWhopgrcasrC+BBZxnuZL6ZOm9Zj5sWKY Qu0Rc+zVNwNUedm23xnRHlCIikZFpjIQP/slQGlo9SILyot4wjNAdek1H3uNEVwVCsDPb/gA Q7V5deqwP1lr7p3ORxVPME+XqdEI2LiV5V/Jpe1/XOdA3Kzi1yPhqr6mFByoXvXA32DC4Dh7 YiDWhH6cw+otbrVyM1C9bZ/pQATEG03lNxYkpjxIDKqo2vS4K86weUh3VEuEZRIimn1yY2+b TvKKmUjYck4sfKobj2kiOkPnC/GbgDNBjs9DjUj+AWaak9awaueVaB5+H4ID2heI1PeISLOF T3a0nT6OV6/w/mFgArVCuOT2Y9a+x8R+p7EFY0RXSA/79byzIjmDEBcITc=
- Ironport-hdrordr: A9a23:vyLn76BDoHBKPGXlHemA55DYdb4zR+YMi2TDj3oBLyC9Afbo7v xG/c5rqCMd6l4qMk3I/OrsBEDuewK5yXcY2+gs1NSZLXXbUQmTXeZfBOLZqlWKd0KRygc379 YCT0EKMqyUMbEMt7eZ3ODXKbYdKZK8gdiVbK/lvgxQpC9RGttd0zs=
- Ironport-phdr: A9a23:yUD4SB8BoeDdJf9uWZ22ngc9DxPPW53KNwIYoqAql6hJOvz6uci4b QqEu7483ReJBdydt6gUzbKO8ujJYi8p39WoiDM4TNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9sK Bi6twvcu8gZjYZmLqs61x/FrmdVd+hMym5kO1Gekwzg6sus+ZJo7jhdte8m+8NcXqr2eLg1Q 6ZfADo6LW4++dfltQPETQuB53scVnsZnx9VCAXb7x/0Q4n8vDLiuuVyxCeVM8v2TaspWTu59 KdkVAXoiCYcODEn9mzcl9F9g7haoBKloBx/3pLUbYSIP/dwYq/RYdUXTndGUchMSixBGZu8Y JUTAOodM+hYqIz9qEEPrRu4GAKgAOzixztNinLwwKY00fkuERve0QIgAdwArWjUotv2OqcTT e+6w7LFwi/fY/NUwzrx9JTEfxAnrPqRXbxwa83RyUw3Gg3Dk1WQqIPlPzKP2e8QqWaU8fZgV fixhGU6rAx/pCWvxsYjionInI0Z0ErK+jtlwIYvO9K1U1R0bsWjEJdKuSGaNpJ7T8U/SG5np Cg00KcJuYKnfCcU0pQnwQbSZvKbf4SV5h/uWvicLDlkiH57Zr+yiBi//Euux+DgSsW53kpHo CpbntTNtn0D2ALe5taFR/Zj8Ems1zaC2xzO5+xCPEs6m63bK5s7zb4xkJoeqVrMETXtmET2k KCWdl8r+umy6+j9ZbXmvJCcO5dpigH4KaQvlNazDvolPQgTRWSU4/m82KXi/E3+R7VKi+c6k rTCsJzCKsQbp7K5Aw9I0ok48Rq/DjCm3MwCknYcK1JJYhyHj4nvNlrTI/74Fe+yj0minTt33 fzKILPsDovXInTdjbvtY6xx5k5AxAYr0NxS6Y5YBqsfLP/9REP9rsHUAx43PgCuzevqCc1x2 p4QVG6TGKOVLq3fvUGS6u4yIeSBZpUZtTnhJ/Uj+vXjk3s5mUIGfam1w5QXcm22HvVnIkqHe XfgntEMGnoQsAUkVuzlkliCXCZTZ3msW6I84Sk2CJmjDYffXoChmbuB3DqnHpFMfG9JEVeMH W3md4WFQ/sMaSSSLdF9kjEcSLSsRZMt2QuwuAL01bZrNPTY9jAGuZ751NV5+/XflRQo+jx1C 8Sd3XuNT2Zxnm4QQTE2waF/oUN8yliZy6R2meJXFcBJ5/xXSQo1L4XTz+tgB9D8WwLNZtGJR 02+TdW8HT4xVs4xw8MJY0tlBtmulgrD0DayA78Ji7yLA4Q5/b7b33joPspy13LG1LQ6gFQ9W ctONWimhrZl+ATJBo7JlV+Zl6eweqgG0i7N7jTL8W3b9kpfSUt7VbjPdXEZfErf69rjrAuWR Li3TL8jLwFpyMiYK6IMZMe/3ntcQ/K2HMnfbGO401+9GQyFjueocYvlemxb5CjBEkUsmgoUu 3iHY1ttThy9qn7TWWQ9XWnkZFnhpLUvwJvaZko9zgXRKlZky6Lw4RkNw/qVV/IU2LsA/iYns TR9WlinjJrNE9TVgQ1nce1HZM8lpk9d3Df9qg1yP5XmF61+nFM2eg5w+U3vhF1sEosVqcExt zsxyRZqb6eR0VdPbTSdiLTtO7LWIy/K8Qy1Zobf0FaY3tfFsrwX5qEerFPu9BqsClJk83hj1 IxN1GCA45zREAcIeYn0Tl5y8AVm4bjQZW8z5us4zFVKNq+5+n/H0tMtX64+zwq4OsxYKOWCH RPzFMsTA46vLvYrkh6ndEBMOuca76MyM868EpnOkKe2IOZtmi6nhmVb8ch81EyL7S91Vu/P2 d4M3fiZ2gKNUzq0gk2mt4j7noVNZDdaGWTaq2CsIJNQaax7O74GFX2jC8S9wZNwht+lWnJV8 kKiG0JTwNWgKlKZa13w2xEV1FxC+Cf/33HjlXouymtv8/LMuU6Gi/7vfxcGJGNREWxrjFO3Z JOxk8hfR0+wKQ4giBqi40/+galdvqV2aWfJEiIqN2D7KX9vVqyou/+MeclKvdkMrCRYUe36W V2GULPVqhEdlS3iVTg7pnhzZ3Sxt5P1kgYvwkaALXlypTzhdN1qyD/W7tuaS/8bjXIWASJ/j zfQHF21OdKkqM6Vm5n0uee7T2u9V5dXfEEH1Ku4vTCgrS1vCBy7xLWon8H/VBM9yWn93sVrU iPBqFD9ZJPq3uK0K7Avck5tDV76o810f+M22q8thZ4R0D4ii4mP8FIOm2C1P9QT1a/lbXULT CIG2JaMu1CjghY5aCjQncSkDj2U2YN5asO/Y38K1y5YjYgCE6qS4LFe3GN0rle+sQPNcK14l zYZx+Ep7S1SiOUItQwxiySFV+lJRQ8CZnaqzU3SqY3m/8A1LC61fLO91VRzh4WkBbCG+URHX WrhP4wlBWl259l+N1TF1Dvy7JvlcZ/ed4F21FXcnhHeguxSMJ90mOANgH8tHX/8snwsjdY2k QZj9Ziwu86JKi8+mcDxSg4dLTDza84Jr3vJkKdRn8/Q542zBJhJEz8MGpXpB6HNcnpapbHsM ACAFyc5o3GQFO/EHAOR30xhqmrGD5GhM3zEbGlc19hpQwORYVBOmA1BFitvhYY3T0r5oa6pO Fc8/D0a4UT07wdB2v49fQeqSX/R/U+pcmtmEcPHakANtEcYvhyTaJbGpuNrQ3MBpcXn9lfXb DbCPUIVVQRrEgSNVVXvN/yp+MWG/+GED+GzKefDe/OAqKRfUfyM2J6igLx95zjKO8CGP31vF fx91EsmPzgxGsLSnygDRn4MjyyLasedqA29/il+ttj5+/PuEAP3udneVv0Lbogpokntx/7Tb qbHjSJ9Y160z7sqwnnFgPga1V8W0GR1ciW1VK8HrWjLRb7RnaleC1gabTlyPY1G9fB02A4FI sPdht7vs9wwxvcoF1dIU0DgkcC1dIQLJW+6LlbOGEeMMvyPOzTKx8j9Za70R6dXia1YsBi5u DDTFEGGXHzLjz7ySxWmKv1BlgmAOQBG/YagblBkA2+lQtOnIhy3PdlrjCEnlL05gnSZUAxUe TN4ck5LsviR9XYB2a05QTcbqCA8d6/Zw3X8jaGQMJsdvPp1Dz4hkutb5C9/0L5J9GRfQ+Qzn iLOr9loqlXgk++VyzMhXgAdz1QDzI+No0hmPr3Us5daXnORtjYQ7GqRAlIyqsd/B/XmsacWx NmFx8eRYH9StsnZ+8cRHZ2eMMWcLH8oKgbkAhbPCRcdCDm2KSfWjUsbnvDYpRj35tAq75Prn pQJULpSUlc4Q+gbBkpSF9sHOJ5rXzkgnNZzbeYT4Gam6R7MWINTtJeBWPPAWZ0Hxx6Qh74Ca RpamNsQyKwaPIq91U0wMjFH
- Ironport-sdr: 65d8d7b0_lFzVVsS3BuaX1qP9VP8Zgl/GA/6eKBV6EXqzYEucC59qM3y 2HKabZv2VMzwX64t9aj72Cfq4lg6ctjWbTQwcUg==
Dear all,
We continue our Formal Methods Teaching tutorials series with a lecture on
Friday, March 1, 2024 at 10 am CET. Please note the unusual time, due to our
speaker's location (Sydney, Australia).
Prof Carroll Morgan, University of New South Wales (UNSW), Australia will
lecture on his experiences in teaching Formal Methods to Computer Science
students, without focusing on the theoretical, formal aspects of the topic.
The roots of this talk can be found in Prof Morgan’s invited lecture at the
FM19 symposium in Porto - check that lecture’s abstract here:
https://www.easychair.org/smart-program/FMTea19/2019-10-07.html.
He argued
there for incorporating Formal Methods thinking into the very programming
courses we teach and simply rename the whole approach as Programming. The
lecture was truly inspirational and Carroll continued teaching in this way at
UNSW. However, a not-so-small problem occurred since 2019: his class became
mandatory and so the attendance increased about 7 times.
In the tutorial talk on March 1, Prof Morgan will discuss how he handles this
new challenge.
More information about our lecturer can be found
here: https://www.unsw.edu.au/staff/carroll-morgan.
The zoom link for Carroll’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 March 1, 2024, 10am (!) CET: Prof Carroll Morgan, University of New South Wales, Australia: Teaching formal methods informally: a report from the front line, Luigia Petre, 02/23/2024
Archive powered by MHonArc 2.6.19+.