IETF Logo Mail Archive

Re: [fdt] Proposed charter text & meeting

Stephen McQuistin <sm@smcquistin.uk> Fri, 28 August 2020 13:37 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 19D493A0486 for <fdt@ietfa.amsl.com>; Fri, 28 Aug 2020 06:37:35 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.1
X-Spam-Level:
X-Spam-Status: No, score=-2.1 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001, RCVD_IN_MSPIKE_H2=-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=rBm3ZQt4; dkim=pass (2048-bit key) header.d=messagingengine.com header.b=tPVjY51e
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 cRVuIMh4j8Bb for <fdt@ietfa.amsl.com>; Fri, 28 Aug 2020 06:37:33 -0700 (PDT)
Received: from wout5-smtp.messagingengine.com (wout5-smtp.messagingengine.com [64.147.123.21]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 5FB9B3A048D for <fdt@ietf.org>; Fri, 28 Aug 2020 06:37:33 -0700 (PDT)
Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.west.internal (Postfix) with ESMTP id 6211CF7E for <fdt@ietf.org>; Fri, 28 Aug 2020 09:37:32 -0400 (EDT)
Received: from mailfrontend2 ([10.202.2.163]) by compute3.internal (MEProxy); Fri, 28 Aug 2020 09:37:32 -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=X8QQW5T8OQ1QGRnN01pYxsmXPf7aU ukqmSgPgGwuAVc=; b=rBm3ZQt4Ybe/Hh1/VXFP3kHLwqO7rePHmBMoC1xUEzE/r m77sV+dvyix11HU4rCgzgxg7KNk2aQdG8IRkW4YrSBo/Swp6iwi5+n5Ic09cyhBM 0ZHUEYoavBTjhiWnzhBoUqPOcXjYuKqYr6J32Ds/Q1m/zn7hb9H6xCDZIG1SAbHI greVxpO5qqzdJ6mvavrzjXYl6WbGKCrR0jeLI/iCQT8GMe40svFNS0UNOolbeBCA RCf662P05e3oEkeIHGyU+YjIC2+vgQdqYy+pNomYIPauyM4ZsXx1iWTv2XzdxzaW aNlBn2Zo55qEk1SmPVTTVE/g9aV7Y+iGbX33Wz7eQ==
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=X8QQW5 T8OQ1QGRnN01pYxsmXPf7aUukqmSgPgGwuAVc=; b=tPVjY51e9RJ/oBZkPF0s0+ uvom6uy3tDy4uOxKtr+zByHrS6By6kl37WFhedna/Qfr8H2kvJClbShbtlTMHm3e u1S6/W3s1oIcS+Tbd8/mYf7eKp2n0Mq5vDqpcWZcYpDutgiefyD2nKReX+RpNCFS EDk5KYHjrcxOAkcL+esCLvshgICMNu9bAE1pVcope3QKBEXbH1+jlM1GLgiNqTPa I3F5hWQX9IKUpGvHtEYWGfjs9EhvAHGUeYXKb33tknH9UUq3y2nu8TyNmF+GXy5P /60WQLrSqe6fYBWbnWZb3jSmQXfqKPgVcJvr97ECAcEKJ3+Y918GAlNnl0xmhoBw ==
X-ME-Sender: <xms:mwhJX_7DC4b9z5MqgSsCPs1WQ2U04vcs8_C1MvOQLqk4-dVMz43eJw>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduiedruddvjedgvdeiucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucenucfjughrpefhtggguffffhfvjgfkofesrgdtmh erhhdtvdenucfhrhhomhepufhtvghphhgvnhcuofgtsfhuihhsthhinhcuoehsmhesshhm tghquhhishhtihhnrdhukheqnecuggftrfgrthhtvghrnhepkefhfeektddvudegffejfe etiedttedtvdfgteetheeutefftddtkefhiedutdfgnecuffhomhgrihhnpehhrggtkhhm ugdrihhopdguohhoughlvgdrtghomhdpihgvthhfrdhorhhgnecukfhppedutdelrdduhe egrdduleehrddunecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilhhf rhhomhepshhmsehsmhgtqhhuihhsthhinhdruhhk
X-ME-Proxy: <xmx:mwhJX07DNt_OsTrggBwl-nO9TC6z8AaxOdTFfT90rn0kwBongn01SQ> <xmx:mwhJX2eUEeWE96Awf-Y1XsE0mck01SMJPdn1kQhoC8ta2udSyHS7_A> <xmx:mwhJXwImqLn4iBtczUXjQZNpkgiqZk6HuTXEizSzbyzIrvdji05dcw> <xmx:nAhJX-buyTu_yg9kKdLxbqQqsdebzSCE0TnsoGwbWGP-FEfbTb0e5Q>
Received: from localhost (host109-154-195-1.range109-154.btcentralplus.com [109.154.195.1]) by mail.messagingengine.com (Postfix) with ESMTPA id 48CCA3060067 for <fdt@ietf.org>; Fri, 28 Aug 2020 09:37:31 -0400 (EDT)
From: Stephen McQuistin <sm@smcquistin.uk>
Content-Type: multipart/alternative; boundary="Apple-Mail=_5467E39F-64C3-4FF6-B5EB-CC18A7FEBE6D"
Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3652.0.5.2.1\))
Date: Fri, 28 Aug 2020 14:37:28 +0100
References: <16D9B498-78F0-41AB-BAFC-77250C084A33@smcquistin.uk> <EA48528D-F798-4ED1-9BA1-39603E3C804E@smcquistin.uk>
To: fdt@ietf.org
In-Reply-To: <EA48528D-F798-4ED1-9BA1-39603E3C804E@smcquistin.uk>
Message-Id: <B8882E15-4E47-4921-AED5-F2A1F4B36C11@smcquistin.uk>
X-Mailer: Apple Mail (2.3652.0.5.2.1)
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/Fq9nfg5NXBc1Ahg-GdYs8fcUL_g>
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: Fri, 28 Aug 2020 13:37:35 -0000

This formal languages meeting has now been scheduled for Thursday 10th September at 17:00 (UK time: UTC+1). I’ll send a Webex link nearer the time.

The meeting is to discuss the next steps for proposing an FDT group, and specifically, this draft charter text:
	https://hackmd.io/@fdt/S1wTyI-fv <https://hackmd.io/@fdt/S1wTyI-fv>

If there are any other items for discussion, please let me know.

Thanks,

Stephen

> On 24 Aug 2020, at 08:43, Stephen McQuistin <sm@smcquistin.uk> wrote:
> 
> 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 <mailto: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 <mailto:FDT@ietf.org>
>> https://www.ietf.org/mailman/listinfo/fdt
> 
> -- 
> FDT mailing list
> FDT@ietf.org
> https://www.ietf.org/mailman/listinfo/fdt

v2.23.0 | Report a Bug | By Email