[hackathon] Fwd: Virtual formal languages meeting

Stephen McQuistin <Stephen.McQuistin@glasgow.ac.uk> Mon, 20 April 2020 19:20 UTC

Return-Path: <Stephen.McQuistin@glasgow.ac.uk>
X-Original-To: hackathon@ietfa.amsl.com
Delivered-To: hackathon@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 073B43A0CF8; Mon, 20 Apr 2020 12:20:56 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: 0.006
X-Spam-Level:
X-Spam-Status: No, score=0.006 tagged_above=-999 required=5 tests=[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 voFYas6TxDZN; Mon, 20 Apr 2020 12:20:54 -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 51DAF3A0CF7; Mon, 20 Apr 2020 12:20:53 -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 1jQbyN-0006z9-PD; Mon, 20 Apr 2020 20:20:51 +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, 20 Apr 2020 20:20:49 +0100
Received: from GBR01-LO2-obe.outbound.protection.outlook.com (104.47.21.52) by cas07.campus.gla.ac.uk (130.209.14.164) with Microsoft SMTP Server (TLS) id 15.0.1497.2 via Frontend Transport; Mon, 20 Apr 2020 20:20:49 +0100
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=DEQ6+Wbo1cTTXFmrv/NNYoWL8Q3mozzicUhlx/levqEDFPMxyEf3bVge0H3AM+vSrDjopfgBVtQT0nXYusWnPdRi7y1rnFYGEmqM/VYUnvCfzYuhyW6ZeZQnHxVdUlTIO0x5Q4LkPXTxbOWLVbpZlRcw9jNTiZ2w2EPB1f2TZNWGgN6KrcBiYJ4tzEVorkw2lUAJHI8ive2uBNLzhnJesoDCwgOkFCmdwoUWG3WpT7CgzBTYhLhIBGEEPji0gV3dwts44Izt0ZQrVHFWq1/Q73kayOaf1Tq17Rxqh2rNck6XwF5Vl1pacLPQRQnw/4wf+NAbF/B3eVCu4vmZLZLfgQ==
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=28U1kyv+ZkOTJyPaGjo0GOCWk8ZNC1U/Ww5I9rv8mRE=; b=cKXWYnpG1xhkh0sTCKbtMuoCLA9tqa+uaKbnwlqjXBMiYsfcUlg22zVNZWvw/mg1Jjh2XfnfAiGHgzHMAxhH/8nYs7cdvKafViSc+LGJGsfFOl72YAFRAYMudbFO1Ff7OEPVdLEPE7t4mszTqFQC1YMmuPc4F3yUguRVstCO40aQs1sPyhtcUT7b/HwyPUFXWbh+vlipAs58yXTKTfK6vQgYMBbembFSUaRES3ilRy4Nxjt57NVAfLLaIBtro7lO00YIGM6O/ChChZZJvMrdn6I5zSnivRcboz06I3fTmP7upSIWlRY0SRrGFCDjS4rNtbeVOGrXmrlDylDi2ob9OQ==
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=28U1kyv+ZkOTJyPaGjo0GOCWk8ZNC1U/Ww5I9rv8mRE=; b=RaA2qC4QXdJZe9l+zKoD7Nwdqu20kNjLu1zjrDiZIKVsDlv1nJyYszxUcCgo/emKl5oj6GXa9hhAUwe4TPiA0KK0ZB89jlRloRTbXF8H7ozImEY+AstxKlG6teMQMQIS6B5WvjZKTcwk644SjHtWcUzLF8+rit0n4uSpg8kIEuM=
Received: from LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM (10.166.185.150) by LNXP265MB1291.GBRP265.PROD.OUTLOOK.COM (20.176.131.139) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2921.25; Mon, 20 Apr 2020 19:20:49 +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.2921.027; Mon, 20 Apr 2020 19:20:49 +0000
From: Stephen McQuistin <Stephen.McQuistin@glasgow.ac.uk>
To: "hackathon@ietf.org" <hackathon@ietf.org>, "abnf-discuss@ietf.org" <abnf-discuss@ietf.org>
Thread-Topic: Virtual formal languages meeting
Thread-Index: AQHWE9ODwXMRxhrVlE+fxDU2lp/tBA==
Date: Mon, 20 Apr 2020 19:20:49 +0000
Message-ID: <67B64692-A404-4F22-B65D-6D4A2C7372E6@glasgow.ac.uk>
References: <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: fd2daf27-6b33-4ea2-20e3-08d7e55fef0f
x-ms-traffictypediagnostic: LNXP265MB1291:
x-microsoft-antispam-prvs: <LNXP265MB1291F72F8D9F8714F6D4492EBCD40@LNXP265MB1291.GBRP265.PROD.OUTLOOK.COM>
x-ms-oob-tlc-oobclassifiers: OLM:10000;
x-forefront-prvs: 03793408BA
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)(396003)(39860400002)(376002)(136003)(366004)(450100002)(2616005)(6486002)(6506007)(26005)(786003)(316002)(6512007)(110136005)(81156014)(8676002)(966005)(8936002)(33656002)(86362001)(478600001)(186003)(66446008)(66476007)(5660300002)(76116006)(71200400001)(2906002)(66946007)(66556008)(64756008)(36756003); 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: DQnCB0ak9dmp+CW3vs62zs6ZsOvpGUpmN9NH9flYZNmUH80N6J7w7QqULSa0vnUV19f77jArO73Nkr8R3s7lHj2HfbIeP71jmjvEtE7sphkEymjgFl2jntMELAMGVqFkREpQ0VSM0m+NUxH6Vkv5IVSIlaHngBTW5xlTTJoqjJ9mNgoWQNirbRfA1LedY6VrDBRAHNIb8OeQZMcKwehn8EmGq10EftsgC7YnYEpYCYnOhMaDnZsL6U7QkPVkxA8BpyLRi+GWE/PFzdTVpicFuWISB0bKSky4jofKMrYc5CGpRK+AySPEhdPYgqwn9000Xa6XgZtJdJaXa8ySHJjc1VotJes4UPwCGTdgc/nS7SNDgG/K3SXPALgI7wpwPAIzd3FLmV48LQxljt3A1xe1+jdEuRKd/+bUB/6iHbOGjiRBYgTx+JLvf9iBmmor5TOvCICCnJgNTn2kjTqCLPata52qE+qXtKQjyAGLA08t0Tkm7wOl+AZCbQQOD0G5l6M7QWhjCt0Ya8uaTvHJjvgzTw==
x-ms-exchange-antispam-messagedata: tCMNHV2ACzoHecn4de73S0PBWC/vlzPlKAm7SJbaIywCfqZwG0LdK+Nqsh2IwdqaYWVCeFbH2WEqpcTDRPyLY+WCmSxZZ8hjYHq5VfMYUrrmARYlfbQMtcWbd//9/J48+PiEhjPNMEsER+r6ZKncrQ==
x-ms-exchange-transport-forked: True
Content-Type: multipart/alternative; boundary="_000_67B64692A4044F22B65D6D4A2C7372E6glasgowacuk_"
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-Network-Message-Id: fd2daf27-6b33-4ea2-20e3-08d7e55fef0f
X-MS-Exchange-CrossTenant-originalarrivaltime: 20 Apr 2020 19:20:49.0575 (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: Eypv5AxCP2e7119Fy43lNvPPSGSSVYnIe7wdUmtN0lxBnOBAhAb3QhNRJaoNbpWrm+NmSkvyEgm2tppPwXWj8izXx0abSy5BFkAfYOVZJ5c=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: LNXP265MB1291
X-OriginatorOrg: glasgow.ac.uk
Archived-At: <https://mailarchive.ietf.org/arch/msg/hackathon/rbEVZxyQJStnvv3X7H5s3OkDY1Q>
Subject: [hackathon] Fwd: Virtual formal languages meeting
X-BeenThere: hackathon@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Discussion regarding past, present, and future IETF hackathons." <hackathon.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/hackathon>, <mailto:hackathon-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/hackathon/>
List-Post: <mailto:hackathon@ietf.org>
List-Help: <mailto:hackathon-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/hackathon>, <mailto:hackathon-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 20 Apr 2020 19:20:56 -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.

If you are interested in this topic, there is also a formal description techniques
mailing list at https://www.ietf.org/mailman/listinfo/fdt.

Thanks,

Stephen