[TYPES/announce] Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce

Luigia Petre Luigia.Petre at abo.fi
Wed Dec 8 03:39:35 EST 2021


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://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!FAdtrRwUsWPFlMluFB_woOYw0-ZSiN-FKhvkIZcKtovLib-bhM0A03rxmD5OFUU2WME53Ray-0HnbQ$ 


And here is the zoom link: https://urldefense.com/v3/__https://aboakademi.zoom.us/j/64254430116__;!!IBzWLUs!FAdtrRwUsWPFlMluFB_woOYw0-ZSiN-FKhvkIZcKtovLib-bhM0A03rxmD5OFUU2WME53RbwnFJgWA$ 


Everyone welcome!

Kind regards,
Luigia Petre (on behalf of the FME Teaching Committee)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20211208/14d30360/attachment.htm>


More information about the Types-announce mailing list