From: Luigia Petre <Luigia.Petre-N9GROUpt6ZU@public.gmane.org>
To: Luigia Petre <Luigia.Petre-N9GROUpt6ZU@public.gmane.org>
Cc: "FMxSOCandBPM-iEixELS/QsY1GQ1Ptb7lUw@public.gmane.org"
<FMxSOCandBPM-iEixELS/QsY1GQ1Ptb7lUw@public.gmane.org>,
"acl2-wNjIbZq71S3S/e0kzai8jze48wsgrGvP@public.gmane.org"
<acl2-wNjIbZq71S3S/e0kzai8jze48wsgrGvP@public.gmane.org>,
"agents-iAiprmkJuSSVc3sceRu5cw@public.gmane.org"
<agents-iAiprmkJuSSVc3sceRu5cw@public.gmane.org>,
"all-ZTXTTVQmh+NpF8Fk/HG8vA@public.gmane.org"
<all-ZTXTTVQmh+NpF8Fk/HG8vA@public.gmane.org>,
"announce-jNDFPZUTrfTs/wu/ztDUQnmj43O/BPlP@public.gmane.org"
<announce-jNDFPZUTrfTs/wu/ztDUQnmj43O/BPlP@public.gmane.org>,
"announcements-xIg/pKzrS1+z+1QnA0p122WpMmwukr/P2LY78lusg7I@public.gmane.org"
<announcements-xIg/pKzrS1+z+1QnA0p122WpMmwukr/P2LY78lusg7I@public.gmane.org>,
"appsem-bvfaE1kav+4XOLVLeuLo0qTdHet3F+8AWV23jfQ1LcY@public.gmane.org"
<appsem-bvfaE1kav+4XOLVLeuLo0qTdHet3F+8AWV23jfQ1LcY@public.gmane.org>,
"ascens-mrEvjEli4ZB4G4PSnj+uLxvVK+yQ3ZXh@public.gmane.org"
<ascens-mrEvjEli4ZB4G4PSnj+uLxvVK+yQ3ZXh@public.gmane.org>,
"ast-FV+mU1CFjts@public.gmane.org"
<ast-FV+mU1CFjts@public.gmane.org>,
"cade-YidNj35/HaM@public.gmane.org"
<cade-YidNj35/HaM@public.gmane.org>,
"categories-59hdLBrVOVU@public.gmane.org"
<categories-59hdLBrVOVU@public.gmane.org>,
"comm-theory-EkmVulN54Sk@public.gmane.org"
<comm-theory-EkmVulN54Sk@public.gmane.org>,
"complog-qcTL/1vZYtiVc3sceRu5cw@public.gmane.org"
<complog-qcTL/1vZYtiVc3sceRu5cw@public.gmane.org>,
"concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org"
<concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org>,
"coq-club-MZpvjPyXg2s@public.gmane.org" <coq-club@inria.f
Subject: Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce
Date: Wed, 8 Dec 2021 08:39:35 +0000 [thread overview]
Message-ID: <e53112d257e74625aefa5d6368c7989d@abo.fi> (raw)
In-Reply-To: <sympa.1638950998.31656.329-HplSY+IhBYUwFerOooGFRg@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 --]
parent reply other threads:[~2021-12-08 8:39 UTC|newest]
Thread overview: expand[flat|nested] mbox.gz Atom feed
[parent not found: <sympa.1638950998.31656.329-HplSY+IhBYUwFerOooGFRg@public.gmane.org>]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=e53112d257e74625aefa5d6368c7989d@abo.fi \
--to=luigia.petre-n9groupt6zu@public.gmane.org \
--cc=FMxSOCandBPM-iEixELS/QsY1GQ1Ptb7lUw@public.gmane.org \
--cc=acl2-wNjIbZq71S3S/e0kzai8jze48wsgrGvP@public.gmane.org \
--cc=agents-iAiprmkJuSSVc3sceRu5cw@public.gmane.org \
--cc=all-ZTXTTVQmh+NpF8Fk/HG8vA@public.gmane.org \
--cc=announce-jNDFPZUTrfTs/wu/ztDUQnmj43O/BPlP@public.gmane.org \
--cc=announcements-xIg/pKzrS1+z+1QnA0p122WpMmwukr/P2LY78lusg7I@public.gmane.org \
--cc=appsem-bvfaE1kav+4XOLVLeuLo0qTdHet3F+8AWV23jfQ1LcY@public.gmane.org \
--cc=ascens-mrEvjEli4ZB4G4PSnj+uLxvVK+yQ3ZXh@public.gmane.org \
--cc=ast-FV+mU1CFjts@public.gmane.org \
--cc=cade-YidNj35/HaM@public.gmane.org \
--cc=categories-59hdLBrVOVU@public.gmane.org \
--cc=comm-theory-EkmVulN54Sk@public.gmane.org \
--cc=complog-qcTL/1vZYtiVc3sceRu5cw@public.gmane.org \
--cc=concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org \
--cc=coq-club@inria.f \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).