IETF Logo Mail Archive

Re: [fdt] Formal languages side meeting at IETF 107

Stephen McQuistin <Stephen.McQuistin@glasgow.ac.uk> Sat, 29 February 2020 15:46 UTC

Return-Path: <Stephen.McQuistin@glasgow.ac.uk>
X-Original-To: fdt@ietfa.amsl.com
Delivered-To: fdt@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id CB76B3A0D19; Sat, 29 Feb 2020 07:46:26 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.194
X-Spam-Level:
X-Spam-Status: No, score=-4.194 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_MED=-2.3, 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 8nPlSPb75Z5v; Sat, 29 Feb 2020 07:46:22 -0800 (PST)
Received: from hillend.cent.gla.ac.uk (hillend.cent.gla.ac.uk [130.209.16.102]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 72C9F3A0D17; Sat, 29 Feb 2020 07:46:22 -0800 (PST)
Received: from cas08.campus.gla.ac.uk ([130.209.14.165]) by hillend.cent.gla.ac.uk with esmtp (Exim 4.72) (envelope-from <Stephen.McQuistin@glasgow.ac.uk>) id 1j84Jo-0000SQ-8A; Sat, 29 Feb 2020 15:46:20 +0000
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; Sat, 29 Feb 2020 15:46:19 +0000
Received: from GBR01-LO2-obe.outbound.protection.outlook.com (104.47.21.51) by CAS08.campus.gla.ac.uk (130.209.14.165) with Microsoft SMTP Server (TLS) id 15.0.1497.2 via Frontend Transport; Sat, 29 Feb 2020 15:46:19 +0000
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=kQF3fEM93tO7hUjPdP8jFKrwW7Qg7baICQ2nK27TMWj9qIdioqoqBJbSyGuby4VL9C58Cdq/4n4Y7PXLZ8fL/fOnT3pIPPdQ0Ema9DNfsZ1B7NgIQk5m6G+G1TSW/2k7k8T03r4amVUyZe44OWhm9+m5S4XFkTIx7kSJDPj0+fxPMVuA76kZWiLZMKiXiGPnDMzmj4WutYelWXsE4SF1BlRExWAY1+O1L5qmEHQQRkMxIN6ai/ou0oY03QMaHqdK9dmzFxRccJEIpnDEZZwn5AnHaQC0rfAxJqNQVoy/3rcmIfW9VdcgJQ/PtZBaickJwArUEtxDY9SMdR0eoW/PDQ==
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=culzH8+YXhk5yMijKLI5NBDERmFkyffVB5aj/ygoEko=; b=IETNE1jPLklCORCUbRjeQhDjIhnKbKE4XiYWXWOc9siIMIqaUI/+U01AdQgzs3wQsXYZ/RKaAPLE2LT5EBNVmvRGYcx60aNNa6oXxGl3R2VOd2LxyewPXhm6lLa4H+jUeB9t5ZxSbCT15fODTRtS59gkUYqsHoFcewJRc0otyekfSSvUkHgppkp0kv5hXLbleR1+MJvwX7g8ojxT8cvUXy1q1hHRUgsRkeZvdPNETVVspQD1AAKMWySzXo4QoauKmL33WO92s2iRo+Ld58hicCgT3gc3uNmVU6AneOf9tv+OkXCAujV7S3aa6ibg1Dh6QNdFiPPWsweiMD7VyfWuLw==
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=culzH8+YXhk5yMijKLI5NBDERmFkyffVB5aj/ygoEko=; b=HY2SQLwp+AfmnWetoZ/dTU1I4rgPXz9ZIIDnGfI0Xl9MMI10hQZMtL4wHwGMS6CECHicVcPpmKJ5VRaLDkGQwVBKP34GPsHItrJdGiBN7SVs745ku6VjvQagiObx9CdRT61wn9ltR2bh3NkKXxOVsx9hg8T04wZNJBn5XQUgjtg=
Received: from LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM (10.166.185.150) by LNXP265MB1404.GBRP265.PROD.OUTLOOK.COM (20.176.132.11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2772.18; Sat, 29 Feb 2020 15:46:19 +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.018; Sat, 29 Feb 2020 15:46:19 +0000
From: Stephen McQuistin <Stephen.McQuistin@glasgow.ac.uk>
To: "fdt@ietf.org" <fdt@ietf.org>, "hackathon@ietf.org" <hackathon@ietf.org>
Thread-Topic: Formal languages side meeting at IETF 107
Thread-Index: AQHV7xdiKwdrvVrP2kuQwLPB1bqEUQ==
Date: Sat, 29 Feb 2020 15:46:19 +0000
Message-ID: <4B0D575F-563C-416B-8DED-28E481AD3985@glasgow.ac.uk>
References: <453FF389-4924-4CF1-8ABE-19BCAF340731@smcquistin.uk>
In-Reply-To: <453FF389-4924-4CF1-8ABE-19BCAF340731@smcquistin.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: [213.181.100.71]
x-ms-publictraffictype: Email
x-ms-office365-filtering-correlation-id: ba6b27e3-2873-4467-1c8f-08d7bd2e84ea
x-ms-traffictypediagnostic: LNXP265MB1404:
x-microsoft-antispam-prvs: <LNXP265MB140480276005199E5198B4F7BCE90@LNXP265MB1404.GBRP265.PROD.OUTLOOK.COM>
x-ms-oob-tlc-oobclassifiers: OLM:10000;
x-forefront-prvs: 03283976A6
x-forefront-antispam-report: SFV:NSPM; SFS:(10009020)(136003)(376002)(346002)(366004)(39860400002)(396003)(189003)(199004)(64756008)(110136005)(316002)(66946007)(786003)(2906002)(66476007)(66556008)(450100002)(76116006)(2616005)(33656002)(66446008)(478600001)(966005)(8676002)(5660300002)(6512007)(53546011)(8936002)(6486002)(81166006)(71200400001)(81156014)(86362001)(36756003)(186003)(6506007)(26005); DIR:OUT; SFP:1101; SCL:1; SRVR:LNXP265MB1404; 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: bw9N4HNqIDgUVjY/boeCpDcHxeImzcMt/nPHhL/jfH/N1uT5l6kGccZq/OUvn4XRMEOsHp7+S06y0bhViPU2IRLgMC6DXhVHU5Ro/Lk1yvGRZLGhgJjUXuV9UAhwi2+WLaKgcss/u1akHYxOydkw2peHFiMDAg5H8xymvFb/pukOUAQhwke2DyHtKjCmiQy8VHG692Hi+CFOpUkYMNVSAu6jwvsTBoCBMlGp43+d1xHIwLQtF9afZC4/HLpN/GXinss7Uw3sVZiphtsW3j+PxQBukoK471lexL26+CGuqDjmfuvdwqDvzNQ0ayXupVyC728oWLm99cGnahtf3rQxEh5L1S3brWGGx0+q2tjJREiyEwoiAsJ319FyX5l8a5WVLGj3YcDCQ7fbDcSed+sSPwnVMzpPG4PzzTnZTZZNYxnZPQTqG3UPDYb+HV35C5ySmc1JBqndQD0XZaMOhXck5+A/QNGXdZXjArgACGvvBo+L4ufCF0OcuPoUrqNExHOR6f8V2uYs6IZ5J+6kM+yeGQ==
x-ms-exchange-antispam-messagedata: 20wdFKCcbf3iQ0/wVI7Xba4svIlvq5b7yNTXnysCnuv3iGKRWRewVYT4NA/0y0QMJN5IaQBsZfIIdhJbZIXYDix1VL0kpo4MtsMNz+ORza7IGIpHakgp8280CgmppeQTmjLICbFLocSJsEqE7kxkEQ==
x-ms-exchange-transport-forked: True
Content-Type: multipart/alternative; boundary="_000_4B0D575F563C416B8DED28E481AD3985glasgowacuk_"
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-Network-Message-Id: ba6b27e3-2873-4467-1c8f-08d7bd2e84ea
X-MS-Exchange-CrossTenant-originalarrivaltime: 29 Feb 2020 15:46:19.0995 (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: O+d+nLehg2hsS86UxPNBZlhSkhYH4bDqUUsiJQYJNmoHTUAg6nAfIlBnRKxYx38RyVMTZwFkD8P8/MX4b8Zp7FxB5oeBAEZ653swxhJxp7g=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: LNXP265MB1404
X-OriginatorOrg: glasgow.ac.uk
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/0tlP9F_3oe5XJJtKOZV2SQCZnDo>
Subject: Re: [fdt] Formal languages side meeting at IETF 107
X-BeenThere: fdt@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Mailing list for the discussion of the use of formal description techniques in IETF documents <fdt.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/fdt>, <mailto:fdt-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/fdt/>
List-Post: <mailto:fdt@ietf.org>
List-Help: <mailto:fdt-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/fdt>, <mailto:fdt-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sat, 29 Feb 2020 15:54:34 -0000

Hi all,

A reminder that we have a Doodle poll open for scheduling a side meeting on formal languages projects at IETF 107:
https://doodle.com/poll/f8xh28hwqc8axc7z

If you would like to present, please reply with the topic/project you plan to talk about.

Thanks,

Stephen

On 24 Feb 2020, at 22:04, Stephen McQuistin <sm@smcquistin.uk<mailto:sm@smcquistin.uk>> wrote:

Hi,

As discussed in Singapore, we're planning to have a side meeting to discuss
formal languages projects at IETF 107.

So that we can try to schedule the side meeting for a time that suits most
people, we've created a Doodle poll at:
    https://doodle.com/poll/f8xh28hwqc8axc7z

We'd like to invite presentations on projects that are related to formal
languages. If you would like to present, please complete the Doodle poll
above and reply to this message with the topic/project you plan to
talk about.

In addition to presentations about specific projects, we would like to
discuss and identify 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.

Finally, a reminder that we're also planning to have a formal languages
table at the Hackathon. If you plan to attend at this table, please add
yourself and your project in the wiki
(https://trac.ietf.org/trac/ietf/meeting/wiki/107hackathon).

Thanks,

Stephen McQuistin

v2.23.0 | Report a Bug | By Email