From nobody Tue May 12 02:24:56 2020 Return-Path: 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 ) 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 To: "fdt@ietf.org" CC: "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: 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: 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." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 12 May 2020 09:24:55 -0000 --_000_0945A803305149F481071591B974D43Dglasgowacuk_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable 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 sl= ides 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 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, Edin= burgh, Lisbon, London Meeting number: 954 656 033 Password: JymDUcDH236 (59638234 from phones and video systems) https://meetingsemea15.webex.com/meetingsemea15/j.php?MTID=3Dma02f806ff7751= f0874b44896b74b0c91 Join by video system Dial 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 --_000_0945A803305149F481071591B974D43Dglasgowacuk_ Content-Type: text/html; charset="us-ascii" Content-ID: <959E2FF79D60B644BDDF18AFC5A6A862@GBRP265.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable
Hi everyone,

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

Given that this is our first side meeting, the broad object= ive will be to
determine the scope of any further formal languages activit= ies within the
IETF/IRTF. This will be mainly a discussion of the overarch= ing issues with the
development and adoption of different languages and techniq= ues in IETF, and how
a common group might work to address them.

We'll begin with a round of introductions, where each parti= cipant 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 yo= u'd like others to
have read before the meeting, please circulate these on the= 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 syste= ms)
https://meetings= emea15.webex.com/meetingsemea15/j.php?MTID=3Dma02f806ff7751f0874b44896b74b0= c91

Join by video system
Dial 954656033@meetingsemea15.webex.com
You can also dial 62.109.219.4 and enter your meeting numbe= r.

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 speaki= ng
    - Raise your hand instead of interrupting
    - Turn your camera on if you plan to talk --_000_0945A803305149F481071591B974D43Dglasgowacuk_--