IETF Logo Mail Archive

[hackathon] Formal languages side meeting

Stephen McQuistin <Stephen.McQuistin@glasgow.ac.uk> Tue, 12 May 2020 09:24 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 F15D03A094F; Tue, 12 May 2020 02:24:54 -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 JbhLn7hp0hvd; Tue, 12 May 2020 02:24:52 -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 926BB3A090F; Tue, 12 May 2020 02:24:51 -0700 (PDT)
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 1jYR9d-0007Gs-Rp; Tue, 12 May 2020 10:24:49 +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; Tue, 12 May 2020 10:24:49 +0100
Received: from GBR01-LO2-obe.outbound.protection.outlook.com (104.47.21.52) by CAS08.campus.gla.ac.uk (130.209.14.165) with Microsoft SMTP Server (TLS) id 15.0.1497.2 via Frontend Transport; Tue, 12 May 2020 10:24:48 +0100
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=OMqpJMEyZkFBgOw1eA1ohNwycdlgvyz0zO0+UbyfV49/Ou6+u5OmL2YCl5eiDt+LPjrcQmkiZGPxorZxrcHom4tHtxhNIz3li7G3f5qTBx9EdwBE7jfsHWyFZW+ZwcKcFom1dy3WRThDT68GJBvCdyjVGM7kfK9DmheGpjs5Bzmk8SR4R0b61OIK+lvxeT8LE3fjzg71H6fR/w21jghRtmco26ecxott0urBigvYw1g94YKTCgZ42IzvSjjqFzj1Yo9lal3R64taR8c/MJoDReSDo2rdYU2B8q6lsocZYkLPft/lVMSrtv4WBoyXlE0nFDoi1FrJeAaPHtxbefU7Ew==
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=MuVvidy/ajlBrfq8W70Dw/C7e+3+ediMp+oAu9lJTdM=; b=HQ7bYtCrqc4fI+LHHb1bo5leIW0Vd8Xs9S+7nSXYRKFUPNcLHLkZl0OQtWSHVI4uROBL2MiSwA/GTtIXi5se5La6NNvdoWzk/baWdcEBfKyzqXbrWXFj5oT3sdapJj37seJS1sSk6He3sJEZ/sPbyflM3kw0maq/XzMJGUdkXPvdN7kiKjhOZPhscaiMIa1kFJ1qOcYPnF253yrD6EVyn3X/5K3kt2ofroNRiOzIrupvSNyf+CQpft5fCBDIBlomM8XSO9XvRe9dSXfHc3zyiRR4+/JJ4wOqsgHgl9e92lQo95fnlKBT8vJHwzc2tjRUEL/VKDvbIfNJ5EjsAAYYfw==
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=MuVvidy/ajlBrfq8W70Dw/C7e+3+ediMp+oAu9lJTdM=; b=jGn68Tr4nN1Ppc5C2MbHV4xXf2fWL5T6IrotdLG/VXo+7TR5uNrHV9ZorSIkrer2BTIFOIOLEHY6HDx8Mzc4cUkzrhIyXWyckccF/jQDpL79HLJP2WiupYeZ9mmBVUpOHRKDQddhbjIdGeN7Qj81q5S19OjqcijXQvMdQX3FZiI=
Received: from LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM (10.166.185.150) by LNXP265MB0953.GBRP265.PROD.OUTLOOK.COM (20.176.133.142) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2979.34; Tue, 12 May 2020 09:24:47 +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.2979.033; Tue, 12 May 2020 09:24:47 +0000
From: Stephen McQuistin <Stephen.McQuistin@glasgow.ac.uk>
To: "fdt@ietf.org" <fdt@ietf.org>
CC: "hackathon@ietf.org" <hackathon@ietf.org>
Thread-Topic: Formal languages side meeting
Thread-Index: AQHWKD8tDyL9hmFSQEWkLT/wVBT6qA==
Date: Tue, 12 May 2020 09:24:47 +0000
Message-ID: <0945A803-3051-49F4-8107-1591B974D43D@glasgow.ac.uk>
Accept-Language: en-GB, en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
authentication-results: ietf.org; dkim=none (message not signed) header.d=none;ietf.org; dmarc=none action=none header.from=glasgow.ac.uk;
x-originating-ip: [86.149.253.21]
x-ms-publictraffictype: Email
x-ms-office365-filtering-correlation-id: 1abb7556-40d9-472a-7ec3-08d7f6565089
x-ms-traffictypediagnostic: LNXP265MB0953:
x-microsoft-antispam-prvs: <LNXP265MB0953868929D070E659E32838BCBE0@LNXP265MB0953.GBRP265.PROD.OUTLOOK.COM>
x-ms-oob-tlc-oobclassifiers: OLM:10000;
x-forefront-prvs: 0401647B7F
x-ms-exchange-senderadcheck: 1
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: 75vI18dDYvj0WbO39YIzsJa1+74xOunOO7iKx2KfLscnL0o86bTKezgEm5Ip1pTZF/Cmw7J/CShrX0HzDKU/RLBQzZU7zmjjL+Ox/asbp/NawQ2oRKAj8O0bbYBdiXKtW98+yMpM+WzRnSZTnnhL2osn8PMcEN3BDEhrLWOeZ8KPs0Bpndu/d5kE3+6ciKjMRB63z5q64T3Lds2hbX2thrMbn6cOyFi06xy/j1zf27g73OCF+b5j0wEhy0k4pQJKAGCzpOQTkvoKQM6ELRV629DlmZF84JEg6NuozRBZ9DR6P5FLLHB+CKbb6+rd2ElbxTAhnAcDS6Gw2nFo+tAqk4jwrR/jSMCbcjIZeGYqJDGxaL4xuMZf8X7RpzRaNVVVeQeoYqNA+Ds+5j+zheziwsu6PFpJej2X1B2K9sKMlmcbBaEFeXp8ALT7QrI84ArbdQNXigX+TbMBa4wlWHjUOr0JRCygV9EqW/amHht2TZ3jYHxubXNyQDH78cd6DXUqNuG+OY5Z5stCaNY/K9BN3uBYKhpg3Rx1YKDMJCIQmhC/iSBZUjNzbBBch0rrjWfyPuRdB6UcVZOO1rQFuZgX7KEv2cOnPJl5RJyGpQiCvbm8/6Y8JMDrJYmlgiuGKnatWfcoXzTkvxDGYGq1Gf4Bcw==
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:(39860400002)(136003)(376002)(346002)(396003)(366004)(33430700001)(6512007)(66946007)(316002)(786003)(8936002)(2616005)(86362001)(76116006)(66476007)(26005)(71200400001)(6916009)(33440700001)(66446008)(3480700007)(6486002)(33656002)(66556008)(6506007)(966005)(5660300002)(64756008)(4326008)(36756003)(16799955002)(2906002)(478600001)(166002)(8676002)(186003)(450100002)(8770500001); DIR:OUT; SFP:1101;
x-ms-exchange-antispam-messagedata: pLlR7Px75MkXpkfd6UB5mPVUuBFeBPAQUds0fcTox6+p0cQ+sTHm+Q+cweGlD2RK8PvQwHOMdK3W338vXightn+vLueDrbsOnqIQZQygvtzS+rOBJ5fWs8i0uBCB9bp92dicl5Xqkj0kg/t9yJBS9ZNPHsfVy33h4AR3duHxUDAJ+wfBruxwUutIHjQUFsiDg3v7KJEqV64XU5Z9S9X+3YVNqP7WLUHhQJGDccTi0w72JSnXnpinHcV3Rdfq8s8CznF+/t+mIs3pcDDsuNMeO6Y5E3QzVeWRZOCSe2UH76PTMuqzD2vMGXZU0eSNAOA4R2Ns5cC7vlYjIk4LPsc+dz0FD4ZUqRAVpwkPK8tHgdBu5WBrLAOheD9hvKNJ+ry3RjwPUkOKVVGo784js9e97ZD9HPsaUeP4ft25/Ox9uKbGxzhb1CTHnhDXkrNv/7gRDStVS6VluLpJVKUHCpa5fGzFzQNn7LBNhxCZZanc2Vk=
x-ms-exchange-transport-forked: True
Content-Type: multipart/alternative; boundary="_000_0945A803305149F481071591B974D43Dglasgowacuk_"
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-Network-Message-Id: 1abb7556-40d9-472a-7ec3-08d7f6565089
X-MS-Exchange-CrossTenant-originalarrivaltime: 12 May 2020 09:24:47.3324 (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: WKHBt8f+1fTJWr/NSQHs/XzFXOxK/wLDNSJ4RC00zTFtO3iTlT5ZoxmR9aC7Uq2MXP9RqB/ssKoSNCYOZmJgi/C3U3GFKgxJzwZIHYcHUqg=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: LNXP265MB0953
X-OriginatorOrg: glasgow.ac.uk
Archived-At: <https://mailarchive.ietf.org/arch/msg/hackathon/JyFkhzM1MeEbjf1tltb2wQg3kUg>
Subject: [hackathon] Formal languages side 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: Tue, 12 May 2020 09:24:55 -0000

Hi everyone,

A reminder of this week's formal languages side meeting, scheduled for 4pm (UK
time) on Friday 15th May; the Webex details are below.

