* 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
only message in thread, other threads:[~2021-12-08 8:39 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <sympa.1638950998.31656.329@lists.uu.se>
[not found] ` <sympa.1638950998.31656.329-HplSY+IhBYUwFerOooGFRg@public.gmane.org>
2021-12-08 8:39 ` Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce Luigia Petre
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).