Skip to Content.
Sympa Menu

coq-club - [Coq-Club] FM Teaching Tutorial on April 28, 3 pm CEST: Assoc Prof Stefan Hallerstede (Aarhus University, Denmark): A guide to Not teaching Formal Methods

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FM Teaching Tutorial on April 28, 3 pm CEST: Assoc Prof Stefan Hallerstede (Aarhus University, Denmark): A guide to Not teaching Formal Methods


Chronological Thread 
  • From: Luigia Petre <Luigia.Petre AT abo.fi>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] FM Teaching Tutorial on April 28, 3 pm CEST: Assoc Prof Stefan Hallerstede (Aarhus University, Denmark): A guide to Not teaching Formal Methods
  • Date: Mon, 24 Apr 2023 10:22:14 +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 5250A10CFEDE
  • Ironport-data: A9a23:Jwqviallm4oaKfrIaGXibNPo5gygIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIbXTqCMquKZTCje9F0Ot63pE9XuJ/WzNZnHAVu/CtkEVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82MyYzN8B56r8ks156yu4m9A5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1UXQJrPcoFpdx8GDBj1 tsKLgESYymM0rfeLLKTEoGAh+w4KdXzeYQCpjdpxzafA/dOrZLrGv6So4UDhnFq35oIQK62i 8kxMVKDaDzkfhxAO15RMJ8ihuqAj3P4NTNZwL6QjfNvvzaOk1cuidABNvLfRYygSs9SoX+m+ ESe7TT0OA0Ga+CmnG/tHnWE3bWTxX2kA+r+DoaQ/flzxVaX22Y7EwwTTVL9oP+ji0f4Vcg3F qAP0jErsbB381G3CND3WFu2oRZooyLwRfJqQq5n6EaQlZDf+le0JU8WSA9eZeUp4ZpeqSMR6 neFmNbgBDpKubKTSG6A+rr8kd9UEXJORYPlTXRaJTbp8+UPs6lt1k6SH4cL/Lqd1IeuQGigq 9yfhHVWulkFsSIc/4ualbwtqw6xvJvUJuLezl+PAz79hu+VTLWiepCo9lXA8b5uLYCdR1+N1 EXoduCF6fwWSJaQiGqESuJLErDBCxe53N/03wMH83oJrmrFF5ufkWd4u2oWGauRGpxYEQIFm WeK0e+r2LddPWGxcYh8aJ+rBsIhwMDITIq1DKqLMoQUPMUpLWdrGR2Cg2bMgQgBd2BxyckC1 WuzLZvE4YsyV/w2k2vvLwvj+e93mEjSOl8/tbiglUj/j+XFDJJkYasEPUeDY+Zx8KKJvALJ/ tVZNsqJwhMXU+DlYTTMuYkCRW3m3lBmba0aX/d/L7bZSiI/QTlJI6aIkdsJJtI594wIyLag1 i/nBidwlgGl7VWZclriV5yWQO61NXqJhShlbXVE0JfB8yVLXLtDG49DLcJnIuV+qLc+pRO2J tFcE/i97j10Ymyv01wggVPV9uSOrTz72FLcDDnvezUlYZ9rSirA/9KuLEOl9zADAmDz/YEyq qGpnFGTC5cSZRVQPOCPYtKWznS1oSc8nsB2VBD2OdV9Qhjn37VrDC3TtcUJBf8wBy/N/Rag7 DbOMywk/bHMh6QX7Oj2gbu1qtb1MulmQWtfMWrpzZe3Eij4/lumkZJyVeWJWRv/V2rE3rqoS ssI7vP7MdwBxE1rtaglGZlV7KsO3fndjJ4E8RZFRVLlN0+KDJFkKVm4hfh/jLVHnOJliFHnS 3Cx9cl/EpTXHsHcSXo6BhcvN8aH3tEqwgji1+w/ehjG1XUm7Yi8cBtgOjeXg3ZgN5pzCoQux NkhtOMw6wCSjhkLMM6MvhtL9lajf2AxbKE6iq40WIPbqBIn6lVnU6zuDiXb5JKuadIVPHI6f R6Spq7J3IpHymT4LnEcKHnq3Mhmv6oohixk9lE4Ggm2qoL3vcNvhBx12hYrfztR1SRCgr5SO HA0FkhbJpeu3jZPhepDbmX8BjNEBxy90W7ywmsvi2f2YRSJVGvMDWtlIseL3hkT3Fx9dwhh3 oOz6TjaQxezW++pxQo0e0pui8K7fOxL7geYxfyWRZWULac1cR/Oo/GIZ1NRjzDFHMlopknMh dcyzdZKcaehaBIh+fwqObK7i4YVZguPflFZYPdb+6gMI2HQVRey1RWKKGGzYsl9HOPLw2DpF /1RIt9zaDrm2Bastjw7AYs+E41wltMt5/sAferlHn5Zkr29qjEyjonc2BKjj0AWQvJvs/0HF KXvSxy4HFe9u15oik7WjcwdOmOHcdgOPwL9++au8dQ2LZEIscAyUEcUzreUlmmfazU/2xe6v QnSOqrf9M156IFWh4C3OL5yNwa1DtLSVeqz7wG4tepVX+7PKcvjswA0qEHtGhZ/Z589eo1Qu +yWkdjV2Ejlgu4HY1rBkcPcK5gTtNSAYuVHF+nWcl9YpHKmc+3x6UIh/2uYF8R4oOlF7JP6e zriOdqCTv9LadJz33YPVjN/FSwaAKHJbqvNgyOxgvCPKxoF2zz8M9KV2i71XF5faxM3FcXyO i3st9aqw+JonoBGKRsHJvNhWpFGeQ6pHeNsctDqrjCXA1W5ml7I6POoiRMk7iqNEXWeVtrz5 ZXeXBXlaRCuo+fywcpEt5Bp9AgiZJqnbTLcompGkzK3t9y7MILCBf8YLY1DDYxI1CX409f2Z VkhqYfk5TrVBVx5ndfUubwPnTtzwsQHMNC/KD1BE4a8dXKtHI3ZaFd+3n4I3pq1EwcPCMmuI 9ZY9HyY0t1dBH12bb5728FXStuLCh8XKrzkNKw9fwHP784iPIg3
  • Ironport-hdrordr: A9a23:xMzEtKo4O8yaJzfIZqC4UGMaV5oHeYIsimQD101hICG9Kvbo8f xG785rrCMc6QxhJU3J+7i7UpVoJEmwyXcb2/h0AV7PZmjbUQiTXf1fBOnZslrd8kTFn4Y3uc gPT0EUMqySMbEOt7ee3ODOKadD/DDoysCVbKzlvg9QpElRGtpdBilCe3ymLnE=
  • Ironport-phdr: A9a23:gc6d/BAyONPGaEhLGZYBUyQUcEkY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua8wygSQBc6BtbptsKn/jePJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNYwhEnjSwba5uI Bm5swnct9QdjJd/JKo21hbGrXxEdvhMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2V KRUAzs6PW874s3rrgTDQhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+4 6t3ThLjlSAIOSMk8GHMksx/kr5UoA6vqRx4xo7beoCVNPxjda/Zct4XQW9NU8BMXCJDH4y8d ZMCAeofM+hFs4nzqVgArRqiCgajH+7g0CNEhn3s0KEmz+gtDAfL1xEgEdIUt3TUqc34OqEPU eC0w6nIzC/MZO5M1zjj9IjIaA4uquyLULx2bMrRyEYvFwLfgVmKs4LqIS+V1v4TvGWA9eVvT uWvh3QpqwFwuzWiwNonhYbViIwP0F/E6Tl5z5gvJd2+UEN1b9GpHYdNuiyHKYd7Rs0vTn90t Cs0zrALup62cSwWxZkkyRPSaOGLf5SH7x/gWuudPDd1iGx5db++mRu88VWsx+vhXce611ZKq zBKktjKtn0VyhPT7cmHRuF6/ke71jaDzxrc6vxeLU8plqrXM58gwrk3lpoWq0jDAzT2lF35j K+XakUk+vWo5P/9brXnoZ+QL5V7hRr5Mqg0lMy/AOI1ORUNUWiD4emwybPu8VHjTLlUgPA6j LPVvI7HKcgFvKK0AxNZ3p4+5xuxEzuqysoUkHcZIF5fZR6KjobkN0vALf35FfuznlqhnCtxy /zYMLDtHI/BImXBnbrjZ7pw5FJQxQwuxt5F/Z1UEKsOIPfrV0/xqtPYChg5PhSvw+biFNV9z poSWWWSAq+FKq/dq0SH5uU1L+mCZY8ZoDf9K/476P7ylXI1hFEQcbWz0ZcJZn20AO5qL1uEb XbymNsMEXsGshI7TOPwiV2CVTBTZ2y1X6I5/jw1Dp+mDYbMRoCsmrONxj21EYNKZmBcFF+BC m3neJ6DW/sWZiKSI9dtkjofWre5UY8uyQmutBPmy7pgNufY5zUUtYj/29ht++3TiRYy+CRoA MSaymGBVn17nmcVRzAtx61/ukx8ylKb0adimfBYFNpT5+lIUgggL5LcwfZ6WJjOXVeLddCQD V2iX9+OADcrT9t3zcVEKxJ2HMznhRTe1QKrBaUUnvqFHspn3Ljb2i3VOsdyyn+O7KQ9lVRuF u9SNGKnj+hH+hTJCqbAmULfmaf8JvdU5zLE6GrWlTnGh0pfSgMlDfSttRE3Y0LXqY68/UbeV /q0Dr9hNAJdyMmEI68Ma9vzjFwASu2wcM/GbTeXnGG9TQ2N2qvKdJDjLkEA3SrcAQ48nhwJ8 F6PPw94CCby63nGAmlWHEn0K1jp7fE4rXq6SkEuyATfS1Bg2Lu8vCYYmeaRY/oZ2fQKuXRps C16SXC62d+eEN+cv0xhcaFbNMs6+0tC3HnFuhZVJZm8N+Vlm0JYeg5w+U3vv/luIqNHl8Vi7 HYjzQ4obLmdzEsEbTSTm5b5JrzQLGD2uhGpca/fnF/Egp6Q/e8U5fI0pk+G3knhH1c+83hhz 9he0meNrpTMAg0IVJvtU0ExvxFkrrDeayM56svaz3ppeaWztzbD3ZouCo5Hgl6EYtZQMarCL ALuCcAyDsKpbuIr2hCoYh8CIOFO5fssJcr1P/CC2aOtIKNhhGf/1jwButsnlBjVrWwhEr2tv d5N2fyT0wqZWi2piV6gtpqygoVYfXQIGWH5zyH4BYlXb6k0fIARCG7oLdfko7c2z5PrRXNc8 0auQl0c38r8Mz6PblP81Eto2FgNrFSukyz+wT0+wFRL5uKPmTfDxejvbk9NHnNKS2hry2/hP ZK5p9kQWw6mbkJ63Avg7kH8ya9Boa15JGSGWkZEcR/9KGR6W7exvL6PCyJWwKshqj4fEOG1Y FTAD6X4vwNfySToWW1X2DE8cTiu/JT/hR1zzmyHfj5/q3/QeMc4whm6hpSUYeNQ0TsPAhF1l SPaLlG2OJ+n/J2YmozCvea3S2+6HsQIKW+xltnG7nLhozAySRSk1+i+gNjmDRQ33UqZn5FxW CPEoQy9Kojn2qKmMP52K0xhBVvy8c1/Scl1loo9go1V2GBP387NuyBcyyGpaI8dhPqtCRhFD SQGyNPU/gX/jUhqL3bTgpn8Sm3Y2MxqId+zfmIR3Cs5qcFMEqadqrJezk4X6hK1qxzcZf9lk 3IT0/wrvTQ+nuAGuQNr9iiBGL06FENfeyLt3UftjZj2vOBMaWCjfKLlnm5jnN+gBfe6rx1GV V7wcJBkEy46vaAdeBrclXb07I/jYtzZa9ke4waVnxn3hO9QMJstl/AOiHkvKSfnsHYi0eJ+k Q120MTwot2cM2s0tvHcYFYQJnjvasgU4D2okatOgpPcwdW0Bps4UjQTAMmxFqruSmlI866+b EDXSmV0q2/HS+OERUnFsx0g9SuVVc3zUhPfbHBLyNlrAR6AOApTiRwdVzg8gpMjUA6rjM3ne 0Nk6j1D0UXgpF1Bz+tpMxTlUyHRpWLKIn81TpObMRZbvBpa6QHQOMqS9ON3GyhA5tuqqwnFK 3THNVUVSzhWBwrdXgulZ+n3rY7J9+zSbganB93JZ7jG6elXVvPSgImqzpMj5TGHcMOGInhlC fQ/nEtFR3FwXcrDyX0JTGQMmiTBYtT+xl/08zBrrs257PXgWR7+rYqJBbxINNxz+hewya6dP u+UjSx9JH5WzJQJjXPPzbEe2hYVhUQMP3G1Fq8csCfWUK/KsrRSEwZebD5vcsJC6OQy30gFO MLWjM/0yq8tjvMxDAQgNxSpkcWoaMoWZmClYQqcXADRb+7Af2SRhZyvMsbeAfVKge5ZtgO9o 2OeGk7nZHGYkiXxEgqoOqdKhT2aOxpXvMe8dAxsAC7tVoGDCFXzPdlpgDkx2bBxiGnNMDtWF SV9fEJE6IWd8TlVqvx1HCpP7zA2SIvM0zbc9OTeJpsM5LFzBT9okutB/Hkg46BQ8DkBQ+Fp3 iLYqZhgohv194vHgioiWx1IpDFRgYuNtkg3IqTV+K5LXnPc9Q4M52GdY/zrj8BgFsWqvL1Mj NHFk+T9KWUamzox1cIWAI7aKZDfWJLOGRPjH3jaDVlcJQM=
  • Ironport-sdr: 6446585a_iJUzeqeJ6RPlbjD+TPBN8EOWgFv+co7rZpZdLS6ro9Sr2yB wI4nj+m7xSnmt0YZI+EX9rCN4EFkNX86BmosgXw==

