coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FME Tutorial series lecture this week, June 17, at 3 pm CET: Dr Tim Nelson (Brown University, US) on "Building Formal Methods Classes for Everybody"

From: Luigia Petre <Luigia.Petre AT abo.fi>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] FME Tutorial series lecture this week, June 17, at 3 pm CET: Dr Tim Nelson (Brown University, US) on "Building Formal Methods Classes for Everybody"
Date: Mon, 13 Jun 2022 19:47:49 +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 5459910CFFB8
Ironport-data: A9a23:QFmK0qKBh4LFM5Z/FE+RzpMlxSXFcZb7ZxGr2PjKsXjdYENS1zMHy GYWWziFO/mIM2anfN4gO4Tn9R4F6p6Ay4BhSwQd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefSLlbFILas1hpZHGeIcw98z0M68wIFqtQw24LhXVrW4 YqaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhscp97 O19j7KKQhYwH6nzgPkfSRZdOnQrVUFG0OevzXmXqsmP1wjBbmeqyv9pSk83VWEa0r8sWScUr qZecmlXKE3b7w616OrTpu1EotkiI8jiersSpmtt5TjTCrAoQPgvRo2WvY8CjGZh36iiG97RX /oac2drZyjrbhlAZFtLMa8nuP2R0yyXnzpw8wjJ/fRouAA/1jdZ27/0ddHRZ9aiXtRQhk/ep 2Tc/m2/DAtyCTCE4SGA7mrpgfLT2yrxX8QcFdVU68KGnnW93GA3MC0se2GwsOCYjnGmRtBFJ Ek9r39GQbcJyGSnSdz0XhudqXGCvwIBV9c4LwHcwFrSokYzy13JblXoXgKte/R47JNrFG1CO kuhxYmyXGU/2FGAYS/1y1uCkd+lEQY0RYPoTRMZVwgYizUIiNtr006XJjqPOJWyk8H1Bjzr3 3ikrS46jrMf5fPnOo2g+EzfxjWxut7ARAlz6AS/soOZAuFROd/Ni2+AsAazARN8wGCxFQXpU J8swJX20Qz2JcvR/BFhutklErCz/OqiOzbBm1NpFJRJ323zpiP6Id0Ium4lehwB3iM4ldnBP B67VeR5ucY7AZdWRfIvC25MI5pynPexTLwJqNiNNIIVCnSOSON31Ho0ORbOgDuFfLkEjaAyJ ZqWd46wDHsGDrhqzzy3RuQU1/coyzs92HibQoGT8vhU+ef2WZJhcp9caAHmRrlgtMus+VyFm /4CaZfi40gBAYXWP3mGmaZOfAtiBSVqWvje9ZYLHsbdeVAOMD96VJfsLUYJJtYNt75Ljd3B4 nzVchYekDITc1Wdd1XTAp2iAZuyNatCQYUTYHB9YQrygiF9CWtthY9GH6YKkXAc3LQL5ZZJo zMtIq1s29xDFWbK/Sozd574oNAwfRinn1zcNiCiJjY+JsYySwvM897iXw3u6ChQUHDp5Ztm+ +WthlHBXJ4OZwV+F8KKOvih+FW84CoGk+VoUkqUf9ReIR2+8IVjJyHroOUwJsUAdUfKyjeAi VSfCxBeq+iU+90599zAhKalqYa1ErUgRBQKTzGDtbvvbHvU5Guux4NEQd2kRzGFWTOm4rima MVU0+r4bK8NkmFMvtcuCL1s168/u4biqrIGnARpGHLHMwaiBr96eyTUxsxTruhK26MfsAGxH EyOo4EINbKMMcLjMVgQOAt7ML7dhaFMwmHfvaYvPUH3xC5r577bA09cCB+B1X5GJ7xvPYJ5n Oos5JwM5wqkhkZ4O9qKlHkJpX+JMmRFVLg78JgQB8nli1NzmF1FZJXdDA7w4Y2ONYsWbBl6e mfMifqQnalYy2rDb2E3SSrH091biMlcoxtN1lIDewmEl9etaiXbB/GNHenbjzi5zymrF8poP 3RzckpoOeOH9TAuiskrs6VA3e1eLEXxx6Az4wJheK7lo42AX2bKamM8UQpI1F5M6HpSJ1C34 5nBoFsIkl/WkAXZ1yE1H0BkwxAmoRqd6SWa8P2a8w+581XWrNYrbmJCpYbFlvc/Pf4MuQ==
Ironport-hdrordr: A9a23:98OqRqlGxzGayAR1+WXHKWtV5SfpDfIC3DAbv31ZSRFFG/Fwz/ re5cjzpiWE8Ar5OUtQ5expWsG7K080kKQZ3WB/B8bEYOCLgguVxeJZnPTfKl/bakvDH4dmvM 8KH8cRaeEYZmIK7/oSlTPId+rIt+P3lZxA692urEuFBjsaEJ2Ipz0JcDpzPHcGOTV7OQ==
Ironport-phdr: A9a23:BeCBmBU1UQNu3Aj/Vfv0KxPYSbPV8KzAXzF92vMcY1JmTK2v8tzYM VDF4r011RmVB96dsqsbwLON7ejJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglWijexe65+I Ai0oAneq8Ubj4pvIbstxxXUpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohV bBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu4 7ttRRT1jygJKiM58HrPisNukK1bvByvpxt6w4HOYYGVMud1cqfScN4eQGZMWNtaWS5cDYOmd 4YBD/QPM/tEr4fzpFUOrAexCga3Cez11jNIhGX70bEm3+khFwzNwQwuH8gJsHTRtNj7MroSU eG6zKnJ1zrIculY1inh6IjSbB8qvPaBU7RtccrQxkkvFhnKgk+Kp4P7IzOVzPoCvnOB4OV7U uKjkWAnqwBorzWp28wjhZXHiJgPxVDY6SV23pw1JdugRUJmb9CpFJReuSGbOoV4QM4vXW5lt Ds0xLEYpZK1fDUHxZQmyhLBa/KLb4aF7g/tWeuNLjp1im5oday+ihus/katzPD3WMez0FZPt CVFk9/Mu2gM1hzU7ciHT+Fx/lq62TqX2ADT6/1EIUAplaXAMZIhw7kwmoIJvkvYGS/6gkv2j K6Qe045+eao8/zqbqjoq5OALYN4lA/zPro0lsChHOg0LBICUmiH9eikybHu81H1TK9UgvA4j KXVqo3WKMUVq6KjDQJY054v5wuxAju6ytgUg3cKIExfdB6ajYXkOUvCLf/kAfq5nl+iii1kx +rcMb3kGpjNLmbMkLPmfbtl8E5czRYzzchG65JTF7EBPOj/VVXqu9zfFBM5PQ20z/7mCNV7y IweRXqCDrKXPa/Oq1OE+OwiL/eWaIMLpTrxNeIp6v7ygXMhnF8SZ6ip3Z8ZaHCiGfRmJl2Ub 3zxgtcAHmcKvxAxQPbwhlKcTT5TfWi9Urkm6T4gD4KqF4nDRoG1jLyHxyi0BodWaXxeClCQD XfocJ2JV+oUZCKIPsBhiiAEVaSmS4I5yR6usxb6x6N7IerQ5y0Xronu1MN15u3WjRE97yZ4D 8Wb02GXTmF7hHkERzEs3PM3nUsogFyEyO1zh+FSPd1V/fJAFAkgf9aIxOtjTtv2Rwjpf9GTS V/gTM/wUh8rSddk58IPbEd0U+2vkgrOl36OHr4alrXNPJEo6K/01nL2Ych8nSWVnJI9hkUrF 5McfVatgbRyolSCb2aou0CQlqLwML8ZwDaI7mCIi2yHoEBfVgd0F6TDR3EWIEXM/pzi/k2Xa bioBPw8NxdZj9aYI/5ud9zmjFwAfPr/Itn2ami23WmxVl6T3r3ZVIPxYC0G2TnFTk0NkgQd5 3GDYCwjByigqiTmASB0GHrmaUSq/+gt4GijQBoSyAeHJ1Zky6Lz+hMRgqmETOgP27sfpCo7g y5xAE742M/KTdOKoExvfc2wePsb51FKnSLcvg15ZNm7Krx6w0QZeEJxtl/v0BN+DsNBl9Irp TUk1lg6L6XQy15Hez6CuPK4crTKNmn/+gyuYK/Kyxnf1tiR4KIG9PU/rR3qogioEkMo93gv3 cNS1jOQ4ZDDDQxaVpyUMA5/0wV7qLDTJBEw+5nZ/XRmNu+6s36K2t4kAvck1gf1Z81WY+uPE A7/FdFfBtD7cbdy3QLyNFReZboUqfZnWqHuP+GL06OqIut6yTevjGAdpZt4zlrJ7S13DOjBw 5cCxficmAqBTTb1ylm74aWV0chJYy8fGm2nxG3qHolUM+dWYIcECG7oG8Cr3NhWjpTqHXBZv g3GZRtOyIqydByeYkaolylN1EsWqDqflDeiwhR9mTZvoKvVj2Tehu/lchQAIGtCQmJv2EztL YaDhNcfREG0bgItmXNJ/G7CzrNA7OR6JmjXGwJTejTuantlWe22v6aDZMhG7NUptz9WWaKye wLSRrn4qhocmyTtegkWjBQmdj6rs9PBkgBghUqUJnE1onuRdcxrxBjZ7cDRXrYIhWJAHnIiz 2OOXB7hZ5Gg5p2Mmo3Gs/yiWm7ENNUbaiTtwY6a9WO66WBsHRyjjqW2k9zjHxI91Hyz3N1rW CPU6RfkN9Cwj+LgarghJBAyQgKkuK8YUslkn4A9hY8dwy0fj5SRpz8clHvrdM9c0uT4ZWYMQ jgCx5jU5hLk0QttNCHspcqxW3ODz89mf9T/bHkR33d3y91LB6adqoRJgTF4ilOyqkTfYLIu+ 1VVgetr83Mcj+wT7UAJ0ySSA7lUJUREJyHEnh6Pqd6/5vYyBi7nYf2700xwmsqkBbeJr1RHW Xr3TZwlGDd58sR1NF+fmG228Izvf8PcKM4CrhDB2QmVlPBbcdhi85hCzToiI2/2umcpjvI2n QA7l4/vp5CJci1s5P7rW0UAcGeuPYVJo2qr1PwG1seOg9L2Rc0nQG5RGsGxF7T1SFdw/bzuZ QOCGXg7t2vdFbPDFASS7ltrtTTBEtiqMXqTOXUUn+J5XBfbKUlWgQQZRjR8kJ9cdEjixcrqd Fp162IK/lC+rxJKxvhpMx32Sn+ZrwCtIjYsFMrOcVwPsVwEvh6Od5XOt6okFiVctPVNtSSrL WqWL0RNBGANAAmfAkz7e6Op7p/G+vSZAey3K73PZ6+PoKpQTaXAw5XnyYZg8zuWU6fHdnB/E /023FZCVnFlCozYnTsIUSkeiyPKaYaSuh69/iR9qs33/u7sXUrj4o6GCr0aNtsKmVj+maCYK +uZnzp0Mx5D048UgHjV1P4W1llUhSAvPzihHLIctDLcGaLdnqgEanxTIyh3NcZO8+c9xlwUY pad0IivkOQh1LhoUwQgNxSpgMyiaM0ULnvoMVrGABzOL7GaPXjRxMqxZ6qgSLpWheESthuqu D/dHVWwW1bL3zTvSR2rNvlByS+BOxkL8qWgcxlsAC7bQc78ZzWyOtgxgzx8kthWzjvacHURN zRxaRYHtrqL8SZRmelyAURa62Z9aO6Zh2CQ5e6eJJdc4p4JSmxk0uld5no90b5c6ipJEed0l CXlpdlru1i6k+OLx1KPtTJHoDENioPZ5S2K2I3C84VYHHHZ4FQE52LWBRVY/7ON5fXmsacWx NmdzcrO
Ironport-sdr: gutj4v/cmjkS+bE8Y7ZttkPMuwdb3Hf318ek9sKi+A0KPN6f37HMWOfrfueX9roijKT/Z/d2hM /8+qTl3qaIZLkDtWxuIGs4qOgzllZe3uhckqnyxaocNx2PHOASQApaDuGJdHQcdZ1Pk+R/DCme ENnLeWwAQZHjWzxNOMUtKP1wrjDhV8hBM2ZJbrPB1hvfh8RAY8xFAe/7KcL9St5+NOKCsg6H6X jgpMDmvSdsVlWBIemsfqXZXakmw/3dW+++Bcbs/qx1cKEVces+1kow5Q+ltOYUf8i3gdpn+hn9 TXBpOIp5QRVYePJqPQ519c3a

