IETF Logo Mail Archive

Re: [hackathon] 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: 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 A81A13A0D0E; Mon, 27 Apr 2020 08:28:44 -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 5ij48amm-lo1; Mon, 27 Apr 2020 08:28:42 -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 40C113A0CE7; Mon, 27 Apr 2020 08:28:42 -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 1jT5gW-0002ku-IP; Mon, 27 Apr 2020 16:28:40 +0100
Received: from CAS08.campus.gla.ac.uk (130.209.14.165) 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:28:40 +0100
Received: from GBR01-CWL-obe.outbound.protection.outlook.com (104.47.20.55) by CAS08.campus.gla.ac.uk (130.209.14.165) with Microsoft SMTP Server (TLS) id 15.0.1497.2 via Frontend Transport; Mon, 27 Apr 2020 16:28:40 +0100
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Vjm8OPGppgC2pQbVVMgbUj2Ccdx5CTPmGd7W3UorhOMejljvd6VqbZUV9qOAqbZzJ/H84zzvlFol8cHKj27Xu1cd7DXsdsTBJFKyAiPFogUdGh6qn/EFXuZyxGPaqNzNDsp6L5GHzF5KCdYZCIaY6ExqDmiknE3gyZbIpBP3pJ39CZHnPeADtz1bFiQLcSiyVgH2eQiV6aomjwuLpZBRBGqUx4ZqVcq6FEyh+j9zqIONXfdlP2tsrS+c6Oliz7ZSjqVeJI4Ileoxx3ym8AexdTxowS03P5vSNMbWM8q6k2dw7qDBRjYKGQK3T3JxppteGXc1kmFp1anEn9q0WOKzLA==
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=rooKZED/9wsXvQmefpwCDpSMoa8hLnp/ravG3Z+6zjQ=; b=WQLpvcQspSL/CoxCfUeUdYfUmxEk2FQ81jqFireWONxwAwP6f/4Oqn1fn5O38EME/JWWPNRQa5giL6q62uHk/zTskL2idL2FUEwVRqDnCgSyoc8AzwJwp74HcReKrApM5X9ZGon6B+C/Ty6+USEnP3eOYLfx+mU2YpMyY7gJopTXYrY6KeGKX/dIXNMo6BMuUZfATuvGewbVCtsQR0CHue4UseeOBxZ7slLWmMN31nvoEHTU0DpEGKCvmgcv2+1qoa2UVIOD32wrN7PCK9SmPNntCG0eUYGVdEuqTJX2BtFMnaW4VO4hyxYx+kqOOiZV8uoQbR8dgvKh5ZCCQoVQag==
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=rooKZED/9wsXvQmefpwCDpSMoa8hLnp/ravG3Z+6zjQ=; b=JQKsQ1Tna20e4UZkpUDG7gZzr+O1ak/IOdAjojTfzLTdqpcwx9gy5NGHnk+4vbghlS1yawn5Sc5SmvRRJVL8I+uqRrBEqeUYxQkb7LK/tIqdtGIvoE5FnQsXeDsJtxkm3yXeK08ffT2Ed1H/qe5qcd8Fy96QOHKA+wR9XZ7LtMM=
Received: from LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM (10.166.185.150) by LNXP265MB0425.GBRP265.PROD.OUTLOOK.COM (10.166.182.16) 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:28:39 +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:28:39 +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/tBKiNKWQA
Date: Mon, 27 Apr 2020 15:28:39 +0000
Message-ID: <B7A45984-2BFD-431A-BFEB-C4A357A55646@glasgow.ac.uk>
References: <DE624911-80E3-4EF6-83E5-E41E9245DC47@glasgow.ac.uk> <67B64692-A404-4F22-B65D-6D4A2C7372E6@glasgow.ac.uk>
In-Reply-To: <67B64692-A404-4F22-B65D-6D4A2C7372E6@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: c276abab-3124-4863-8e73-08d7eabfa92d
x-ms-traffictypediagnostic: LNXP265MB0425:
x-microsoft-antispam-prvs: <LNXP265MB04257143AAF0FB7AF720FFBABCAF0@LNXP265MB0425.GBRP265.PROD.OUTLOOK.COM>
x-ms-oob-tlc-oobclassifiers: OLM:9508;
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:(366004)(136003)(346002)(396003)(376002)(39860400002)(66476007)(33656002)(450100002)(2906002)(5660300002)(66446008)(76116006)(66946007)(71200400001)(64756008)(3480700007)(86362001)(6506007)(53546011)(966005)(6512007)(36756003)(81156014)(66556008)(8676002)(478600001)(8936002)(2616005)(6486002)(110136005)(186003)(26005)(316002)(786003); 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: 7VE33w1DnC+1tP2acUx3F414sCqIXDvZg9CaI3tC0UiamiCRl7+jL/4KqMdN40tIbW241YG8RX1y7jH6yxhaW+TdrfazS+GVeRPeuPVzL+AXEnamTFXIjE4JNj3SAIEPUQZ1UxjNEN7ThWhvQhmBbIo3qQusLR94ZyoILckes8LkSkXHVCab7Fz2I2Z2Nl6J8mX/DYPh7DvmrUxFBPf5Qm2yLzmEAJPNd3fPGSOvCGrDGa+ld9Arpu83u5QICt1Y+NrZY2ZctSevY8nftMoerm+cKNLI+Yof0HmlQOUhWejP0IrgeU4Anqj6Dmg2g+/MEZgb/agwiFbw4C4quW5zF5Ak9f4blv3lmfBp14d5Lyy0ZlZHtvZ//AauBgWldMjYWm+7U8dHAMyVK1cW3UmLcqBzkLa2oajgVTxurhogXMoA/5ydcoKYGmpD1wrH9S1pXWNx1cDfUgjY1U63/MwtpBEPSbNf8344t3mw+VyJmDoEDR3DWGQL7alTuB2EdivRhq2mIgoMfNbBUmWP/y/OrQ==
x-ms-exchange-antispam-messagedata: 1MKbG+1m/2V0hgQbW7lbZfoQCvmCB5t43mLFaYh7BogYkYZ9fQC+S2G02mPw8RdNOEoshDmh4MvRrgOwWQ3W4A1U9Z8ljwo1cUNLyeQy0PColQ0M7ArHcLwkClVQnU/URhHGqRu//xrsyaK8Z/1XJPGkVRYEq7zvO835WbB+xgpv1xt19B12YoPJ9cBr0a3dUclEZe0eKG6KMSqtbd7m839PDKwfDdgwabf+0iRG+qxIJj1fTvQsQntHjn0W5PosbH34sumrhWsaA+8irCzYDAwIRou8U2H9qfLtbc4rzTBeKBJISXM3YKlPNybhOz1hzrFyA8ybggyE5R4+18fAYP5bJQELVXu0if+LE0jUmOHOgYK/lSJAq5X5xeE2eMcWEjwPxki8u3ZrvOJJJEKcbk2LBxo3VZnxcJ6eWbDxYns1MG1IyXdK5nNW89twmPkYYWcelmyykf0UIr1vtIK6VqDw73Z00Pb+TPDpCrDTFnED4zXXc3Z27BaNDJEj+pT8UC6zT1nH3EvhjYIRZ/HhIoHf6K+/XD4Cm7PkH0RTJmRTyKAvPH1NqAgQSkofrTs1WVO74b1mNcuRe4NF6HGyuJrD/6LIl9hUCKQ2Zg9sHP9wV81j0JJFoU1ZXbQz1xyb2S8OiKpwWjRLNe36HHZD3iK35CXqK6sy9TLUS73e4rANURKLCx6bAh3UI24qbAThEYETRZpzYq+qMyb8PHvAVf5g6MbtlIxBZ9p6o/SuzIQY3+AHjmxxK9H2RytPhuhez5QP7jP7qclK0QTr3ckwD/V/54SCFYLidTTK81TtQqY=
x-ms-exchange-transport-forked: True
Content-Type: multipart/alternative; boundary="_000_B7A459842BFD431ABFEBC4A357A55646glasgowacuk_"
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-Network-Message-Id: c276abab-3124-4863-8e73-08d7eabfa92d
X-MS-Exchange-CrossTenant-originalarrivaltime: 27 Apr 2020 15:28:39.2703 (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: fmq7sFVJwtX7L3WnZijfCqOwyuUOq6DxKttsQmjrdDRKa+CB0sh/Yi6shie/Fi7kgSX6u7VGR1fC9mtgfoBEOSoP3BCa/ntkcd6vcp3lYA8=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: LNXP265MB0425
X-OriginatorOrg: glasgow.ac.uk
Archived-At: <https://mailarchive.ietf.org/arch/msg/hackathon/XLQIg68wmDKiVVR6GHYeXDX6PNg>
Subject: Re: [hackathon] 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, 27 Apr 2020 15:28:45 -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 20 Apr 2020, at 20:20, 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.

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

v2.23.0 | Report a Bug | By Email