From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10623 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Luigia Petre Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.logic.acl2.general,gmane.science.mathematics.categories,gmane.science.mathematics.logic.coq.club,gmane.comp.mathematics.hol,gmane.science.mathematics.petri-nets 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 Message-ID: References: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============2102767538221992246==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="2271"; mail-complaints-to="usenet@ciao.gmane.io" Cc: "FMxSOCandBPM-iEixELS/QsY1GQ1Ptb7lUw@public.gmane.org" , "acl2-wNjIbZq71S3S/e0kzai8jze48wsgrGvP@public.gmane.org" , "agents-iAiprmkJuSSVc3sceRu5cw@public.gmane.org" , "all-ZTXTTVQmh+NpF8Fk/HG8vA@public.gmane.org" , "announce-jNDFPZUTrfTs/wu/ztDUQnmj43O/BPlP@public.gmane.org" , "announcements-xIg/pKzrS1+z+1QnA0p122WpMmwukr/P2LY78lusg7I@public.gmane.org" , "appsem-bvfaE1kav+4XOLVLeuLo0qTdHet3F+8AWV23jfQ1LcY@public.gmane.org" , "ascens-mrEvjEli4ZB4G4PSnj+uLxvVK+yQ3ZXh@public.gmane.org" , "ast-FV+mU1CFjts@public.gmane.org" , "cade-YidNj35/HaM@public.gmane.org" , "categories-59hdLBrVOVU@public.gmane.org" , "comm-theory-EkmVulN54Sk@public.gmane.org" , "complog-qcTL/1vZYtiVc3sceRu5cw@public.gmane.org" , "concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org" , "coq-club-MZpvjPyXg2s@public.gmane.org" Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Wed Dec 08 10:55:35 2021 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0a-00390e01.pphosted.com ([148.163.133.158]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mutfi-0000Is-Jc for gcst-types-announce@m.gmane-mx.org; Wed, 08 Dec 2021 10:55:34 +0100 Original-Received: from pps.filterd (m0172792.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.16.1.2/8.16.1.2) with SMTP id 1B86TKnM020363; Wed, 8 Dec 2021 04:54:56 -0500 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0a-00390e01.pphosted.com with ESMTP id 3ctaubbhd3-1; Wed, 08 Dec 2021 04:54:56 -0500 Original-Received: from RHIZOME.seas.upenn.edu (RHIZOME.SEAS.UPENN.EDU [158.130.69.24]) by leopard.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 1B89sj3d023439; Wed, 8 Dec 2021 04:54:45 -0500 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 1B89sjvM085678; Wed, 8 Dec 2021 04:54:45 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from mx0a-00390e01.pphosted.com (mx0a-00390e01.pphosted.com [148.163.133.158]) by RHIZOME.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 1B88eVHB079661 for ; Wed, 8 Dec 2021 03:40:31 -0500 Original-Received: from pps.filterd (m0172792.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.16.1.2/8.16.1.2) with SMTP id 1B7MhlWX032709 for ; Wed, 8 Dec 2021 03:40:30 -0500 Original-Received: from smtp-out.abo.fi (smtp-out.abo.fi [130.232.212.50]) by mx0a-00390e01.pphosted.com with ESMTP id 3ctaubb29n-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Wed, 08 Dec 2021 03:40:29 -0500 Original-Received: from smtp.abo.fi (macaroni.abo.fi [130.232.213.57]) by smtp-out.abo.fi (Postfix) with ESMTP id 854F610D0567; Wed, 8 Dec 2021 10:39:36 +0200 (EET) DKIM-Filter: OpenDKIM Filter v2.11.0 smtp-out.abo.fi 854F610D0567 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=abo.fi; s=mail; t=1638952825; bh=q+uhigYMfBXwpZRmhJgNEQgGJAggS2vFQUscdZIcwNY=; h=From:To:CC:Subject:Date:References:In-Reply-To:From; b=WcC8YBsndncSK30paB/qtE6pzwiHYHIIcaYe4oa5DP4f1pCXTRYAyqRKLYvHBLmRe rARUDhyXaAQ5j/EMLHqOIzMgwDaKlCwtBupNLEfrzrFpl+Kkiu8QF3j13RCjhxddY8 stU2A0vRV+1f7r2q0rILnilV5m/fxqkwzfl8Ri9k= Original-Received: from exchange.abo.fi (exchange5.abo.fi [130.232.177.24]) by smtp.abo.fi (Postfix) with ESMTPS id 52B2C187AA81; Wed, 8 Dec 2021 10:39:36 +0200 (EET) Original-Received: from Exchange7.abo.fi (130.232.177.40) by exchange5.abo.fi (130.232.177.24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.986.14; Wed, 8 Dec 2021 10:39:36 +0200 Original-Received: from Exchange7.abo.fi ([fe80::edc1:8389:d5f0:8f2d]) by Exchange7.abo.fi ([fe80::edc1:8389:d5f0:8f2d%5]) with mapi id 15.02.0986.014; Wed, 8 Dec 2021 10:39:36 +0200 Thread-Topic: Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce Thread-Index: AQHX7A8hp2E5LEHU8UW0jkFRfh59RQ== In-Reply-To: Accept-Language: en-US, sv-FI Content-Language: en-US x-originating-ip: [130.232.163.36] X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.790,Hydra:6.0.425,FMLib:17.11.62.513 definitions=2021-12-08_03,2021-12-06_02,2021-12-02_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 lowpriorityscore=0 malwarescore=0 bulkscore=0 impostorscore=0 spamscore=0 clxscore=68 priorityscore=0 mlxscore=0 suspectscore=0 mlxlogscore=812 phishscore=0 adultscore=0 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2110150000 definitions=main-2112080057 X-Mailman-Approved-At: Wed, 08 Dec 2021 04:54:42 -0500 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.35 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" X-Proofpoint-GUID: J2RF028vtLAGUVQ1ywEfGQ3MahZPQkZR X-Proofpoint-ORIG-GUID: J2RF028vtLAGUVQ1ywEfGQ3MahZPQkZR X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.790,Hydra:6.0.425,FMLib:17.11.62.513 definitions=2021-12-08_03,2021-12-06_02,2021-12-02_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 lowpriorityscore=0 malwarescore=0 bulkscore=0 impostorscore=0 spamscore=0 clxscore=1011 priorityscore=1501 mlxscore=0 suspectscore=0 mlxlogscore=999 phishscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2110150000 definitions=main-2112080064 Xref: news.gmane.io gmane.comp.science.types.announce:9989 gmane.science.mathematics.logic.acl2.general:1152 gmane.science.mathematics.categories:10623 gmane.science.mathematics.logic.coq.club:23104 gmane.comp.mathematics.hol:6308 gmane.science.mathematics.petri-nets:5885 Archived-At: --===============2102767538221992246== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============2102767538221992246== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_e53112d257e74625aefa5d6368c7989dabofi_" --_000_e53112d257e74625aefa5d6368c7989dabofi_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: Quoted-printable 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 experien= ces 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/tutor= ial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!FAdtrRwUsWPFlMluFB_wo= OYw0-ZSiN-FKhvkIZcKtovLib-bhM0A03rxmD5OFUU2WME53Ray-0HnbQ$=20 And here is the zoom link: https://urldefense.com/v3/__https://aboakademi.z= oom.us/j/64254430116__;!!IBzWLUs!FAdtrRwUsWPFlMluFB_woOYw0-ZSiN-FKhvkIZcKto= vLib-bhM0A03rxmD5OFUU2WME53RbwnFJgWA$=20 Everyone welcome! Kind regards, Luigia Petre (on behalf of the FME Teaching Committee) --_000_e53112d257e74625aefa5d6368c7989dabofi_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: Quoted-printable

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 experien= ces
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/202= 1/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)
--_000_e53112d257e74625aefa5d6368c7989dabofi_-- --===============2102767538221992246==--