Skip to Content.
Sympa Menu

coq-club - [Coq-Club] FME Teaching tutorial on Friday, February 25, at 3 pm CET --> Prof Shriram Krishnamurthi, Brown University, US

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FME Teaching tutorial on Friday, February 25, at 3 pm CET --> Prof Shriram Krishnamurthi, Brown University, US


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 Friday, February 25, at 3 pm CET --> Prof Shriram Krishnamurthi, Brown University, US
  • Date: Thu, 17 Feb 2022 09:36:29 +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 73D5010EF08C
  • Ironport-data: A9a23:0FUgEKNknJhNiD/vrR2skcFynXyQoLVcMsEvi/4bfWQNrUpz1TEBz GQfWG6Ab/rfazb0KY8ka9+09BkCvpPSzdE2THM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8kk/jgqoPUUIYoAAgoLeNfYHpn2UILd9IR2NYy24DjWlzV4 LsenuWGULOb824sWo4rw/nbwP9flKyaVOQw4zTSzdgS1LPvvyF94KA3fcldHFOkKmVgJdNWc s6YpF2PEsw1yD92Yj+tuu6TnkTn2dc+NyDW4pZdc/DKbhSvOkXe345jXMfwZ3u7hB2VsuAt9 vNJtKWQVAgyI47etMgTdwdXRnQW0a1uoNcrIFCktNCLikrbbz3lyfIoAkBe0Y8wo70vRzsVr 7pCcWpLM0jra+GemNpXTsFIm8UsLcCtBI4DoHxIxDveS/gnKXzGa/+Tuo4Ig2lh7ixINavnQ 5QmchxSVUzdfUJLEHkHVYwOo9790xETdBUD8g7N+/Vsi4TJ9yR616GoO97IcPSRVMBNlwCZo HjH9iL3GHkn2Me30j+Z6jerm/OJlCn8HowTfFGlyhJ0qEG+9jAtLhkXbHumruKkqVySd9x7N UNBr0LCspMO3ECsS9D8WTixr3iFogMQVrJs/wsSs1HlJk38uFnxO4QUctJSQIJ+6JJrFVTGw nfTxYm2WmQHXKi9FBqgGqGoQSSaFwl9wYUqWTIeThZtDzLL+tlo0EunojpLK6mokt3qFCrsi x6Lqiw3gbl7sCLm/76+4UiChC+w4JHDSUg75207v15JDCskO+ZJhKTxtzA3CMqsyq7CEjFtW 1Bfx6CjABgmV83lqcB0aLxl8EuVz/iEKibAplVkAoMs8T+gk1b6I9wNuGogfh8wa5xYEdMMX KM1kV4IjHO0FCbyBZKbn6rsV6zGMIC+Som+DK+8giRmM8MqHON4wM2eTRXKgzizzxNEfVAXJ ZaWbcuhCz4GCKl7yya7ROEc0LwiwGg9yHjQWIuzyAXP7FZtTCP9dFvxC3PXNrpRxPrd+G39q o8PX+PXlUk3eLCgM0H/rN5CRXhXfCNTLc2n9KR/KLXZSiI4Qz5JNhMk6e57E2CTt/4Lxr6gE 7DUchIw9WcTclWceF/VNC4yM+K0NXu9xFpiVRER0Z+T8yBLSe6SAG03LvPbpJErq75uy+BaV f4Ad5nSC/hDUGqV8j4aK5f89dQweBOujAOIHiykfDlhIcQ+F1yRoofpLln16S0DLiurrs9i8 beu4QXWHMgYTAN4AceKNf+ilgvjvXUUlO9ocVHPJ91fJBfl/IRwdX74hPhxLcBVcUfPwT6T1 gC3BxYEpLeT+dFloIGR3a3d9tWnCepzGEZeDlL317fuOHmI5HenzK9BTP2MIWLXWlTy9fjwf u5S1fz9bKAKkVsW4YpxF7FnkfA369f1/uII1QF4BDDMckjtA7lnZHeHhJEduqpIz75fmA23R kPRpIMEaeXRYJvoQAwLOQ4oTuWfzvVIyDPc2vI4fRfh7yht8bvbDEhfY0uWhCpGIOcnOY8p2 7586tUT9xT6jQc2dN+MiWZa9j3UfHAHVqwmsLAcAZPq1FRxlAESOcSEB3+k+oyLZvVNLlIuf m2eip3EiukO3UHFaXcySSXA0Oc1aU7iY/yWIILu5mhlm+YpQtcs2QFJtDMqUkJcxBIB3eMb1 q2H8aFqDf3mwtuqrJErs6OQ98VpDReevELwo7fMvHOMVFGmDwQhM0VkUdtgPyklH6Z0dzJcu r+ZoIogvfAGY+mpthYPtYVZRzAPgDC/GsAuWCxqIihdI6QHXA==
  • Ironport-hdrordr: A9a23:e65oca61ubgdwjn2TQPXwOTXdLJyesId70hD6qkoc20yTiXqrb HWoB17726ItN5yMEtLpTnkAsS9qBznhPpICOUqXItKPzOWxFdATrsSircKqgeIc0aTmYBgPM xbAstD4ajLfD1HZLHBkWuF+rgboOVvu5rY/ds2h00dNj2CRZsQlTtENg==
  • Ironport-phdr: A9a23:KUe3zhyRRxjZTNjXCzL8wFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z haZuqUm1AWBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg94dhQ0qDZ3NI0T6KPn3c35yR 5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZoKujvFYPekdq72/qw9pDQbAlEmCSxaq5uI RurqgncqtMYipZ4JKYrzRvJrHpIe+BIym5tOFmegRXy6Nqu8ZB66yhftO4v+MBGUaXhYqQ3V qdYAyg8M2A0/8Lkqx/ORhaS63QGU2UWlh1IAxXZ7Bz/Q5z8vDf2uvZ71SKHOsL4UK00WS+67 6h1VBDolCkJNzk88G7Ni8xwir9QrBauqhF7xoLZZpyeOvhjcaPHZd4URXRPUNtNVyJPAY28b pcAAOUaMOlCs4X9pUEDoQeiCQWxAu7k1z9GhmXx3a0/y+kvFxzG3A0vH9IPqnvfsc/7O7kOU eCv0qbD0DLOYfVL2Tf854jIcwoureuWU71ubcrR01cgGhjfgVqLrozpJT2V1uUUvmWd8uFvW v6hhXQ9pAFtvjig2N0sio/Ri48Iyl3J6Dh1zYc7K9CkVEJ2Y9CpHIZSuiyUKoZ7X98uTmJnt SsnxLMKpYK3cDYXxZkl2xLSa+GKfpaV7h/gUOucJypzinxieLK6nRmy8E6gx/X9V8mz11ZKq zBJksTXtnwV2BzT69SHSvtg/ki6wzqP1gfT5vleLk8vkqrXMZAhwr82m5EOskrDBjf7lFj4g aOKbEko5Oal5/r9brn4u5OQKZV4hwHiPqg2h8CyD/g0PhIQU2WV5+iwzqDv8Ez3TblQgPA7k 7HVvI3UKMgHvKK1HQFY3pg55xqiDTqr0s4UkHYbIF9DZRmJlZLmO0vUL/D9Ffq/g0qjkDNsx /3eJb3hB4nNLmDanLfmYLZ991RQxxAowtBY/Z5UBLABLOryWk/3qtPYEgc0PxG6zur7Etlxy I0TVXyVDqOHLa/er0WE6+IzL+WUYY8aojf9K/wr5/70in85nEcQc6+03ZsWZ3C4H+5pL1+Db 3XyntcBC3kFsxEkQ+Pxj12OSzBTZ3eqU6I6/T40EJimApvbRoCxnLyB2z+2EoBOamBcFl+MC Wvod5mDW/oUdC2SJdZhniUYWrilVo8uzgqjtBT6yrpiNurb4DcUtZPl1Nhv5u3cjws+9TJuD 5fV72bYBWpzhyYDQyI89KF5u010jFmZm+AsiPtBUNdX+vlhUwEgNJeawfYsWP7oXQeUWsqIR 1evCu2rHSs8BoYV3t4BYk87I9i+lB3r1iCtRbEUwe/YTKco+77RiiCib/12zGzLgfVw57FHa s5GNGn8w7V66xCWHYnC1UOQi6etc60Ymi/L7maKi2SU7wlDSAAld6LDUDgEY1fO68zj7xbmU r6hCL1hCgZd08OqI6FNLNPo3h1dXPm2AN3FeCqqnnuoQxOBx7eCdo3vLkEA3SrcAQ48nhwJ8 F6PPw94CCby63nGAmlIElTiK1jp7fE4qH6/SRosyBqWakR6y7ev0gUQmeTZTO4PmLsOv2Evq l2YBX6b2NTbQ5qFrgtlJuBHZM8lpU1A3iTfvhB8OZqpK+ZjgEQfekJ5pRGm0RI/EYhGncUwy RFihANvNaKV1k9AfDKEzNjxPLPQMGz74BGobebfxFjf1N+c/qpH5u4/rh3vuwSgF0xq9HsCs ZEd92ad6ZTDSjIfTYj8ek898F50pvCSYyUw4Z/VyWw5KbO94XfJ39MkAvdgyw71JowHdvnfT kmoSpdcWpD9TY5i00KkZR8FIu1Ioas9Psf8MuCDxLbuJuFr2jSvkWVA5ol5lEOK7St1DODSj PNni7mV2BWKUzDkgRKvqMfyzMpgeDAdH2P58SX4HoN5b6d1O4gKQzTLQYX/1pBlipjhVmQNv nq+BlwH0YmRdAaIYnT01woW20Vd8jS33CC/yTJziTQgqKGSiTfPz+rVfx0CImdXRWNmgD8AO KCMhssBFAitZgktzl6+4FrigrJcr+J5JnXSRkFBe273KXtjW+2+rOjKb8lK4ZIu+SJZNYb0K XSHS7H8ql0i3j/5EkNXzjd9eTDitpjinhN8gX6QNz4q9yKfI5oqg02GvpqBHbZYxXIeSTN9i CXLC1TZXZHh5tiSm5rZ86i/W2+nSpxPYHzuxIKEujG84D4iChm+kvav39z/RFFhiWmhjIMsD 3yS6kukMeyJn+ygPOlqf1dlHgr54st+QMRll5cowYsX0j4cj4mU+nwOlSHyN89a0OTwdiloJ 3ZDztjL7QziwEAmIGiOwtezcmiczcpoIeG3fnkb8is36IZECe3Hid4M1TswuVe+oQ/LNLJZg zYSyPJo0HMGmewhsQAqiCucSON3fwEQLWnnkBKG6Mq7paNcaTO0cLS+40F5mMioELCIpgwPE Ga8YJopGjV8q9luKF+ZmmOm8ZnqIZODCLBb/g3RiRrLiPJZbY48huZfzzQyInrz5DUk07Jp1 Ec2m8vh5s7dcj4rpfjhSh9Aam+sPJtVoGq3y/wHxIDLh+XNVt1oSDAHVd7vUO7uHDsOvP/qM RqDCnsyqz+aH7HbAAOSunB9t3yJHpWiNnWaPnhfw9QHJlHVJUpUhB0YUWchhpB/EwmsyNbgd ENw/ihX7Vn94kxFzuYiX/XmekHYogrgKjI9SZzFaQFT8hkH/UDed8qX8uN0GShcuJyntg2Eb GKBNUxOCikSV0qICkqGXPHm7MTc8+WeGuu1LuffKbSIp+tEUv6UxJWpmoJ49jeIP8+LMzFsF fo+kkZEWHl4HYzelVBtA2QPkDnRaseAuBqm0jZystj69+n3Hgvl4s2BCvoaMNli/Qy3nbbWN +OUg3UcS34Q3ZcNyHnUjbkHiQdJ02c0LGPrS+1a83OVH8ey0udNAhUWaj1+Lp5N5qM4hExWP NLDz8ny3fh+h+I0DFFMURrgnNuobIoEOTLYVhuPCUCVObCBPTCOzdvwZPb2baBRg+Rd8SW9p SyWO0bpOXKNlnO6MnLnefEJlyydMBFE7culdQ1xDGH4UN/8Qga+LMcyiiAqh7Q+gTXENCRPV Fo0O1MIpbqW4yRCh/x5EGEU9XtpI96PnCOB5vXZIJIb2ROOKi1+kKRU4SZio1O6xChOQ7p7m XmLxjaPi0qjjvHKzSd7FhNErXBFhdDT1Xg=
  • Ironport-sdr: o7hCVDxZOJbt5lkva2MmBVaLSlllgBIHVlmmNFSxFImMhGH7mWgQPEkSIdK7u6rbAWg6y4dsFp CRmSy1g8BGrrA6R/R+3ysTHwPm1e2+6i57cnr8Uexl0zwn1emGjH3NTfgW7keOIOFq2EzUpEtb SEJTreM1aGVOOBsPmrdWP7+LnCgVfa97Tejits8s/GpJl2kLWVD0aWMDm5a0e/Dz1RG4TrxYsj QwbU3otXtZZYb0ECf6+lcB32X4wqCqFxevlk3rYX25ZIfINplO4soT+F7QTFX/FebKHY26M7Eg 1o8a6e6pNr78XGhHaZnJvuai

Dear all, 


We restart the FME Teaching Committee's series of tutorials in 2022 with Prof. Shriram Krishnamurthi's lecture on Friday, February 25, at 3 pm CET. His talk in entitled "From Tests to Properties: Property-Based Testing Using Relational Problems". The zoom link is https://aboakademi.zoom.us/j/64254430116


The event will last about an hour.


Warmly welcome!!


Kind regards,

Luigia Petre (on behalf of the FME Teaching Committee)


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/


PS2: the tutorial series aims to increase the awareness and sharing of tools and techniques used for teaching formal methods



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



  • [Coq-Club] FME Teaching tutorial on Friday, February 25, at 3 pm CET --> Prof Shriram Krishnamurthi, Brown University, US, Luigia Petre, 02/17/2022

Archive powered by MHonArc 2.6.19+.

Top of Page