Dear all,

The FME Tutorial series continues!

This week we have the pleasure of listening to Dr Tim Nelson's (Brown University, US) lecture on

Friday June 17, 2022, at 3 pm CET. His talk is entitled "Building Formal Methods Classes for Everybody". The abstract of Dr Nelson's lecture is here:

We think math and logic are beautiful and essential. If you teach a formal methods class, you probably agree. Some of our students, perhaps the most visible to us, also feel that way. But what about the other 90%, the students who aren’t inclined to take our classes or any non-required “theory” class at all? If formal methods really are essential, we owe every student an opportunity to explore them, discover useful ideas, and maybe even fall in love.

Some people derisively respond to a more inclusive class by assuming it will coddle students. On the contrary, these students have their own strengths and abilities that we can and should design rigorous content around. After all, many of them will build the technologies we all use every day, so deepening their view of formalism satisfies both moral and selfish imperatives. This talk will cover the design space of such a course: pedagogy, tool choice (sometimes building our own!), assignment design, and even TA hiring. I’ll talk about things that have worked well for us, other things that didn’t, and what we learned along the way.

The zoom link is https://aboakademi.zoom.us/j/64254430116. The event will last

about an hour.

Warmly welcome!!

Best wishes,

Luigia

PS1: the tutorial series webpage is updated with the list of speakers who

confirmed their lectures in 2022 here:

https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/.

Please note that we have a speaker every month from now on until October!!

PS2: the June 2022 lecture is scheduled exceptionally on the 17th of the month, instead of the usual last Friday of the month, due to the summer holidays of some of the involved academics.

__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
www.users.abo.fi/lpetre

[Coq-Club] FME Tutorial series lecture this week, June 17, at 3 pm CET: Dr Tim Nelson (Brown University, US) on "Building Formal Methods Classes for Everybody", Luigia Petre, 06/13/2022