* Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce
[not found] ` <sympa.1638950998.31656.329-HplSY+IhBYUwFerOooGFRg@public.gmane.org>
@ 2021-12-08 8:39 ` Luigia Petre
0 siblings, 0 replies; only message in thread
From: Luigia Petre @ 2021-12-08 8:39 UTC (permalink / raw)
To: Luigia Petre
Cc: FMxSOCandBPM-iEixELS/QsY1GQ1Ptb7lUw,
acl2-wNjIbZq71S3S/e0kzai8jze48wsgrGvP,
agents-iAiprmkJuSSVc3sceRu5cw, all-ZTXTTVQmh+NpF8Fk/HG8vA,
announce-jNDFPZUTrfTs/wu/ztDUQnmj43O/BPlP,
announcements-xIg/pKzrS1+z+1QnA0p122WpMmwukr/P2LY78lusg7I,
appsem-bvfaE1kav+4XOLVLeuLo0qTdHet3F+8AWV23jfQ1LcY,
ascens-mrEvjEli4ZB4G4PSnj+uLxvVK+yQ3ZXh, ast-FV+mU1CFjts,
cade-YidNj35/HaM, categories-59hdLBrVOVU,
comm-theory-EkmVulN54Sk, complog-qcTL/1vZYtiVc3sceRu5cw,
concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/,
coq-club-MZpvjPyXg2s@public.gmane.org
[-- Attachment #1: Type: text/plain, Size: 108 bytes --]
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[-- Attachment #2.1: Type: text/plain, Size: 881 bytes --]
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)
[-- Attachment #2.2: Type: text/html, Size: 1730 bytes --]
^ permalink raw reply [flat|nested] only message in thread