coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce

From: Alex Shkotin <alex.shkotin AT gmail.com>
To: coq-club AT inria.fr
Cc: Luigia Petre <Luigia.Petre AT abo.fi>
Subject: Re: [Coq-Club] Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce
Date: Wed, 8 Dec 2021 11:55:51 +0300
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=alex.shkotin AT gmail.com; spf=Pass smtp.mailfrom=alex.shkotin AT gmail.com; spf=None smtp.helo=postmaster AT mail-il1-f180.google.com
Ironport-data: A9a23:28/JSawCEKSlm/ihHB96t+dZxyrEfRIJ4+MujC/XYbTApDoq1DJUn2tKXj2GOfuCMGX8fY8lPYqz80tVvJaGyIQyOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA/3z27AsFehsJpPnjkrrYueJQUVUj/nSH+OmUL6cYEideCc9IMsfoUI78wIGqtUw6TSJK1vlVeLa+6UzCnf9s9JHGj58B5a4lf9alK+aVAX0EbAJTasjUFf2zxH5BX+ETE27ByOQroJ8RoZWSwtfpYxV8F81/z91Yj+kurPyc0lPQ7qLeAbX2iIQVK+ljRxP4Cc1187XNtJGMRYR22jPxo4vjowd7fRcSi9xVkHIsO0ZXgkeCCF9OrFH/pfIJHG+tYqYyEiun37Ekq43UxlpZeX0/c4uWT0UnRACExgGaQnGjOarypqgW+x0j4IiKtPqNcURoBldIZvxGa5zG9acV/yfvZkAyG1l3oYUTKeHc5FMMXwyeEuVSgNrEVIzJJIave6OumPbTTx9vAvN8PNupzLHpOBq+L3kMd6Qe9jTAMsMzh7eqWXB8GD0RBodMbSiJfO+2irErofycenTAur+1YFU98KGRHWWz20XTRwSDB61+KnhzEG5XN1bJgof/S9GQW0anKC0ZoGVYvF6iCfsUt0gtx54HOgz6QXLwa3Ri+pcLnZRVSZPMbTKq+dvLQHHFTa1cxfBCjlmsbnTQnWYnltRhVteJgBNRVI/ieQ4ocfpLjUtTEzfTv4Cczq7LJOIsw==
Ironport-hdrordr: A9a23:M6iCtqPnjt1DxcBcTqKjsMiBIKoaSvp037BN7SBMoH1uE/Bw+PrFoB1273PJYVUqNk3I++rqBEDoexq1yXcf2+Qs1NmZMzXbhA==
Ironport-phdr: A9a23:RG8pSxbZvxFTqxqajLPyw4X/LTG80IqcDmcuAnoPtbtCf+yZ8oj4OwSHvLMx1gaPAtqQsqodw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PObwlShjewY7x+IAiqoQnMq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4rx1QxH0ligIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNwdWGRBQ91RVzRfDYygc4sBAe0BPeNCoIn8oVsFsB+yCAaoCe/qzDJDm3340rAg0+k5Hg7G0g4vEdIAvnrXsdv7KrsdXPuvw6XU1zjOde9a1Sv/5YXObxsvoeuMXbV1ccfJ1UQvEx3Kj1qNooL4PzOV1eMNs3Sa7+pmSOmijHQoqwVvrTmg3MsskYnJhoESylDY9CV5xp04JdK9SEFhYN6kFIFcuD2dN4tzW84vRXxjtykmxLMco5G7YDQKx4o9xx7Zc/GKfImF7B3iWeifPTp1h3xodr2+ihu87EWuyu3yWMe03ltJoSRIkNnBu34R2hLc98WKS+dx80i91DqR2Q7d5fxILEYpnqTVLJ4hx6Q/lpsVsUnbES/2mVn2jK+Ldko/4OSo6uPnbq3np5+bMI90jxvyMrk1msG5HO82MRAOUnCF9eig0LDv5070TbVQgvErk6TUsYrWKdkYq6KlBQJez5wt5AylDzi81dQVhXkHI0xBeBKAl4XpPkvBIPH8DfumglSslCpny+nIPrH8AZjBMmLPkLjmfbZ65E5czBQ8wcpD6JJTD7ENOPPzWknvu9zEFhI1LRC4zuL9BNh+1o4SQ3+DD66YPa/IrFOF5f4jL/GJZIAPuTb9L/Yl5+TpjX88gVISZ62p0oUYaXyiBfRmI0aZYX3wgtcAF2cHpQU+TOnwh12DVT5ffWq9X6U55j0jEoKpEZ/DRpyxgLyGxCq0AppWZnlfBl+QFXfoap6LVuwXaCOSJ89hiiYLWaKgS48nzxGutRX1x6BpLurOqWUkssfo08Ew7OnOnzkz8yZ1BoKTyTKjVWZxy0oMSi9+56B8plB8zB/X2Kx1k7pDFd9U+/JPegg/PJ/Yied9DoahCUr6Yt6VRQP+EZ2dCjYrQ4d0noZmi6dVHtyjilXC23PvDeZFz/qEA5s79q+a1H/0dZ4VI5nu26wojl1gScxKZzTObktX+A3aBoqPmEKcxf7CSA==

Dear Luigia,

Is there any chance to watch the video after the session?

Best,

Alex

ср, 8 дек. 2021 г. в 11:45, Luigia Petre <Luigia.Petre AT abo.fi>:

Dear all,

In the FME Teaching Committee series of tutorials, we continue on Friday,
December 3rd, with Assoc. Prof. David Pearce, who will present his experiences
of teaching software verification with Whiley. Please note the special time
(9am CET) - David lives in New Zealand and is 12h ahead of CET, so for him the
talk is at 9 pm.

Here is the info in our webpages:
https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/

And here is the zoom link: https://aboakademi.zoom.us/j/64254430116

Everyone welcome!

Kind regards,
Luigia Petre (on behalf of the FME Teaching Committee)

[Coq-Club] Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce, Luigia Petre, 12/08/2021
- Re: [Coq-Club] Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce, Alex Shkotin, 12/08/2021