coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] FM Teaching Tutorial on June 16, 3 pm CEST: Prof. Laura Kovács, Vienna University of Technology, Austria: Teaching Formal Reasoning at TU Wien
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 June 16, 3 pm CEST: Prof. Laura Kovács, Vienna University of Technology, Austria: Teaching Formal Reasoning at TU Wien
- Date: Fri, 9 Jun 2023 13:14:45 +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 D7E8C10F1D2D
- Ironport-data: A9a23:yRKqjKmtuWQr+lg7MGmNXYTo5gyfIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIXDW6BP/+CNmr8f9pzaIXi9EtQsJGDm9JrSFc6qS0xRVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayajp8B56r8ks156ys4GJA5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1wLk0Kfo4E4t1VHHpt3 KYdAjIHSDaq0rfeLLKTEoGAh+w4KdXzeYQCpjdpxzafA/dOrZLrGv6So4UDhnFq35oIQK62i 8kxMVKDaDzkfhxAO15RMJ8ihuqAj3P4NTNZwL6QjfNuuTGJkFMvitABNvLRc+arQvxKwH+xt zib72n4JUsQZIyAnG/tHnWE3bWTxX2kA+r+DoaQ/flzxVaX22Y7EwwTTVL9oP+ji0f4Vcg3F qAP0jErsbB381G3CND3WFu2oRZooyLwRfJOMeEGqwKR0pH2/h26LzIBZDxLTvoP4ZpeqSMR6 neFmNbgBDpKubKTSG6A+rr8kd9UEXNKRYPlTXRbJTbp8+UPs6lt1k6SH4cL/Lqd1IeuQGigq 9yfhHVWulkFsSIc/4ualbwtqw6xvJvUJuLezl+PAz79hu+VTLWiepCo9lXA8b5uLYCdR1+N1 EXoduCF6fwWSJaQiGqESuJLErDBCxe53N/03wQH83oJrmrFF5ufkWZ4u24WyKBBaZtsRNMRS BWP0T69HbcKVJdQUYd5YpiqF+MhxrX6GNLuW5j8N4QePMItJVfcoHowPyZ8OlwBdmBwzsnT3 r/GKa6R4YoyVfUPIMeeGb9Mju5yrszA7TqLFc6TI+ubPUq2PyTJEelaazNin8gl7a6YrQjTu 8peOteN1xhcVuz/YSDRuY0eNlMXNjA8FPjLRz9/K4a+zv5dMDh5UZf5mOpxE6Q7xfg9vrmTp BmVBBQHoGcTcFWbdW1mnFg4Mui+NXu+xFpnVRER0aGAiiByOdbysP5GH3b1FJF+nNFeITdPZ 6FtU6297j5nE1wrIhxNMMmvn58obxmxmwOFMgysZTV1LdYqRBXE9pWgNkHj/TUHRHj//8Yvg ayS5iWCS7o6RiNmEJn3btCrxAiPpnQzor95cHbJBdhxQ3/S1rZWBRb/tdINGPFUGy7/nmOb8 y20HSYnofL8pt5p0dvR2oGBgYSbM8p/OUt4H1jevauEMCrb2kGBwoZwdvmCUh6AdWHz+YSkP f50ydOlOtI5vV96iahOOJc18rAfvvzB/6R7yCZgF1X1N2WbMKtqeCS67JMep59zya98kirof EC2o/1xG6iDYeHhG34vfDsVVPyJj6woq2OD/MYOARvI4QFs9+C6SmRUBR6HjRJdIJZTMI8Ix eQAutYc2zegiygFY8q3sSRJy1uidnAwcb0rlpU/Mr/ZjgAGzlJjY5uFBBTmv7CJSdFHaXcxL hGu2aHturV7x2j5SUQVK0Tj5+RmqKorhAFr134HflSApcrEjKQ43TpX6jUGcT5WxRRmjcN1H HRnF2RpL/6wpxNtqslJTj2pEjpgHzycwFT6kHESpV3aTm6pd23DF3I8MuCz53Ik83pQUzxY3 bOAwkP3eGzOUOCo+QVqQm9jifjobeIpxz34gMr9Qvi0RcgrUwTqkoqFRDQuqSK+JegTmUeeh +1h3NgoWJ3BLSRK/pEKUdiL548xFiKBCndJG8x63aUzGmrZRjG+9B6OJ221eeJPP/b6ylC5O eM/OvNwUwmC6wjWogA5HaIsJ5pGrMwt7vcGeZLpIjcIiKvAjzxLtJmLyDPyqlV2SPpTkOE8C LjrSRS8LkKqi0FpxlD99Pt/BjLgYP0vRhHN4+SuweBYS7MBqL5NdG8x4JuVvlKUEgtW+kKJj gbAZov97e9r+aJzlaTCT4RBAASVL4vodeKqqQqcjfVHXentA+zv6TwHiwDAEVxNHL0zX99Xq +y8gOTv1hmYgIdsAnHrpZaRMoJou+OwZbNzGeDqJiB4mSCiZpfd0yEb8TrlFa0TwcJv3ej5d Q6Wc8DqSMU0Xe1az3hrayRzNRYRJqD0T6X4rxOGsPW+JUkB4DPDMe+Y2yflXUNDeg8MHq/OO Av+lvKtx9Jf9YpyXU5OQ7ksBpJjO1bsVJc3b9C753HSEmCshUjEobf40wYp7TbQEHSfDcLm+ tT/SwPjcAip8rT9pD2DX1eeYjVMZJq8vQUxQq7Z08Vzlyj/C3Maa+0XNtMIC/m4V8A0OI7QP FnwgKkKUE0RngiotT316tOlUAb36ikmJILiPjJwl6+LQ37eOW5DaYeNMg9p6XAwdDqLICRL7 z0B0iWYAyVdCa2FiQreCjJXTAunKj7nKqo0xH3A
- Ironport-hdrordr: A9a23:EDm92aOeCj3LQ8BcTlajsMiBIKoaSvp037BK7StMoHtuA72lfq GV7YwmPHrP4gr5N0tApTntAtjmfZqkz+8Q3WBzB9mftWvdyQiVxdpZnO7fKlTbckWSygc679 YHT0EUMrLN5DZB4foSmDPZLz6IqOP3kpxA/t2utktFfEVQcbhp6wo8IgyHEktwLTM2eqYRJd 6m/NNOozflQWgacsj+JnRtZZm4m/T70Kn9eBYDCloc5BKQgSjA0s+AL/F05GZhb9pU+8ZezU H11zbh7qGv98q20APYygbonuhrpOc=
- Ironport-phdr: A9a23:ZsN3aRxu7qEqw+rXCzIrwFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z hGZua09xwKZFazgqNt6yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/6y9pHJbAhEmDmwbbxyI Ri1sA7cqtQYjYx+J6k+zRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3Q qBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4 qx2TxDmlToHNyUh8G7JlsNwkKxVoBWkpxNlwo7UZpyeOP5xc67ZeN8XQ3dKUMRMWCxbGo6yb 5UBAfcdPehWrIf9pkcBohSlCAa2GO/vyCVFimPq0aEn1ekqDAHI3BYnH9ILqHnaqsj1NKYdU eC01qbD0C/NYO1K2Tfn9ofDbxcsr/eRXbJxfsrRyFMgGxnfgFqOtYzlJS2a2/8XvGeA6OpsT +yvi28+pgx3vzOgydsihJPTiYIJ1lDL6z95wIAtKNCkVEJ2f9GqHIVMuy2GOYZ7XN8vT390t SsmyrALu5C1cSYFxZg5yRDTdeCKf5WI7B7+W+icLil1iWxldb+jiBu/91WrxOP7VsmxyllKr yxFn8HXtnAVzRzT686HSvRj8Ue7wzqAywfT6uRcLUAwlqrbLIAhzaQsmZoIq0jMAij2mEDug K6XcUUk/e2o5/76YrX9vpOcOI50ih3+MqQzgcOzG+U4Mg8WU2eB4uu806fv/UP4QLhMk/Y4k bHZvYjHKckVuqK1GRFZ34g95xqlETuqzcoUkWMHIV5ZYB6LkobkN03ULPzmA/qznU6gnCpqy v3IJLHsDJTAImDenLrvYbpx8VBQxQQtwdxF+p5ZCLMMLOj8V0PtstHTEwU3PBauw+n9DdVwz oMeVnyLAq+eKK7SqlqI5v43I+WVY48VpSr9J+I/6PH1in81g1Edfaix0ZsWbnC3AOhmLl2Eb XfintsNC3kGswQgQODwllGOTCBfa2yyUq4g/j07DZipDYbHRoCjmryB2yK7E4VQaGBbC1CMH nboeJ+eV/kWdi2SPtVhnSIfWLe7UIAh0guitAH7y7Z/KOrb4TUXtYj/29ht++3TiRYy+CRpA 8iFyWGCU3l0nn8URz8xxK1wvUt9yk6a3adkh/xYCMdc6uhSUgY6MJ7c1/Z1B8rzWgLHZNeJS UypTs+oATErHZoNxIpEaEFkXt6mkxrr3iywArZTmabBTMg/9buZ1HzsLe58zWzH3e8vlQ91b NFIMDiCm69w9gGbP4PViUjRw4K3dKsd1Wj1+XuZwEKHtkYeXg8mAvaNZmwWekaD9Yex3UjFV bL7VeVP2mppzMeDLvEPcdj1lRBcQ/ylPt3CYmW3kmP2BBCSx7rKYpC5M34F0nD7D04J2xsW4 W7ALRI3UwO8om3fBXpWGE71bmvl++44pnLoBlQswVSyZlZ6n6Gw5gZTgPWdT/0J2bdRnDogp DR9Wm6ww8jbI9OKoExvffYUessztXFA02+RrAlhJtqgIqRl00YZaBhytljy2g9fEYBciY0ts W9sxQB1b6yZuL9YXxWf2524erjeK22ouQuqd7aTwFbVltCf5qYI7v087VTlpgCgUEQ4oT1h1 JFO3n2Q64+vbkJaWI/tUksx6xlxpq3LKig76YTO0HRwMK6y+jbc0tMtDeEhx16uZdBaeK+DE QbzFYUdCa3MYKQOhlmmbxtCBO1O7qMcNsmhMfWHmeaqMOtmgDO6nDFf+okumkmI9id6VqvJx 8NcmKnehFDdEW2l1hH86pOS+8gMfzwZE2uhxDKxAYdQYvc3ZoMXESK0JMbxwNxihpnrUnoe9 Vi5BlpA1tX6HHjaJ1H7wwBU0lwa5HK9ni7thRhpkj4op+yn0TDUzszrfh1BNG8BFwwAxR/8Z JO5idwXRh3iSxUomxqso37327JWjK11KC/dQA0bNzizJGZkXKyqs7OEaMMa85IkvxJcV+Gka EybQLrwy/cD+xvqBHAWhDUydjXw/478gwQ/kmWWanB6sHvef8h0gxbZ/t3VA/BLjHIKQyxxi D+fAVbZXZHh2ciVmJbK9NizS3isfpRZdm/lzMuMuTC66mtjHRCk16nowpu9SlJ8i3ahkYQyH SzT5A7xeIzqy7i3PYcFNgFzCVnw5tA7UoByn40shY0BjH0Th5Gb530Cwi/4NdRW3767bWJYH GVThYSOuk6/gRclcyraouCxHm+QycZgedSgN2Yf2yZnqttPFL/R9rtP2y18vlu/qwvVJ/l7h DYUj/U0uxt4y6kEvhQgyiKFD/UcB05daGbIihWH7tn4lKhLfmuHeLK3kkR/14PEbvnKskRHV XD1d413Vwtt78p+ORT03WHp56ntct6WY9NZ5Xj221/QyuNSLpw2jP8DgyFqbHn8sXMSwOk+l RVy3Ju+sdvPOyB38am+GBIdKiztapZZ5GT2lagH1JXzvcjnDtB7Fz4MRpetUf+4DGdYq6H8L wjXWDwk9iXCQuKZR1TFrh0/9DSWScjjNmnLdiBClZM4H0PbfhUFxl1MOVdy1pdrEwyjgcv8b AF17ywY7VP+thZWjOxpfxj5WWPCqAr6XSwsRt6SKRNX6gxY5gHbMKn8pqpyGSpc45Gs/heVJ CqebgJEF2ANXkWcHxboObzm5MGcobnFQLPhcr2XOO7I8LwHH6CBwZblumd/1xCLMMjHfnxrD vlhn1FGQWg8AcPS3TMGVy0QkSvJKc+dvha1vCNt/Ii597zwVQTj6JHqafMaOMhz+x2wnaaIN vKBzCd/JzFC05oQxHjOgLEB1V8WgitqenGjC7MF/SLKSavRnOdQAXt5I2trM9BU6qsnwgRXE dXelsuw0aNkyPc/DBFLVB2pm82kY9ALP3DoNF7DAxXuVvzOLjnKzsfrJKKkHOQL1KMO7Ef24 2/BVRK7bVHh33HzWhuiMP9BlnSeNR1a4sSmdwp1THLkR5TgYwG6N9l+iXs3x6c1jzXELz15U 3A0fkVTo7mX9S4djO94HjkLymdkIuiN3R6U8/PVAp8ctr1lA24n8oASqGR/0LZT4CxeEbZtn zDOq9d1v1y8uvKK1iIiVwdS7D9Bg8SFvA8xXMeRvokFUnHC8hUX6GyWABlfvNppBOrkvKVIw 8TOnqb+QN+t29ve+o0SBpqNQCpiGHMrNlznGWyMZOPkZSWuKXmagFFB1viY8Tubr8piwqU=
- Ironport-sdr: 648325c7_zO0r8p9fWcwheU8ZmLB4qzbaFQQVaEyDZLXx5f5yfmU+uPu 78yrV+F1IJ5zdjnmM6uahv4/k9jp84RFzKscSog==
Dear all,
The Formal Methods Teaching tutorials series continues with a lecture on Friday,
June 16!
Prof Laura Kovács, Vienna University of Technology, Austria will lecture on her
experiences in teaching formal methods on Friday, June 16, 2023 at 3 pm CEST. Laura's
teaching career spreads on more than 15 years, with more than a decade at TU Wien. Some
of her courses have hundreds of students, which is both a wonder as well as a challenge.
For instance, in a recent paper, Laura explains how to manage generating exam sheets
in this context, with the awesome detail that the generation of these sheets uses formal
methods! For more details, here is the link to that 2021 paper: https://link.springer.com/chapter/10.1007/978-3-030-81097-9_15.
Laura's lecture on June 16 is entitled "Teaching Formal Reasoning at TU Wien".
More information about our lecturer can be found here: http://lkovacs.com.
The zoom link for Laura' 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] FM Teaching Tutorial on June 16, 3 pm CEST: Prof. Laura Kovács, Vienna University of Technology, Austria: Teaching Formal Reasoning at TU Wien, Luigia Petre, 06/09/2023
Archive powered by MHonArc 2.6.19+.