coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] FME Teaching Tutorial on March 28, 2024, 3 pm CET: Prof Wolfram Kahl, McMaster University, Canada: Teaching with CalcCheck
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 28, 2024, 3 pm CET: Prof Wolfram Kahl, McMaster University, Canada: Teaching with CalcCheck
- Date: Fri, 22 Mar 2024 13:03:11 +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 6736710F6882
- Ironport-data: A9a23:kpQRXaKsjXzFHANmFE+R5JElxSXFcZb7ZxGr2PjKsXjdYENSgjYGn GtJWGiCP6uINmSjKdx3PoSy8koGusDUz4U1TgId+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgf6s9JIGjhMsf7b80k15K6aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0Lufmuvzf5jIn4ND6pf0eAwDGJ/y KJBAWVYBvyDr7reLLOTUexwnoEkMdWtNYkY/H9hpd3bJa99GdaZGP+Mv4YCmmpo7ixNNa62i 84xTSduYxXJJSVCJk0aIJs0m6GmhxETdhUB9QLN/fFmvTK7IApZ05jEOfrHY422BupQzkTGp UTa837dO0RPXDCY4WDcqCzx2bOncTnAcIkVDfiz8uNgqEaCw3QaThwQT1qy5/ej4nNSQPpEL lAMvy0zse47/kvtQNiVswCETGCssw5fVdFdPdIB2ibK4ayT7gWoOzZdZ2sUADA5j/MeSTsv3 16PutrmAz1zrbGYIU5xEJ/P8Fte3gBOcAc/iT84cOcT3zX0iK8S5i8jo/54FbKty9roBXf5y TfMoilWa1QvYSwjifjTEbPv2mzESn31ougdvV+/soWNtVkRWWJdT9b0gWU3FN4ZRGpjcnGPv WIfh++V5/0UAJeGmUSlGbpURen1uqbbbWKF2TaD+qXNERzxoBZPmqgMullDyLtBaK7ohBe3P RKI52u9GrcDbBNGkpObk6rrUp50kPe8fTgUfu3Sb8RDeINwaB7P+y8meVOK3H2FraTfufxXB HtvSu71VSxyIf0+lFKeHr5NuZd1nHxW7T2IH/jTkU/4uYdykVbIE9/pxnPUMLBghE5FyS2Im +ti2zyikkoGCbSlMnaNreb+7zkidBAGOHw/kOQPHsbrH+asMD5J5yb5kO59Kb921b9YjPnJ9 XybU0pVggi3z37eJAnALjgpZLrzVNwt5Tg2LA49D2aOgnIDWIeI6LtAVp0VebJ8yvdv48QpR NY4euKBIM91dBL5xxonY6LQkqleZTWwpAfXPyOacDk1JJFhYArS++7bRAjk9QhQLyyRqccei qGqjT2DZZ8tRg5zUcPfU9O07laLpXNGsvlDb0jJBdhyeUvX74lhLRLqvMI3O80hLRbixCOQ8 hS/WzM0hLDqjdcu0d/rgaukkd+YI9FmFBAHI1iBvKeECybK20GCn6lCab+sVhLAXjrW/K6CW 71k/8vkOqdaoGcQ4ptOKJc1/6cQ/NC1mqR7yD5jF3D1b1iGLLNsD32F/MtXvJ122b5rllqqa 32L5+VlF+2FCOH9HH4VATgVXOCJ+PUXuzvVtNAeAkHx4g1p97umD2RWGTSxixJmEbgkC7N9n N8du/MX5Tev1TssENKN1R5P+0q2c3cvbqQAt7MhOrHNtDYF8F94XMHjOnfE263XM9RoGWs2E wCQn5vH1uh9xFKdUn8dFkrt/Ot6hLYOiRUa0W0HJFWtsfjGj88Rwxd+32kWTANU7xMfyMN1G DFhGHNULJW03QVDpZZ8TUH1PC8ZHzyf2Ej662VRpV3jV0PyC1D8djwsC9iC7GUy0jx6fAEC2 Jq61Wy8czLhXP+p7xsIQUQ/9sDSF41gxDbjxvKiMd+ORaQhQDzfhaSrW2oEhj3nDe41h2zFv eNax/lxW4KqKR8vp7AHNKfC2YQyUBykIElwccNl9o4NHkDef2iW8hqKIEaTZMhMBqLr9WmVN s9QHf9MBi+OjHu2kjMmBKA3M+BVmtwt74E8Yb/FHzMNnIaeiTtLi6ju0BbCqlUlePhUqvZlG LjtL2qDNkeymUprn3T8qZgYG2igPvgBSg7O/MG01+QrF6MG4PxedEIz9pCWvHylFhRt0DzJn QHEZo7Ql/dDz6Y1laTSM6xzPSeGAvKta/apqSed689va/HLOufw7zIlkEHtZVlqDOFASuZJm qSom/+p+kH85ZIdcX3TwruFHIl3vfSCZvJdaJ/LHSMLjBm5eZHe5jUY8DqFMr1PqtRW4/enS yaeaMedcd00Wc9X9EZKahpxQgosNKDqUpjO/S+NjeyAKhw44zz1KNmK8XzIb2YCUgQqP5b4K BH/utfwx9R+gblPOiQ5BKBdM8clGGPgZKooSYSg/33QRGylmUiLtbbehAIto2ODQGWNFMHhp 4nJXF7ifRC1o7vF18xdr5c0hBAMEXJhmqMlSyrxITKtZ+ySVwbq7NjxMKnqzrlPlzDqkZble HfEZmxkBySVsfGot/njyIyLY+tdLrVm1hTFyvgB9kmTLSm3bG9FKKU07T9uuh+aZRO6pNxK6 rgiFrnYNxK2hJ9oLQrWCjpXns8/rs7nKrk0FYwRXiA879vywVnH6ZC5IDdwaA==
- Ironport-hdrordr: A9a23:324TKarbDPhSCnhaGJo2YVMaV5oFeYIsimQD101hICG9Kvbo7v xG785rrSMc6QxhJE3J+7i7UpVoJEmwyXcb2/h3AV7PZmnbUQiTXf5fBOnZslvd8kTFn4Y3uc gPEpSWY+eAb2SS+PyKhDVQZOxQpeVvnprY5ts2hE0dNj2CI5sQlTuRJDzrb3FLeA==
- Ironport-phdr: A9a23:6BJVuRGz14B7klUKFbXwgp1Gf+FGhN3EVzX9CrIZgr5DOp6u447ld BSGo6k33RmQBd2Qt6gMotGVmp6jcFRD26rJiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmj6wbalvI BmqsQnducYbjZV/Iast1xXFpWdFdOtRyW50P1yfmAry6Nmt95B56SRQvPwh989EUarkeqkzU KJVAjc7PW0r/cPnrRbMQxeB6XsaSWUWjwFHAxPZ4xHgX5f+qTX1u+xg0ySHJ8L2TLQ0WTO/7 6d3TRLjlSkKOyIl/GzRl8d/i79VoA+6pxxn3YHbfJ2VOvR5fqPYZ9waRGxBVdtVWyFOBo6wa o0CBPcDM+lFtYnwv1sAowWjCwmwCu3hyT5IiWP50qAhyestDQPG0RY8E94SsHnZqsj+OqcIU eCyyanF1TPNb+5X2Tfy6YjHaA0qr+uSUrJsa8re11QkGgTDgFWNqIzlMDKV2f4Xv2aB8eVgS fivhHA8pg5ruTevwd0giofIho8MzF3P6Cp2zpovK9KiVE57fcCrEIFWtyyCOYZ4TMEvTmBst Ss11LAItoC2cSoWxZk52xPTduCKfpSV7x/9SeqdPTV1iWxkdb6hhxu/8FStx+78WMS20FhHo SxImcTCuHAK0hzc8MmHSv1l80ekxTmP0hrc6vpYIU8qj6rXMYIuzaQompsStkTDGSr2lF/rj K+Nbkkk9emo6/jnYrX7vZCQLY50igbmPqs0gcO/Bv40MgYPX2Wd5O+y16Xj8FXkTLhEkvE6i LfVvZ7EKcgBuKK1HhFZ3pwj5hqjFzuqzdoVkWUdIF5bdh+LkZLlN0zPLf32F/uyjVWhnC92y /3IIrHtGIvBI3bdnLv7YLpw6UxRxBA8wNxD4Z9fF68MIPbuWk/qqNzXEAU5PRG1w+fmFtpwz p8SVGSSCaGDKqzSq0WH5uc3LumMeoAVvDH9JuA+5/7rkX85gUYRfa603ZsLcny3BO9pI0KDb Xrig9cNCWYKvgwgQ+z2kFCOTDBea2qoU64i6Dw3FpiqAZneSoyzmrCM3Du3EoVTZm9cC1CMF Xnod5+DW/cJcC+cJNJhkj0LVbigUYAtzwuguxHmy7p9MOXZ4TcXuonk1NRv6e3TlAk+9TpvA MuFyWGCU3l0nn8URz8xxK1zvFRxyk2f3qhgn/xYCdtT6utVXQc9LJ7Q1vB1C9TvWg3aZdqJU 1anQtC+AT4rVN4xwtkOY1x8G9q4lBzD0TCqUPcpkOnBD5stt6nYwnLZJsBnyn+A2rNrxw0tR dIKPmm7jIZ+8RLSDsjHiRPKubytcPE4wS/C9W7L9WeSpkwQBCptUKrEVDYna1fMoPzw7ESEQ b74WudvCRdI1cPXcvgCUdbul1gTGKaL0LX2Zmuwnz31HhOU3vaWa4GsfWwB3SLbAUxCkgYJ/ H/AOxJtTjy5rTf4CzpjXUnqf1uq6fN3/VemT0A1xkeyYlF72pK88BlTi/3PA+gL0Oc8sTw64 y5xAE772tvXD9SaoA80WLhdbtI0pm9KyXjUnwV3OdquLvMqnUYQJiJwuU6mzBBrEsNAnMwt+ Wst1xZ3ILmE3UlpbDaExdX3J6GRI2P1uh6uA0LP8nfZ1tveuqIG6fBi7k7moBnsDE0ptXNuz 9hS1XKYoJTMFgsbF5zrAA4x8FBhqrfWbzNYhcuc3GBwMaSyrj7J2s44TOojxBG6et5DMaSCX AbsGsweDsKqJaQkgV+sJh4DOelT8uYzMabEP7Oixa+kPe8mpD+6l2lv6Yp6lEyNtmJ9RuPOw 5cZ0qSAxALUHzz4jVqnroX2gdUdPmlURDHlj3K9XsgMPv4XH85DE2qlLsypy88rgpfsXyQd7 1u/HxYc38TvfxOOblv71AkW1EINoHXhlzHrql482zwvsKeb2zTDhur4cx9ScEpWRWZjhBHUL JSugvgTVk/uYQljx37HrQ7qgrNWoqhyNTyZZVpJcCn/aVlvTrG9nrOIZIhB6dl7+TUSW+O6b 1eAT7f7qBZPyCLvEVxVwzUjfi2rsJH09/BjoFqUN2077H/QeMUqgAza+MSZX/lamDwPWCh/j zDTQFm6Jdigu9uOxd/PteW3VmTpUZM2E2Gj6Z6Buyqyo1VnHQeyt/m5nZvpEEA23DT62N9jS SjT5E+nOs+xjP78a7s9OBQwTFbno9J3AIR/jpc9iPRykTABi5OZ8GBG2Wb/PNNH2L7vOX8ER DoF2dnQs0Du3ExuKG7MxpqsDy7FhJE6PZ/gOzlQh3puiqICQL2Z57FFgyZv91+xrAaLJON4g i9Y0/wlrngTn+AOvgMpiCSbGLEbW0dCbkmO31yF6c6zqKJPaSOha7+1gQBagNGuDbjEmgxAQ nvRc50lWyFxpJYaUhqEwDjo54fodcOFJ/YOtxKVmlH4gvRPJbo4nP1Miystagef9TU1juU8i xJpx5SzuoOKfn5s8KyOCRldLjTpZskX92KlneNEk82RxYzqAoR5F2BBQs7zVfzxWmF317yvJ 0OUHTY7sHveBbfPAVrV9hJ9t3yWW5GzayPOfyFfl444AkPEfwoG2lhcXS1mzMdiTkbwn5anK h4joG1Jgzyw4hIez+5hch7iTiHTrRuhYToyVJWFahRXpgBE7EPIPcHM2flrEWdV+5SgqAGXK yqVZmEqRSkIXEeAGlzubKK265/F+u6UHOu6K/LWefOFrukWVu/Ul8PylNI5onDVb57JZyk7R 6oy3k4JNZxgM+LenThHCykeliaXKtWeuA/54Cp86Ma27PXsXgvro4qJEbpbd9t1qViwhu+YO uiciTwcS34Q344QxXLO1LkU3UIDwyBoeT63FL0ctCnLBKvOk65TBhQfZmt9LsxNp6472wBMP 4bchLaXnvZgieUpDl5eSVH7stqsedRPJHyhclrNAwCFNfXOJDHGxd32fbLpSbBUi7Yx1VX4s jKaHkn/ezWbwmCyD1b1arsK1njBekEG6+TfOl53BGPuTczrcEi+Od5z13gtxKEsw2nNPigaO CR9dEVEqvuR6zlZi7NxAT8kjDItIO+aliKe9+SdJIwRtK4hJjl1mONTpkw316FYxChOQ7p7m WGBy7wm60HjieSJxjd9BVBWrS1XgYuQoUh4Eb7c6oEFXmvYuhsH6iOeCl5ZwrktQs2qsKdWx N/Vkav1IzoX6NPY8/wXAM3MId6GOn4sWfIMMDfeC00LTGzzXYkwr0VXl7ec9y/MxnDbgoPph IJLTaJHElU/EbUUCxY9dOE=
- Ironport-sdr: 65fd8193_qm667QVezchuNzBOxTOCE6msyD6/MeMeTg9PV0fPoBzCDEO 0vLYxdJlq2xtqCk0yv3U2Ck9tiTxbtSGudweSRg==
Dear all,
We continue our Formal Methods Teaching tutorials series with a lecture on Thursday
(!!), March 28!
Prof Wolfram Kahl, McMaster University, Canada will lecture on his experiences in
teaching with a tool called CalcCheck: a proof checker for teaching
calculational Logics and Discrete Mathematics.
CalcCheck offers an automated hands-on approach to learning math that traditional
teaching methods lack. It supports the development of critical
thinking and problem-solving skills, by encouraging students to actively explore
and experiment. Some features of CalcCheck:
- Proof Checking: The ability to check the logical validity of each step in a mathematical proof.
- Interactive Exercises: Students can engage with interactive exercises that are designed to reinforce mathematical concepts and proof techniques.
- Self-Learning: It can be used for self-learners of mathematical logic, discrete mathematics, and other related fields.
- Customisability: Teachers can create custom exercises and problem sets tailored to their curriculum, making it a versatile tool for a variety of mathematical topics.
Prof. Kahl is the developer and maintainer of CalcCheck.
More information about our lecturer can be found here: https://www.cas.mcmaster.ca/~kahl/.
The zoom link for Prof. Kahl’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 28, 2024, 3 pm CET: Prof Wolfram Kahl, McMaster University, Canada: Teaching with CalcCheck, Luigia Petre, 03/22/2024
Archive powered by MHonArc 2.6.19+.