coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FME Teaching Tutorials series continues on September 30, 2022, at 3 pm CEST: Prof Michael Leuschel (Heinrich-Heine-University Düsseldorf, Germany) on "Teaching Formal Methods and Theoretical Computer Science with ProB"

From: Luigia Petre <Luigia.Petre AT abo.fi>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] FME Teaching Tutorials series continues on September 30, 2022, at 3 pm CEST: Prof Michael Leuschel (Heinrich-Heine-University Düsseldorf, Germany) on "Teaching Formal Methods and Theoretical Computer Science with ProB"
Date: Fri, 23 Sep 2022 11:21:39 +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 2D80A10CFEDF
Ironport-data: A9a23:brzo6aMjua0PNRvvrR2Ek8FynXyQoLVcMsEvi/4bfWQNrUpw1jYGn GAcUGuBPP/bYmv9ctgkb9nnoRlTvJ+EnIQ1S3M5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/ngqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5CZaQTNNwJcaDpOsfrS8kg35pwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/yxWZcV7FLH7zXeXqvG38EDdKSLVm6tODkw3MqQT/d19DjQbn RAYAGhlghGrnOeq2Pe8V/Uqj84kasfqVG8dkig7lXeDVqxgG8mZBfiSjTNb9G9YasRmOevfa MsQLwJicA7NSxRFPREZCfrSmc/12iOmKG0A8Dp5o4ILzETZ7ixN24HmKcDwKvWrGeB8nVuh8 zeuE2PRWUtGbILAklJp6EmEjejW2Cj/RYg6D6y97vcsgVuJx2VVBgd+aLegieK8llb7XM9Db UUe/WwgrMDe6XBHUPHmYjmHrWXe5ydEBfpSHuw1wQqK8aDbtlPx6nc/chZNb9kvtckTTDMs1 0OUk96BOdCJmObLIZ563uzFxQ5eKRT5PkdcPXNZFVdtD83L+ttp3kyRJjp2OPPdszHjJd3n6 x6rxMTUr4kOl80Wv0lQ1Qqf3mr0znQlZjUy+xnXQW++8ktXZYihboqkgWU3AN5bKZqBC16co D4Nkc/Y4uFm4XCxeM6lHrxl8FKBvqbt3NjgbbhHRMVJG9OFoCPLQGyoyGsiTHqFy+5dEdMTX GfduBlK+LhYN2awYKl8buqZUpp0lvi/TIi/CKuEN7Kih6SdkifbrUmCgmbNhwjQfLQEyv9X1 WqzL579UidDYUiZ5GvvF4/xLoPHNghlnz+LG8+gp/hW+aafaWKYRLFNLFqDcucl4aCCoQTW+ tAXNMaRyAhEGOrvChQ7AqZORW3m2UMTXMisw+QOL7brClM/SAkJVqGNqZt8Jd0Nt/oPyo/go CrnMmcGkwWXuJEyAVjQApyVQOmxDc8XQLNSFXFEAGtELFB5Ptv1tvdALcNvFVTlncQ6pcNJo zA+U53oKpxypv7volzxtLGt8dwwRwfhng+UISuubR42epMqFUSD+cbpckGrvGMCBza+/5l26 bCx9BLpcbxaTSRbDeHSdK2OyXG1tiMjg+5cZRbDDeRSX0TOy7JUDRLNoMU5GfxRFiWb9ACmj 16XJTw6udjyp5QE9YiVpKKc8KasPehMPmtbOGj57YezZTTo+2mi5aRiU++4Wy/Xe02p2aelZ MRTl+rdNt9elnl0koNMKZRZ5oNg2MnO/ph0lh9FGlfPZHSVUoJQGGGMh5Rzh/cc141nthuTc WPR3NtjYJGiGt7vSXwVLyobNtWz7+kewGTu3K5kMXfBxXFF+ZScWh9vJDiKsitWKYV1PK4Dw esMvM036RS1uiE1M+Sp3zxlyGCREkMuC6kXlIkWIIvOuDoZzltvZZ/9CCiv7qqfNPRKEE0he QGPiIT42r9z+0vlclgIL0br49Zzv5o1lSpx/AcwHGjRwtvhrd0r7SJV6gUyH1h0zA0Y8uddO VpLFkxSJIeOzjI4mfpGXGGIMCNCDS2/5Ube5QYolmrYbk/wTU3LDjQ3Ftis9XAj0VB3X2Zk7 pDB70i9ShfsXsX6/hVqaH5fs/a5EOBArFzTqv6oD+GuPsccYwO8poSMeGBRiR/sIf1ptX39v eMwodpBM/zqBxUx/Z8+JZKRj4kLaRa+I2dHf/Ft0YUJEUzYexCwwTK+EF+wSOwcO8319VKEN OI2KvJtTxie0AO8ngIfD4MIIJ52m6cn38pdW7XJIWVdjaCTgAA0u73t9w//plQRffNQregHJ Lj8SRe+A02LpH4Nm2byvMhOYWW5Rt8fZTzD5uO+8cRXNpQlrO1MWF04iYXsm3C7MQF2ohedh yLYRqrs1+c5459dr4jtNaRiBguPNtL4UtqTwj2zq9hjadDuM9/EkhE88H3LHl1xE+MKetJVk b+tjobG7Hndtuxrb1GDyoizKaZZwO6TAsxVC5vTB1tHl3KgXMTM3UMyy1qgI8YUrOIHt9iVf CrmWs6ebtVPZsx8wkdSYC1gExowLaT7Q6PjhCGlpcS3FRkv/l3bHeyj6EPWQzlXRg0QN736L z3EifKky9RbjYZLXRE6XqAsR9cyJVL4QqIpeuHgrTTSXCHinlqGvaCkjhY6ry3CDn6fCsvh/ JbZXV7EeQ+vvL3ThsRs22CoUsb70F4m6QXxQq4cxzKyoyu/EHZDKvkBd5wMDddak0QeEX0+i C7lNAMf5efVBFyosikQJPzqVADZCO1m1hLROGky503NA8upLNroPVainxuMJ19/cDylwuDPx RTyPJHvFkDZ/6yFjtr/KhB2bSmLCx8aKr81FZjBrvHP
Ironport-hdrordr: A9a23:9UU/lKzxROuXnpTNFPu+KrPwAL1zdoMgy1knxilNoERuA6qlfr OV7Y0mPH7P+UsssBNJo7q90cy7LE80mqQFhbX5UY3CYOCEghrVEGgB1/qE/9SIIUSXnYIzu5 uIGJIOa+EYeGIK6PoSlzPIcerIruPmzEniv5an854kd3AQV0hP1XYCNjqm
Ironport-phdr: A9a23:t4sRfhUE84lvS/bXrun05EAKrm7V8Kz7XzF92vMcY1JmTK2v8tzYM VDF4r011RmVB96dsKkawLGH+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtGiTanb75/I hS7oQrfu8QSnIBvNrs/xhzVr3VSZu9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3Q rJEAjsmNXs15NDwuhnYUQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6 bpgRxj1hicaLD456H/YhdBsjKxVpxKhogZww4/SYIqIMPZzcafQcdYcSGFcXMheSjZBD5u8Y YUREuQBIehWoYr8p1QSohSzHhOjCP/tyjJSmnP6wbA23uI8Gg/GxgwgGNcOvWzSotXoNacSX uG1w7PVxjvZcfxWxS3955bVeR0mp/+MQLNwccXQyUY1DQ/LlEufqZD/PzyLzekCqXOU7+16W eKhim4qsgd8qSWgyckwkIfGnJ4Vykza+iVjxoY4PcG0RVJ1b9OkEJVdqTyXOot2T88/Q2xlt ic3x70It5OmYSUG1ZQqygPQZvGJcYWE/BLuWeWTLDpmi39pZLOyiRa0/EO9xOP8Ucy030xLr ipDitTMtnAN1wHJ5seaVPRx5kag2TGI1wDW8O1EPFs0mbLUK54g3r4wlocTvl/ZEi/3n0X6l LWZeV4j+uSy5eTnY7PrrYKfOY9skgzyL6ojltClDegmPAUCQXKX9fqh2LH950H0QKlGguUrn qTXrJzWP9oXq6CnDwNPz4ou6hiyAy2o3dkZhXULMVxIdA6dg4T3NVzCPur0Aeq9jlmuijtmy OzKM7v8CZvXNHfDiq3ufbNl5k5c1gUzyddf6opPCrEEPPLzQlb9tNvFDh8lKQC72f3oCNJn2 oMQWGKDGq6ZMKXMvl+U/u8jPueBaJMPtDrjJfUp+eTigWEklVMDZ6Wk3YcbZGi9Hvt8IkWZZ XTsgs0GEWcPpgcwSvHqiFyNUT5SfXm+Rbgy6S8nCIK8E4jOXZqij6eG3CuhEJ1WZ3hKClaXH njwbYWLR+8MaD6OIs9mijEISKCtS5U92hG2qA/6171nI/LI9S0frJLvzcR65+nOlR4p7jF0F MSc02SVT25uhG8IRjk23Lp+oUNn0FuD37J40LRkEokZ7PRQFww+KJT0zupgCtm0VBiLNoOCT 0/jSdG7CxkwSMgwypkAeRAuNc+li0XnwiulArZdr7GXHpF8pobB3nfwLoBFxmrc2YEohV5gT MoZZj7uvbJ26wWGX92BqE6ejav/KfV0NE/l8W6CyTDLp0RESEtqVq6DW3kDZ0zQpNC/50XYT rboB650ehBZx5ukLa1HIsbskU0AXO3qbfDDYm2wkiGICAqSy5uFZo2sdWROlD7FBh08mhsIt W2DKRB4Ay6gp2zECzk7MU/ubELlt9FztGm2ZkY+yEeEbh4pzKK7rzgSg/HUUPYPxvQEtSMm/ i1zB0q41snKBsCovA99ZOBbfM976V1Ak2zY3+BkFrqnKa0qxlsXcgAt+ljryw0yEIJL184js HItygN2b6OeylJIMT2Cj9j2PfXMJ2/+8QrKCeae00zC0NuQ5qYE6egp41TlsgazE0M+8nJhm 9BL2nqY75/OAUIcS5X0Gkow8hF7ofndbExfr8vwyHxjMKDyijLewd8BDeEijBihPp9ePK6CC A7uApgCHcH9YOcumlWvclcFJLULr/ZyZZj8MaHfguj2ZLUF/nrul2lM7YFj31jZ8iN9TrSNx JMZ27SC2QDBUT7gjVCnu8SxmIZeZDhUEHDsrEqsTINXeKB2ep4GTGm0JMjijPFjhpHsUjhg+ UK5CnsP0sjvdxvYPDmflUVAkF8ap3Cqg37y6yF1nDAg6JKSwDbD6+3oc1wJOyQYDHknhlDqL 4+uitkcV0X9dAklmiyu4kPizrRarqByR4XKaX9BZDO+b2RrU6/q86GHf9YK8pQj9yNeTOW7Z 1meDL/7uRoTlS35TSNSwzUydjfivZuc/VQyrH+cI3d66kLUZdt97R7V45rSRLZd0yEHSy9xl TTMTgHnZ5/zpo/Szc6Z9L3mH2u6HoVeayzq0Z+NuE7ZrSVxDBuzkury0tzrHA4m0DPqgtxjV CHGthH5McHg06W3N/4if1E9XQSkrZAhQMcky9F22clDvBpSzo+Y9ncGj2rpZNBS2KakKWEIW SZO2dnepg7sxExkKHuNgYP/THSUhMV7NLzYKisb3Dww68dSBeKa9rtByGFRv1u3rAuXWfVhh Do1wPEprnAbybJs2kJl3mCGD7YeEFMNdwjxlhuJ5paGoblNaU6me7/22ks0zrXDRPmS5wpbX nj+YJIrGyR9u95+PFz723r28oj4edPUYIFbpliOnhzHleQQNIMpm69Am398IWyk9y5AqaZzn Vl00Jq9poTCN2h94PfzHEtDLjOsL8ILpmO01v4YxJ3Mmdr2RdM4QG1DXYO0H6vzSHRI7q6hb V/UVmBkzxXTUbONGAOWrUB7szTDGoyiPHyROHQDi9tjDBibL0hCjA1Gay4ikNg0EwmrwMH7c QF351Vzrhb5rBBI1+5lZQLnXCHarQGkcDYwTJGHNFxd6QQK5l+JY53DqLssQmcBp8bn9VzUY juSYwACZY0QcmqDAV2rfryn5N2atvOdGvL7NfzFJ7OHte1ZUf6Mg5OpyIpvuTiWZI2JOTF5A vs311AmPzgxEtnFmzgJVy0clj7cJ8+dqhCm/yRrr8e5uP31UQPr7IGLBvNcK9JqsxyxhK6CM aaXikMbYX5A0YgQwHbT1LUF9EUXlzkrcCSxV70KsmjDTeOYm6NaCQIadzImNMZM6PFZvEEFM srah9Xpk79g26duUxEfDganwJjzI5FScATffBvdCU2GNaqLP2jOysDzO+anTKFIyf9TvFu2s CqaFEnqOnKCkSPoXlahK7Ip7mnTMRpAtYW6ahsoB3LkSYesTgC6P95+ywU73ac5rnrAMigSM HIvFiEF5q3V9i5ejvhlTiZZ6WF5KOCfhyuDx/LdNo5TtuZ3RC1+kKRU4T5prtkdpDEBT/tzl izIq9doqFzzieiDxA1sVx9WoypKjoaG1a2NEazT8d9OWCSdlPrsxX6VFwxPoMZ5TNTlvOZey 4qX/EoWAD5I9JTa/JlEb/U=
Ironport-sdr: 632d96c6_456QOHsqi94PLJr436iYMnQexGIyU7F2ABY/PdtmPi1Y9vS tsJxo385p5og32+vTjVOKNyybHuQZJaSWGCj9Pw==

Dear all,

We continue the Formal Methods Teaching tutorials on the last Friday of September with a lecture on ProB!

Prof Michael Leuschel (Heinrich-Heine-University Düsseldorf, Germany) will lecture on Friday September 30, 2022, at 3 pm CEST with a talk entitled "Teaching Formal Methods and Theoretical Computer Science with ProB". More information about our lecturer can be found here:
https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages/our-team/team/michael-leuschel.

The zoom link for Michael's 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 here: 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 Tutorials series continues on September 30, 2022, at 3 pm CEST: Prof Michael Leuschel (Heinrich-Heine-University Düsseldorf, Germany) on "Teaching Formal Methods and Theoretical Computer Science with ProB", Luigia Petre, 09/23/2022