coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Luigia Petre <Luigia.Petre AT abo.fi>
To: Luigia Petre <Luigia.Petre AT abo.fi>
Cc: "FMxSOCandBPM AT cs.unibo.it" <FMxSOCandBPM AT cs.unibo.it>, "acl2 AT utlists.utexas.edu" <acl2 AT utlists.utexas.edu>, "agents AT cs.umbc.edu" <agents AT cs.umbc.edu>, "all AT cost-ic0701.org" <all AT cost-ic0701.org>, "announce AT informatics-europe.org" <announce AT informatics-europe.org>, "announcements AT lists.artist-embedded.org" <announcements AT lists.artist-embedded.org>, "appsem AT tcs.informatik.uni-muenchen.de" <appsem AT tcs.informatik.uni-muenchen.de>, "ascens AT maillist.ifi.lmu.de" <ascens AT maillist.ifi.lmu.de>, "ast AT cs.vu.nl" <ast AT cs.vu.nl>, "cade AT itu.dk" <cade AT itu.dk>, "categories AT mta.ca" <categories AT mta.ca>, "comm-theory AT ieee.org" <comm-theory AT ieee.org>, "complog AT cs.nmsu.edu" <complog AT cs.nmsu.edu>, "concurrency AT listserver.tue.nl" <concurrency AT listserver.tue.nl>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "dbworld AT cs.wisc.edu" <dbworld AT cs.wisc.edu>, "dipartimento AT di.unipi.it" <dipartimento AT di.unipi.it>, "ecoop-info AT ecoop.org" <ecoop-info AT ecoop.org>, "envisage-all AT envisage-project.eu" <envisage-all AT envisage-project.eu>, "events AT fmeurope.org" <events AT fmeurope.org>, "facs-events AT jiscmail.ac.uk" <facs-events AT jiscmail.ac.uk>, "fg-arc AT lists.uni-paderborn.de" <fg-arc AT lists.uni-paderborn.de>, "fmics AT inrialpes.fr" <fmics AT inrialpes.fr>, "fm-announcements AT lists.nasa.gov" <fm-announcements AT lists.nasa.gov>, "hol-info AT lists.sourceforge.net" <hol-info AT lists.sourceforge.net>, "ic.eatcs AT di.unipi.it" <ic.eatcs AT di.unipi.it>, "lics AT research.bell-labs.com" <lics AT research.bell-labs.com>, "lmo-conference AT email.polytech.unice.fr" <lmo-conference AT email.polytech.unice.fr>, "maude-users AT cs.uiuc.edu" <maude-users AT cs.uiuc.edu>, "moca-announce AT list.it.uu.se" <moca-announce AT list.it.uu.se>, "nvti-list AT cwi.nl" <nvti-list AT cwi.nl>, "nwpt-info AT lists.ioc.ee" <nwpt-info AT lists.ioc.ee>, "petrinet AT informatik.uni-hamburg.de" <petrinet AT informatik.uni-hamburg.de>, "pvs AT csl.sri.com" <pvs AT csl.sri.com>, "resist AT laas.fr" <resist AT laas.fr>, "risks AT CSL.sri.com" <risks AT CSL.sri.com>, "sal AT csl.sri.com" <sal AT csl.sri.com>, "sci-diku-prog-lang AT list.ku.dk" <sci-diku-prog-lang AT list.ku.dk>, "security AT FOSAD.ORG" <security AT FOSAD.ORG>, "sensoria-core AT di.unipi.it" <sensoria-core AT di.unipi.it>, "theorem-provers AT ai.mit.edu" <theorem-provers AT ai.mit.edu>, "theory-a AT listserv.nodak.edu" <theory-a AT listserv.nodak.edu>, "theory AT cl.cam.ac.uk" <theory AT cl.cam.ac.uk>, "theorynt AT listserv.nodak.edu" <theorynt AT listserv.nodak.edu>, "tucsnews AT lists.utu.fi" <tucsnews AT lists.utu.fi>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "yices AT csl.sri.com" <yices AT csl.sri.com>
Subject: [Coq-Club] 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
Accept-language: en-US, sv-FI
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Luigia.Petre AT abo.fi; spf=Pass smtp.mailfrom=Luigia.Petre AT abo.fi; spf=None smtp.helo=postmaster AT smtp-out.abo.fi
Dkim-filter: OpenDKIM Filter v2.11.0 smtp-out.abo.fi 854F610D0567
Ironport-data: A9a23:KSxLZ6wWQCdUVGrIhp56t+d7xyrEfRIJ4+MujC/XYbTApGkr1zIBy2dMXmGCa/yPZTD0c9l2ad63oEoOsJ/SndBlOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA/3z27AsFehsJpPnjkrrYueJQUVUj/nSH+OmUL6cYEideCc9IMsfoUI78wIGqtUw6TSJK1vlVeLa+6UzCnf9s9JHGj58B5a4lf9alK+aVAX0EbAJTasjUFf2zxH5BX+ETE27ByOQroJ8RoZWSwtfpYxV8F81/z91Yj+kuq3+blVPRaPOewGEjTxYWsBOgDAb/XR0iP1hcqBFMwEK011lnPgpoDlJnbitSAgoN+v0lfgHXjFRGSY4M6wuFLrvcCPn4ZzJliUqdFO2mq8wUR5qVWECwc58BngL/vgFIhgWfxWbjqS3xqi6Q69inKwewGPDKNtK5zc62WiMVbB+VcqWG+OTtYEGyGxl3oYTCamLTtQ/Qj9JQBTmQhRpBk0xNpMbiL7w0yG7KykwREm9vq8r+y3U0RA32bLqdtTUEuFmjP59xi6wzl8qNUyjav3bCDCe9dZB2mmpmveKmj7nHosYE/u295aGRXX7KnM7UHUruZmT+JFVSXJSn/pWIUtS9CtGQW0a6hmwVtekN/GniCfsg/PfMua818Uz4gbLxKu8D8OxboQbZmYpVeHKf/PaidDnOpFlUj8p6fFSXGWpdE+g
Ironport-hdrordr: A9a23:IElopKMHWCwnM8BcTv+jsMiBIKoaSvp037BL7TEVdfUxSKalfq+V8sjzpSWYtN9vYgBZpTntAsm9qArnhOdICOoqTNWftWvd11dARbsKheCP/9SKIUzDH4BmpMRdmxYSMqyVMbDH4PyKhjVRrLsbsb66zJw=
Ironport-phdr: A9a23:BGxvWxSw0LFkEnvGH+LRQIZemtpsotmYAWYlg6HPa5pwe6iut67vIFbYra00ygOTBMOEtLkV2qL/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNfglEnjiwbLF9IBiyqQjaq9Ubj5ZlJqst0BXCv2FGe/5RxWNmJFKTmwjz68Kt95N98Cpepuws+ddYXar1Y6o3Q7pYDC87M28u/83kqQPDTQqU6XQCVGgdjwdFDBLE7BH+WZfxrzf6u+9g0ySUIcH6UbY5Uiml4Kl2VR/okz8HOCAl/2HLhMJwi6dbrwigpxx53oXYZI6YOf57cq7betwXWWRMUtpMWyBYHo+wcpYEA+4cMetYqoXwoUYFoxmjCgm2HO7hyiFGiGLq3aM00OohHwPJ3A08EN0Bq3nbtsn5NKUIXOyp0KXE0DPOZO5W1zfn74jIdwgsr/eRXbJxfsrRyFMgHB7fgFqOtYzlJS2a3fkKvmad8upgVO2vi289pA1ruDag2NssipPXiY8O0F/L7iJ5zJw7Jd25UUN2Z8OvH5RMuS+ALYR2Xt8iTH9yuCY80rALuYO3ciYFxpkkxhPSdvOJfYiU7x/sSOudPDV1iXZqdr+7hhu/8EutxvHzWMS6zlpHrTZJnNbSu34CyxHe69aKR/1g9Umv3jaP0hrc6uBCIU0smqrbKoIhwr4tlpUIq0jDHyj2lF33ja+RcUUk//Kk6/n8Yrjgu5SSNJd0hxnjPqkghsCzG/o0PwYQU2SB5+iwyaPv8Vf5TblWlvE6j6fUvIzAKcgFqKO1HRVZ3psi5huxFTur3tUVkWEaIF9LZB6LlZblNl/QLPziEPuygVahnC1kyvzaOLDqH4/DIWLZkLj7eLZw805cxxQ3zdBY/59UEbQBIO7rWkPos9zYEwM5PxauzOn8D9VxzI0eWWOXDq+YNqPdr0OI6/oyL+SCeIMZoijxJvY76/L0k3M1hEERcbOp0JcLcHy4G+5pI0SdYXrimNcBFmIKsxI4Quz3iV2CXj9TaGyoU6wm+D47FJimApnYS4+3m7OB2z23HpNXZmxeEFCDDW/od5mYW/cLcC+dPshhkiUdWbe9T48hyAqhuRThy7tnK+rU4jcXuYji1Nhz/e3TlAs9+SZ6D8SHgCmxSDRQg2IHRjZ+5K1ju0E1nnOe0Kd5irpgGMBJ6ttAWAB8O5+KnMJgDNWnfh/AcdaAAG6rXs+rSWUVU9M+wtZIW0thAdiKhxrEmSSrVexG34eXDYA5p/qPl0P6INxwniiavEHAp0IjXtMKMnC6wKd18E7dBtyR+618v6+gcuIS3XyVnI9s5WOEuwdWUVwpOZg=

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