IETF Logo Mail Archive

[fdt] Virtual formal languages meeting

Stephen McQuistin <Stephen.McQuistin@glasgow.ac.uk> Thu, 16 April 2020 09:43 UTC

Return-Path: <Stephen.McQuistin@glasgow.ac.uk>
X-Original-To: fdt@ietfa.amsl.com
Delivered-To: fdt@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 83A703A1322 for <fdt@ietfa.amsl.com>; Thu, 16 Apr 2020 02:43:48 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.916
X-Spam-Level:
X-Spam-Status: No, score=-1.916 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HTML_MESSAGE=0.001, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_NONE=0.001, SPF_NONE=0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=gla.onmicrosoft.com
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id VR2T-fSn7uy5 for <fdt@ietfa.amsl.com>; Thu, 16 Apr 2020 02:43:46 -0700 (PDT)
Received: from hillend.cent.gla.ac.uk (hillend.cent.gla.ac.uk [130.209.16.102]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 72AFC3A1321 for <fdt@ietf.org>; Thu, 16 Apr 2020 02:43:43 -0700 (PDT)
Received: from cas07.campus.gla.ac.uk ([130.209.14.164]) by hillend.cent.gla.ac.uk with esmtp (Exim 4.72) (envelope-from <Stephen.McQuistin@glasgow.ac.uk>) id 1jP13d-0006TA-BS for fdt@ietf.org; Thu, 16 Apr 2020 10:43:41 +0100
Received: from CAS08.campus.gla.ac.uk (130.209.14.165) by cas07.campus.gla.ac.uk (130.209.14.164) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Thu, 16 Apr 2020 10:43:40 +0100
Received: from GBR01-CWL-obe.outbound.protection.outlook.com (104.47.20.56) by CAS08.campus.gla.ac.uk (130.209.14.165) with Microsoft SMTP Server (TLS) id 15.0.1497.2 via Frontend Transport; Thu, 16 Apr 2020 10:43:40 +0100
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=EaCmQ7UM7SPX6BnxqoyGoaNylgZ1HT673EHrn7TcZmq7RAGizd7nw5AryPpZdrVPiF33A8NXLRA7kbypuZ1TWSbguoJLlMJpt1WdFv0BVxxm1xBVqNa37GYbiP9wYB+qGQCjOKPzsATfJWqcJ8XHwkjfd2s1ET3YgS+kZVW4BiWl2repBMMbC2gpUrP/vUauIccR1xiZvvd9mmmHhTUR2+UNFTe8FWPD7myFAgsWcO23cg8avvnkhoDfhP08nsdTiJ2TuLE+xFeBYGUG0JibBkNic6E2AFx3XQq1sb6MmJlDSxXdjCXtuZGoBuquvKfp4YgcFfCsbI3+sZerMUTKQw==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=wdvZJ4mR/2YhyQSxi06IpwqWKOMHlzmNarnOj5oCUFk=; b=ezJCOhCsMJxvL7l2XUK937vTUjD6C2NEKGGa5nleWwy1/waCmwX7R+PeyaHUhhPKZ8GAPZoRzk0J/roWoaqcuDu+8qv2bsPF3Fzo3zPUk1fTMpksIFkTH/xH9jXK0EyT7eAv9rKKp5KvHPVWTNIMfGGxWp/fLCsVW+YFeiYQ7xuOqs7cI8MUAo3hIOkPwH2JRgrqKh92Ht4q1kdG2fk6E0PGGCCBKTqcZd4W55cPp+YK6aaPPBAq2O7NRzAygGaN/Kq4fpMLEmmEq6+YhyX5jrsjXCKZFHHLRUfbenKPlALXJyrIObs0iHFmF0O6U7b2ygluJXW7rolHD/gQnfM1vQ==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=glasgow.ac.uk; dmarc=pass action=none header.from=glasgow.ac.uk; dkim=pass header.d=glasgow.ac.uk; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gla.onmicrosoft.com; s=selector2-gla-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=wdvZJ4mR/2YhyQSxi06IpwqWKOMHlzmNarnOj5oCUFk=; b=d2i6Y+hM25UmvjEgPGpRmwgPia3uePKbiTp5s10MTn66f4wW4ZcMQOpHgt+ymDmXakIuk44tn2S3/VXJ2LC1oa7tqLwF5BGJuLoSptFs3awQHSEbIxGTGpgUjEBXio6v2p/ukt7o6Dl7sskBe8zYuUn7G8NsZFVIVihDogAT9UY=
Received: from LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM (10.166.185.150) by LNXP265MB0041.GBRP265.PROD.OUTLOOK.COM (10.166.184.146) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2900.20; Thu, 16 Apr 2020 09:43:40 +0000
Received: from LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM ([fe80::3190:f704:b62f:7371]) by LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM ([fe80::3190:f704:b62f:7371%7]) with mapi id 15.20.2900.028; Thu, 16 Apr 2020 09:43:40 +0000
From: Stephen McQuistin <Stephen.McQuistin@glasgow.ac.uk>
To: "fdt@ietf.org" <fdt@ietf.org>
Thread-Topic: Virtual formal languages meeting
Thread-Index: AQHWE9OCNwpxkoMhwEKQFFj3Val07A==
Date: Thu, 16 Apr 2020 09:43:40 +0000
Message-ID: <DE624911-80E3-4EF6-83E5-E41E9245DC47@glasgow.ac.uk>
Accept-Language: en-GB, en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
authentication-results: spf=none (sender IP is ) smtp.mailfrom=Stephen.McQuistin@glasgow.ac.uk;
x-originating-ip: [86.149.253.21]
x-ms-publictraffictype: Email
x-ms-office365-filtering-correlation-id: 1f50e9ff-62d7-4463-0100-08d7e1eaa4ed
x-ms-traffictypediagnostic: LNXP265MB0041:
x-microsoft-antispam-prvs: <LNXP265MB0041D327340473E3A2561410BCD80@LNXP265MB0041.GBRP265.PROD.OUTLOOK.COM>
x-ms-oob-tlc-oobclassifiers: OLM:9508;
x-forefront-prvs: 0375972289
x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFTY:; SFS:(10009020)(346002)(366004)(39860400002)(396003)(136003)(376002)(5660300002)(26005)(6916009)(2906002)(186003)(966005)(8676002)(8936002)(81156014)(316002)(478600001)(33656002)(2616005)(786003)(6486002)(76116006)(3480700007)(36756003)(6506007)(66946007)(64756008)(86362001)(4744005)(66476007)(66446008)(66556008)(6512007)(71200400001); DIR:OUT; SFP:1101;
received-spf: None (protection.outlook.com: glasgow.ac.uk does not designate permitted sender hosts)
x-ms-exchange-senderadcheck: 1
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: mTcUol1hECLSNzJOGtw3w3wBMCgogJmw+QLgcLetGZyhduzzy8rH9FkiTnPxxwAq3jbSRrOI07A7Vi8jXYSoYGSABtCsdNk/vfueUXfCcJ+MvalwQ5zRgVfAcdbWXpepyl92I41KR8htUgNVAgf7MLM1lXlFtNiFLgLM42LAFiUMXdHm7G1KA7D1laJawv9Ttt2GppXoEZLZBnKPpr/7KiUi33wW2o0rletC3ZggU07SN3H19EAiuHENG6xLELqOturY+4VJd+540ITOnA53YsyYjcSnsU5KUuktN7qNLW+3UqsXADTO84EgInS95TEJ5zR9/KIm0OVsw5ch40vOPxz5mTBRUfoYxwaIkYRqxCNh0Pvag5ZRnLJ9s8qLiZHU++xYzbz5VLMMPZglKgZ3uMd5ko/ozNXFdP1Lpq18Ixazsxwrtq84SV/JFiFf6HEJkoJycu7d7xd35yDEr4+G2VqobcPYEu6tUwQu1ZGj5EnzdCVdb5EVlusv7D+WR3MkaqEkJ5/KEzBGZuskxpfksA==
x-ms-exchange-antispam-messagedata: L2RS00IpOFDxWjgAnAklNttAltkw/t6Kp0BjF1uUKNWfLCbL+ijYu43M9+Y5Nv6TFJ36PFnVFJTAJflwH4BXbknuRdTp8RheCakI3amOE3+PRLXnV9Wc8z85JdUxnlPi8YDkbQIxnQo9Juu5P9sCyg==
x-ms-exchange-transport-forked: True
Content-Type: multipart/alternative; boundary="_000_DE62491180E34EF683E5E41E9245DC47glasgowacuk_"
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-Network-Message-Id: 1f50e9ff-62d7-4463-0100-08d7e1eaa4ed
X-MS-Exchange-CrossTenant-originalarrivaltime: 16 Apr 2020 09:43:40.0697 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 6e725c29-763a-4f50-81f2-2e254f0133c8
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: Rip3GHk7N3AhgmJtflwV8Ez2q6xC1TcAZFO/2rzx3aWkppI/z4LiPXCKsrf5Oa1MNAa0cRTj4YaGlIuU2YmWrUeTMNibYZl5FCw5QXqYvYo=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: LNXP265MB0041
X-OriginatorOrg: glasgow.ac.uk
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/VkfF_Sxdqc4BHeuqgVy7NSFC08w>
Subject: [fdt] Virtual formal languages meeting
X-BeenThere: fdt@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Mailing list for the discussion of the use of formal description techniques in IETF documents <fdt.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/fdt>, <mailto:fdt-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/fdt/>
List-Post: <mailto:fdt@ietf.org>
List-Help: <mailto:fdt-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/fdt>, <mailto:fdt-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 16 Apr 2020 09:43:49 -0000

Hi,

Given the cancellation of IETF 107 in-person meeting, we're planning to arrange
a virtual formal languages side meeting.

So that we can try to schedule this for a time that suits most people, we've
created a Doodle poll to determine the best slot during the week May 11th
through May 15th. If you're planning to attend, please complete the poll at:
    https://doodle.com/poll/szutz9u8ufqg9qfr

The meeting will be split into two broad parts: first, we'd like to showcase
projects that are related to formal languages. For this, we'd like to invite
presentations: please let me know if you'd like to present.

In addition to presentations about specific projects, we plan to identify and
discuss the cross-cutting concerns (that cannot be addressed in existing groups)
around the use of formal languages in the IETF, and to discuss how to take this
work forward.

I will circulate an agenda once the time/date of the meeting has been confirmed.

Thanks,

Stephen

v2.23.0 | Report a Bug | By Email