Given that this is our first side meeting, the broad objective will be to
determine the scope of any further formal languages activities within the
IETF/IRTF. This will be mainly a discussion of the overarching issues with the
development and adoption of different languages and techniques in IETF, and how
a common group might work to address them.

We'll begin with a round of introductions, where each participant will have the
opportunity to raise the topics that interest them. If you'd like to use slides
to do this, that is welcomed.

Finally, if there are any drafts or other materials that you'd like others to
have read before the meeting, please circulate these on the fdt@ietf.org<mailto:fdt@ietf.org> list.

Thanks,

Stephen

--

Virtual Formal Languages Side Meeting
Hosted by Stephen McQuistin

Friday, May 15, 2020 4:00 pm | 1 hour 30 minutes | (UTC+01:00) Dublin, Edinburgh, Lisbon, London
Meeting number: 954 656 033
Password: JymDUcDH236 (59638234 from phones and video systems)
https://meetingsemea15.webex.com/meetingsemea15/j.php?MTID=ma02f806ff7751f0874b44896b74b0c91

Join by video system
Dial 954656033@meetingsemea15.webex.com<mailto:954656033@meetingsemea15.webex.com>
You can also dial 62.109.219.4 and enter your meeting number.

Join by phone
+44-20-7660-8149 United Kingdom Toll
Access code: 954 656 033

Remote meeting tips:
    - Use a headset
    - Test audio/video/sharing ahead of time
    - Check your background
    - Always mute your microphone when not speaking
    - Raise your hand instead of interrupting
    - Turn your camera on if you plan to talk

v2.23.0 | Report a Bug | By Email