[hackathon] Formal languages side meeting at IETF 107

Stephen McQuistin <Stephen.McQuistin@glasgow.ac.uk> Mon, 02 March 2020 13:25 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 440813A0BC0; Mon, 2 Mar 2020 05:25:28 -0800 (PST)
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 31NjF57dz0gP; Mon, 2 Mar 2020 05:25:26 -0800 (PST)
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 4FC803A0BB8; Mon, 2 Mar 2020 05:25:25 -0800 (PST)
Received: from cas07.campus.gla.ac.uk ([130.209.14.164]) by plockton.cent.gla.ac.uk with esmtp (Exim 4.72) (envelope-from <Stephen.McQuistin@glasgow.ac.uk>) id 1j8l4V-0004G9-7n; Mon, 02 Mar 2020 13:25:23 +0000
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; Mon, 2 Mar 2020 13:25:22 +0000
Received: from GBR01-CWL-obe.outbound.protection.outlook.com (104.47.20.51) by CAS08.campus.gla.ac.uk (130.209.14.165) with Microsoft SMTP Server (TLS) id 15.0.1497.2 via Frontend Transport; Mon, 2 Mar 2020 13:25:22 +0000
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=j3g2oq945tVnV8p+SuiIv+d/N3QxNPjQ6b3Br5IXrygaqytzTwhtruVG2oOgXJjGL0Su9i6aLEigPHQvJHP1n38E3+dDS8PLzCfh9ShMYFEXZ+8J6ryP9TovjV/2gmsImPwyDHpPYoyjuO6GepTiDidZhTbjbLERw3iOqv2g2rpI4PoRBLJk2U3hFVSGp15/vLFd/YYceKg88A/ysDa3xG6nbV1dTDrRpwGGaLG+US8EHuEGMxpe/waNpvU1IUonwRpzpOP9IEH7tvY34ygwjWjSEWRlovwjVSdciT4qT8Et0S0x+tcqteCgjog7r0LCYj791kThDhA+sEmwjgGT1A==
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=sP274Xoos1alG3Wr9/tYJVpv5EB7JhwFsRc9WwiMKRc=; b=Hiulbi0jh5HZ1LaOUJjr7O0qhHnOLBVSlptm717RHfBwknBjaKNHPIfGd91+fVZeWdYnr8kuKU67kpPUg69/c9dSxdcIgiQrK2CpkNt/EdKDKyQZWD2e2xzV4oVyVPiy6osUvRfy1NqH/m0B0lhIkHJ+MMlart/72GY8v9T6OOf1/0r6r1kMh1luGBso8Wx0HVzgZrctWZ5ACUqhxZc8NKlrfpZUjp7Udawfx26rsg6OaUIWER4vYp6BGsl1xFVtP9475AqDHDpxPyN49KKArVY28xXjp3LontmhFCaJXhk+Gsni2+COrZfvoQJqyHiurcBDMBjDyvnJOH2EgZaAJA==
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=sP274Xoos1alG3Wr9/tYJVpv5EB7JhwFsRc9WwiMKRc=; b=IFxXwnYV8xcfwN0Jh4CVSzCCBt0kvvyA9kerYXFbQX3WWqgHcf9vpk/lQzVXlxQUg0hQNNRS0QvNZQ4eLlLDUD4ssZd+VJjwH+14YHnVT+drL5dqvYZ4N+fcHdQniv/R73IbefBzKTM4zTz2qvHVBPMgrdsvUhtWA2VnNzh90CY=
Received: from LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM (10.166.185.150) by LNXP265MB0298.GBRP265.PROD.OUTLOOK.COM (10.166.183.20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2772.18; Mon, 2 Mar 2020 13:25:21 +0000
Received: from LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM ([fe80::a1d8:4126:98e9:58d4]) by LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM ([fe80::a1d8:4126:98e9:58d4%4]) with mapi id 15.20.2772.019; Mon, 2 Mar 2020 13:25:21 +0000
From: Stephen McQuistin <Stephen.McQuistin@glasgow.ac.uk>
To: "fdt@ietf.org" <fdt@ietf.org>, "hackathon@ietf.org" <hackathon@ietf.org>
CC: Marc Petit-Huguenin <marc@petit-huguenin.org>, Colin Perkins <csp@csperkins.org>
Thread-Topic: Formal languages side meeting at IETF 107
Thread-Index: AQHV8JYG4oSE5NhJ2kWjRrXkzzf76A==
Date: Mon, 02 Mar 2020 13:25:21 +0000
Message-ID: <FD770D06-0C38-4729-A2B6-6D6F5DAF86F5@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: [2001:630:40:70e0::21b5]
x-ms-publictraffictype: Email
x-ms-office365-filtering-correlation-id: 1ca4ad1e-5652-4802-2bd4-08d7bead28b1
x-ms-traffictypediagnostic: LNXP265MB0298:
x-microsoft-antispam-prvs: <LNXP265MB029857C389A44D95E4F784F5BCE70@LNXP265MB0298.GBRP265.PROD.OUTLOOK.COM>
x-ms-oob-tlc-oobclassifiers: OLM:10000;
x-forefront-prvs: 033054F29A
x-forefront-antispam-report: SFV:NSPM; SFS:(10009020)(39860400002)(136003)(366004)(346002)(376002)(396003)(189003)(199004)(66946007)(66476007)(33656002)(66556008)(66446008)(110136005)(64756008)(5660300002)(54906003)(71200400001)(786003)(76116006)(316002)(6506007)(186003)(86362001)(4326008)(36756003)(478600001)(4744005)(2906002)(6486002)(81156014)(8936002)(2616005)(8676002)(81166006)(6512007); DIR:OUT; SFP:1101; SCL:1; SRVR:LNXP265MB0298; H:LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; MX:1; A:1;
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: WPmg5/EDrilmsvUvNrLv1VlF4yQRKB+uJksSqlAlJRgqE0QabOtpMx8ZuPkKSoQ4lz15OrgGRcJ1sGlgDMcEj8AFVO8dk3wzlLoloPsRkh7xDXCjk6WIie83k/E2bAaQUGSPYWzd4gFMAX9sBoV/gO/SOb5kRdsARMg3J2O9AONIcrrRopOyuvro7cBcItct98wPrS+vx5NaDWU+A9DHFY7Gxi5B2VGUMYX1KmQ0Ab6kCGlr5AE7dc/45zFyJioN5SpEcxPuiXcW2yamMx/djOfVYMnxjyKEkX1BLf5GHHms0EuSKPMmYqX8YgD/Qj0sVX+pn0I0V8e0OGxx6aDjymV+36IWPbfr227/gDEhgfb/jpIkg+QkSYFDHCcJRm924eMm90GwlwZ2WYak37/t8gyv4x8lsQ7QqvjymPg1Afr6FyDATWdLvCcQmOHLCMqvp29Yv7QpEm5gwTOmDZYbClDNpwVllIPFQKj0Ns87vn9bpcDjPMhvZkPZAvWTpPrpRapqpFMEkKbdExm0KS17cQ==
x-ms-exchange-antispam-messagedata: Gqh+VgR5XFU6E4wy8ts9ryzOINkawn8kI4IW5eWCpnvdzW9MS8Ugau2R0InV1b8Pp147VAVYlFM6CBdC/ORIYAI+hkDgUmVUsENkj6ZrIqtfkritzKjvJFBsQSbOxonsGUjHRWHqeI3yfTHcSk/M7FP34Jp/qI6OihGZWGIlfAY=
x-ms-exchange-transport-forked: True
Content-Type: multipart/alternative; boundary="_000_FD770D060C384729A2B66D6F5DAF86F5glasgowacuk_"
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-Network-Message-Id: 1ca4ad1e-5652-4802-2bd4-08d7bead28b1
X-MS-Exchange-CrossTenant-originalarrivaltime: 02 Mar 2020 13:25:21.6554 (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: XuWXZfIyrbbrHqp7JA8RZyuZfQr13tvxyirqbiJXoDocn1lHvsomkxnk9ZAiVT5UyP6LbZfZNnM1PVgreK/QcapmQ8J25qZ9NFIeSUeYvjE=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: LNXP265MB0298
X-OriginatorOrg: glasgow.ac.uk
Archived-At: <https://mailarchive.ietf.org/arch/msg/hackathon/LNeIBcl81XXBXEbZLn-2Oi9t9E8>
Subject: [hackathon] Formal languages side meeting at IETF 107
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, 02 Mar 2020 13:25:35 -0000

Hi all,

We have now scheduled the formal languages side meeting at IETF 107 in Vancouver. It will take place at 8.30am until 9.45am on Friday March 27th, in Plaza A (https://datatracker.ietf.org/meeting/107/floor-plan?room=plaza-a#plaza-level-2nd-floor).

We'd like to invite presentations on any projects that are related to formal languages. If you'd like to present, please reply with the topic/project you plan to talk about; these talks should be relatively short (10-15 minutes each).

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.

Thanks,

Stephen