Dear all,

The Formal Methods Teaching tutorials series continues with a lecture on Friday, April 28!

Assoc Prof Stefan Hallerstede (Aarhus University, Denmark) will lecture on how NOT to teach Formal Methods on Friday, April 28, 2023 at 3 pm CEST. His talk is based on his experience in creating a new curriculum for Software Engineering studies at the undergraduate level, where they embedded Formal Methods somewhat inconspicuously in about 9 fundamental courses. A paper describing this process can be checked here: https://doi.org/10.1007/978-3-030-57663-9_12. Stefan's lecture on Friday is entitled "A guide to Not teaching Formal Methods".

More information about our lecturer can be found here:
https://pure.au.dk/portal/en/persons/stefan-hallerstede%2865c96a3f-b4af-473c-a0d8-7909b2f2903c%29.html.

The zoom link for Stefan' lecture is https://aboakademi.zoom.us/j/64254430116.

The event will last about an hour.

Warmly welcome!!

Best wishes,
Luigia

PS: the tutorial series webpage is below; we have speakers planned until June!
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] FM Teaching Tutorial on April 28, 3 pm CEST: Assoc Prof Stefan Hallerstede (Aarhus University, Denmark): A guide to Not teaching Formal Methods, Luigia Petre, 04/24/2023

Archive powered by MHonArc 2.6.19+.

Top of Page