Re: [fdt] Proposed charter text & meeting

Stephen McQuistin <sm@smcquistin.uk> Mon, 24 August 2020 07:43 UTC

Return-Path: <sm@smcquistin.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 573883A08AF for <fdt@ietfa.amsl.com>; Mon, 24 Aug 2020 00:43:30 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -0.199
X-Spam-Level:
X-Spam-Status: No, score=-0.199 tagged_above=-999 required=5 tests=[DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=smcquistin.uk header.b=GsJQw2gO; dkim=pass (2048-bit key) header.d=messagingengine.com header.b=f/p0TZRV
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 nigJeHU5bBGt for <fdt@ietfa.amsl.com>; Mon, 24 Aug 2020 00:43:28 -0700 (PDT)
Received: from new2-smtp.messagingengine.com (new2-smtp.messagingengine.com [66.111.4.224]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id A8FBF3A084E for <fdt@ietf.org>; Mon, 24 Aug 2020 00:43:28 -0700 (PDT)
Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailnew.nyi.internal (Postfix) with ESMTP id 4E66158026E for <fdt@ietf.org>; Mon, 24 Aug 2020 03:43:27 -0400 (EDT)
Received: from mailfrontend1 ([10.202.2.162]) by compute3.internal (MEProxy); Mon, 24 Aug 2020 03:43:27 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=smcquistin.uk; h=from:content-type:mime-version:subject:date:references:to :in-reply-to:message-id; s=fm1; bh=TpB35wtCHmaf13zU6xTlexyKtVao4 zzpeHoLkG3s3J8=; b=GsJQw2gOEN6AJnAKIY/GP4tM7XQVFEtjM4t0Uq9O4Bq1U XvTUn5bipy/NrOH2KaDzIY81h/Hvg2mjE0j/wbN64kO0K/H9mxWmH+T9b4FL6Zg/ YdoWrjE8L2jeyTmdM3kkpR0Gw9qA6IuXogISrOAWhgcFSz21a1yfayX6d2ppVuTE O28pkCLI9r5kK5pEKU+aZQYTYgRIlHxF9JAS8/8uwpp+kwqJ4LApRDDqyhLi1ULi 60IXlrBaZQhtm38Q0fnJPNqxM+QTgqqkX/PWgH+tIz1wNfzkRApME2bCCJfDhas6 LfNYM1wSIpsTqV0vAaMZstBaoSrOSewAtNjFGmGkw==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm3; bh=TpB35w tCHmaf13zU6xTlexyKtVao4zzpeHoLkG3s3J8=; b=f/p0TZRVMjIv319UhbKRj8 XcrRqOe+y0aNOSaSRozyvpGWvkK7qYrDm+iNI0xhirquJS9i8aekwSOLSiYJtAlj NnwDASs/XcHEzuzSg0yIZaY38Te/0/MSELUG81Lx0AH4g7f4UARWQZVY3TTyKubA IaXCnDUvpe7n6Hv2xExhkwtlZL40iSnjm1/yH13f7nI/fM2Lp+zq/l9afFioLJIv 7PXWOQTFAbq9IywKtpKT5Y723+oIQVE4pz4VbtymSbFa8xVALKTOHjrFRfNZjYJp PaPaD1Qlg8W1TgwpiX0LyucsoW48IAAc482UITiYJmiq1CtoKsF3DipRqw8A+vig ==
X-ME-Sender: <xms:nm9DX9ZSZoJVpnNkBBNeOcRlTZOasy79aD8XL5RDOzc7gFSCwp4JYA>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduiedruddujedgkeelucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucenucfjughrpefhtggguffffhfvjgfkofesrgdtmh erhhdtvdenucfhrhhomhepufhtvghphhgvnhcuofgtsfhuihhsthhinhcuoehsmhesshhm tghquhhishhtihhnrdhukheqnecuggftrfgrthhtvghrnhepueefvedttedvtddtveegve ejgeeltdetueejvefgiefhgedtuddthefgteffkeelnecuffhomhgrihhnpeguohhoughl vgdrtghomhdphhgrtghkmhgurdhiohdpihgvthhfrdhorhhgnecukfhppedutdelrdduhe egrdduleehrddunecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilhhf rhhomhepshhmsehsmhgtqhhuihhsthhinhdruhhk
X-ME-Proxy: <xmx:nm9DX0alO60L-JWYO7Cc8Ct3vHY_CU5P2Aae8gkP0_P6eOdWE6nKww> <xmx:nm9DX_-aymBypUqS1msROw7v9I070b4y6iUyqdwpKt89W97z19sV3Q> <xmx:nm9DX7qEfIerYN_inux1kpsmM0GXw0L1iBF7fZ2UzeVc17SPalxr1w> <xmx:n29DXx6BqoXZxmAsX8o4XbKxLY87FcQJl0CV37GTNfUoK_FE3nBJhQ>
Received: from localhost (host109-154-195-1.range109-154.btcentralplus.com [109.154.195.1]) by mail.messagingengine.com (Postfix) with ESMTPA id 7A4F23280059 for <fdt@ietf.org>; Mon, 24 Aug 2020 03:43:26 -0400 (EDT)
From: Stephen McQuistin <sm@smcquistin.uk>
Content-Type: multipart/alternative; boundary="Apple-Mail=_CD3C3FEB-59E1-4EEA-A2EE-461E0950E277"
Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3652.0.5.2.1\))
Date: Mon, 24 Aug 2020 08:43:25 +0100
References: <16D9B498-78F0-41AB-BAFC-77250C084A33@smcquistin.uk>
To: fdt@ietf.org
In-Reply-To: <16D9B498-78F0-41AB-BAFC-77250C084A33@smcquistin.uk>
Message-Id: <EA48528D-F798-4ED1-9BA1-39603E3C804E@smcquistin.uk>
X-Mailer: Apple Mail (2.3652.0.5.2.1)
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/54q4HmkUhKPGWA9l1js2-gTSzQg>
Subject: Re: [fdt] Proposed charter text & meeting
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: Mon, 24 Aug 2020 07:43:30 -0000

Hi all,

A reminder about this Doodle poll, to schedule a meeting to discuss the next steps for proposing an FDT research group:
	https://doodle.com/poll/82cdci26x5gktd3u <https://doodle.com/poll/82cdci26x5gktd3u>

I'll close the poll towards the end of the week, and confirm the selected date then.

Thanks,

Stephen

> On 17 Aug 2020, at 09:00, Stephen McQuistin <sm@smcquistin.uk> wrote:
> 
> Hi all,
> 
> One of the main outcomes of the Formal Languages side meeting that we held in
> May was that we would proceed to consider what an FDT research group might look
> like. Having solicited ideas on this, I've produced draft charter text:
> 
>     https://hackmd.io/@fdt/S1wTyI-fv <https://hackmd.io/@fdt/S1wTyI-fv>
> 
> I'd encourage everyone to have a look, and to comment/edit as they see fit.
> 
> So that we can discuss this text, and the next steps, we also plan to hold a
> further meeting in mid-September. I've created a Doodle poll to arrange a
> meeting in the week beginning 7th September:
> 
>     https://doodle.com/poll/82cdci26x5gktd3u <https://doodle.com/poll/82cdci26x5gktd3u>
> 
> The meeting will be held via Webex. I'll confirm the selected date by the end of
> next week.
> 
> Thanks,
> 
> Stephen
> -- 
> FDT mailing list
> FDT@ietf.org
> https://www.ietf.org/mailman/listinfo/fdt