IETF Logo Mail Archive

Re: [fdt] Virtual formal languages meeting

Stephen McQuistin <Stephen.McQuistin@glasgow.ac.uk> Mon, 27 April 2020 15:28 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 F03DF3A0D8E for <fdt@ietfa.amsl.com>; Mon, 27 Apr 2020 08:28:18 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.894
X-Spam-Level:
X-Spam-Status: No, score=-1.894 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.001, RCVD_IN_MSPIKE_WL=0.001, 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 2CcB662Ii37E for <fdt@ietfa.amsl.com>; Mon, 27 Apr 2020 08:28:13 -0700 (PDT)
Received: from plockton.cent.gla.ac.uk (plockton.cent.gla.ac.uk [130.209.16.75]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id CF3553A0D18 for <fdt@ietf.org>; Mon, 27 Apr 2020 08:27:54 -0700 (PDT)
Received: from cas08.campus.gla.ac.uk ([130.209.14.165]) by plockton.cent.gla.ac.uk with esmtp (Exim 4.72) (envelope-from <Stephen.McQuistin@glasgow.ac.uk>) id 1jT5fk-0002iM-Gq for fdt@ietf.org; Mon, 27 Apr 2020 16:27:52 +0100
Received: from cas07.campus.gla.ac.uk (130.209.14.164) by cas08.campus.gla.ac.uk (130.209.14.165) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Mon, 27 Apr 2020 16:27:51 +0100
Received: from GBR01-CWL-obe.outbound.protection.outlook.com (104.47.20.53) by cas07.campus.gla.ac.uk (130.209.14.164) with Microsoft SMTP Server (TLS) id 15.0.1497.2 via Frontend Transport; Mon, 27 Apr 2020 16:27:51 +0100
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=VV+p6LAguBGQ0jxo+ZnrBHEWekUTXuyb/7cn3xxiXyjj0CP0VTsdxyvciFs5Mqx4Ug3CZSjVexFIudGQ7s7Hhtj1ibp3V2kAU+agUH+sct+T4BQ34EyRKqPA3ezlMAw7/V9ehIJW73tcJl/PxO3hLRpNeHdj3kqkMPK+rcXyp826vkGKSzbklNBX+gvfbK7ke62JJu7a5uyZtVwRSDPkFsURGCZ4xPCLYqfhQsqx/Y/pjQBCHMVBJgO5Bd1sH99SkZ5jmDJYjH4AnagXyq/k6wr53qkAbxX8DvKXXqQwfYVthjQdQgSVR7Z/yBcITev4+hF/qBGrwxsjHrV19Hv5FQ==
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=ePAw7ZhTo209ZePBjpuoW1zBhSpYucRNb+dwOzKrPyw=; b=AvlhOhd5nLZgZzLJ1VS6kiUuPhAmNngkb59ZCh+XOKd1Zi88h3LPaImAxtG05XKx9oQ+2UadpMjpwbX/l+mmSgTLbc+JJLSO4m0DfKGA0EdRVLNgMmld9unP7kt7grqIB5NT6NLYgbr+7txEk2cuaJyibqd8y3tRy/V20tFSHWLRqfmKhsldRJxfBgpBLX+lo/sjaOb8+qM/RdE+EdLCHJUyXrp933zrcnMpMq8N7jeo/WYzbVCbX2GCBCFAXrxVmBQXPHTwyK6ojEZw0tRKiGdr4gt+JRzuHqyrEasyZcr6yaN4B8ZOgm6qvd78Lkt2MT1aL0SkX3kmT9ipuBSsSw==
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=ePAw7ZhTo209ZePBjpuoW1zBhSpYucRNb+dwOzKrPyw=; b=SVBR0fr+momKAubjsuddngTI18MGipAdMhi+l7C2aEkt3C+4KQM9bh7WXqIJEKYXeDa907d2eKhwYTKxhNPCH12dy7m3EntEafWFlAS0PfyKZhzSrk61xjlBYLvxfUYlCUr6Hktbc2o1wSwxajrScA60fg1LUX8lZ7U6MWcBPQg=
Received: from LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM (10.166.185.150) by LNXP265MB1388.GBRP265.PROD.OUTLOOK.COM (20.176.132.17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2937.22; Mon, 27 Apr 2020 15:27:50 +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.2937.020; Mon, 27 Apr 2020 15:27:50 +0000
From: Stephen McQuistin <Stephen.McQuistin@glasgow.ac.uk>
To: "fdt@ietf.org" <fdt@ietf.org>
Thread-Topic: Virtual formal languages meeting
Thread-Index: AQHWE9ODwXMRxhrVlE+fxDU2lp/tBKiNKSqA
Date: Mon, 27 Apr 2020 15:27:50 +0000
Message-ID: <32270224-56CB-491C-82AB-DA4709D1D6DC@glasgow.ac.uk>
References: <DE624911-80E3-4EF6-83E5-E41E9245DC47@glasgow.ac.uk>
In-Reply-To: <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: 931fa767-ee08-413a-6819-08d7eabf8bf0
x-ms-traffictypediagnostic: LNXP265MB1388:
x-microsoft-antispam-prvs: <LNXP265MB13881BF2F7DE62FDC99501B1BCAF0@LNXP265MB1388.GBRP265.PROD.OUTLOOK.COM>
x-ms-oob-tlc-oobclassifiers: OLM:8882;
x-forefront-prvs: 0386B406AA
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:(396003)(39860400002)(136003)(366004)(376002)(346002)(6916009)(186003)(6512007)(8676002)(2906002)(8936002)(81156014)(6486002)(478600001)(26005)(66476007)(64756008)(66946007)(66556008)(66446008)(76116006)(786003)(966005)(53546011)(5660300002)(36756003)(3480700007)(6506007)(316002)(33656002)(2616005)(86362001)(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: JxDeF7sWIApX9Y66M6iZb4QLSt83fjFxcfmfCH+vn5UlQDjv6FZX7mzn1tEULDbSJP0holzsNgUwx7xVElh7VFyP6MA3yeAAqPg7oVIfTQVolmlTpR9wrsW/LISIJc+dUUiYsRlIxu3eTYpf7vswuq2rZyIqPFN1jpQNStvejR4z2Sh5IHu0LSyzI9nSUbmF13n4DuCORS/85JT4z3m/jJ4V05Ch89Ui4aKiuj36bAapMYt4qx+avcu8vcfVIk5ip3WW3KQokiSGFXXuwE9FKQ9A85rUY2IDbm9r00hqWFbq4D1z9rtQKL/cOCbTdUuQOpJNoGAoqyKTGGOaNuoaERujYncOuiSmaS7vBHfVuYw0uYa7hRgusQXkq0uPVQvVtQ+cfIsA5HcgvfbamAUMX8KYWIZgcTVQhmJeLTa2e3VhUgUlDYjt5P8o6ALLzZsPf/f73YvS141JZDXsoJq4ruPXog0Bmo9ITl0HR33twPQP+zETBdji6yWy7bKbSs0vJSD567uqonurNxe3cgYE1Q==
x-ms-exchange-antispam-messagedata: FLTLkecUhppRDXVpOYjgGsCanIi5m9QzINwXtn6hVW5rX00poyOdB8lC+XNCFXa84CxMKyjMJwBfiEkySSi4G2RoQSzG+KD/B2F5Lt+qg1+EiWZnjN3sKvIXKXxbEbOg6UlWtnKm6Tcs3Ku/nVer1C2hxmaCLmh2yPLjyG+ZVCkU0Ybzx8H+3S7/SocwyZJ2xG2UOm09A7K4Y2zxRw5FLXn3ycYkYDcnFB84VtJjvX/ieV7FHaIy02+MgOFw1r4/arIr5OCOzEZexPP19bcvL6Vyf+Dq1k7RJFBsOr/D9Jkr5bewL3JNG1Fr3qPy59JYMKxVaxH+XBY+nHzeWSHQlPJRUsuKttKyx5L22Mi9bg8CyD0PhC2sT3JhQHIFVOQh0qSnDqxF4NoxiW5oeEuTlUBZm/umot9VlApg9B+q8cJinmtWalZXyUQN3eq9FKU0n+3V7RnVNKk8fo9epCL5pBURhDRssP9HIkiUrYJVBWTe16Wb5RP+w2PXmTr+Qp7hGAlJBp9TnnRcOQ8HS9YxIS2ZyBqne39Q7JRqSsXXN7hcnfmoD4EsBzNqRi77PwvNzcNEiYrNBvz7/DGUfwfXawtBiw3VZoXuyK2zzx9rVZ9x9mJRkJcZqL0LTkyBTEu/xwYI2SpDhDZ0SfiF1mZcyGgYip+jsK4cQDYIC6z+hTDobSp/hMrpWjPh42Re00dpI7+TwLwKH8Y8uW0zy6uFpVf/+YNHAEev7PeaG1JwvYjE8rtxTlswj7GeGnewv/0suzmCpekwkyPOWf2biiuAjJpqFeEeAydKslp2KUdwkEo=
x-ms-exchange-transport-forked: True
Content-Type: multipart/alternative; boundary="_000_3227022456CB491C82ABDA4709D1D6DCglasgowacuk_"
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-Network-Message-Id: 931fa767-ee08-413a-6819-08d7eabf8bf0
X-MS-Exchange-CrossTenant-originalarrivaltime: 27 Apr 2020 15:27:50.2106 (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: LWQh3qnoIy/vF5dWk6i25GpSFRbGjHfshW01y80QvV67oDi/FnwT85Kbe3PHjA22nK6b4ySJn2VUzGMhny5R9/fKm0e+UECSpk21xMYA+Rw=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: LNXP265MB1388
X-OriginatorOrg: glasgow.ac.uk
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/ItXmzGEfsZ_XME39fuqUeMcO_b8>
Subject: Re: [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: Mon, 27 Apr 2020 15:28:24 -0000

We have now scheduled the formal languages side meeting for Friday May 15th at 16:00 to 17:30 (BST/UK time). The meeting will take place via Zoom; the URL is https://uofglasgow.zoom.us/j/98720811244 (instructions for dialling in are at https://uofglasgow.zoom.us/u/amm0U74d4).

As outlined previously, we’d like to showcase individual formal languages projects. If you’d like to give a short presentation, please let me know.

I’ll circulate an agenda before the meeting.

Thanks,

Stephen

On 16 Apr 2020, at 10:43, Stephen McQuistin <Stephen.McQuistin@glasgow.ac.uk<mailto:Stephen.McQuistin@glasgow.ac.uk>> wrote:

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