Re: [fdt] An Introduction to Computerate Specifying
Marc Petit-Huguenin <marc@petit-huguenin.org> Fri, 26 February 2021 12:37 UTC
Return-Path: <marc@petit-huguenin.org>
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 71B9E3A14AD for <fdt@ietfa.amsl.com>; Fri, 26 Feb 2021 04:37:21 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.901
X-Spam-Level:
X-Spam-Status: No, score=-1.901 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, NICE_REPLY_A=-0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
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 sdm81YzhqCPq for <fdt@ietfa.amsl.com>; Fri, 26 Feb 2021 04:37:19 -0800 (PST)
Received: from implementers.org (implementers.org [IPv6:2001:4b98:dc0:45:216:3eff:fe7f:7abd]) (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 1EDFB3A14AA for <fdt@ietf.org>; Fri, 26 Feb 2021 04:37:17 -0800 (PST)
Received: from [IPv6:2601:648:8400:8e7d:d250:99ff:fedf:93cd] (unknown [IPv6:2601:648:8400:8e7d:d250:99ff:fedf:93cd]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "Marc Petit-Huguenin", Issuer "implementers.org" (verified OK)) by implementers.org (Postfix) with ESMTPS id 36812AE255 for <fdt@ietf.org>; Fri, 26 Feb 2021 13:37:14 +0100 (CET)
From: Marc Petit-Huguenin <marc@petit-huguenin.org>
To: "fdt@ietf.org" <fdt@ietf.org>
References: <1eb54e78-1959-ca70-68fb-3fc1bb7a8ba6@petit-huguenin.org>
Message-ID: <47543484-909f-e8d1-1393-86b73c58b9be@petit-huguenin.org>
Date: Fri, 26 Feb 2021 04:37:11 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.7.1
MIME-Version: 1.0
In-Reply-To: <1eb54e78-1959-ca70-68fb-3fc1bb7a8ba6@petit-huguenin.org>
Content-Type: text/plain; charset="utf-8"; format="flowed"
Content-Language: en-US
Content-Transfer-Encoding: 8bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/muhlZVLjgYtcEEnXVBen4Qd53eg>
Subject: Re: [fdt] An Introduction to Computerate Specifying
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, 26 Feb 2021 12:37:21 -0000
A reminder to tell your availability in the poll below if you plan to attend that side meeting. Thanks. On 2/23/21 2:40 PM, Marc Petit-Huguenin wrote: > My plan is to release the last bits of the Computerate Specification draft, tooling and library in July 2021, which means that it is time to start talking a bit more about these techniques and how they aim to make the Internet work better. > > So I'd like to schedule a one hour virtual side meeting for a presentation followed by a discussion. I created a doodle to choose the date, with the time be right after the normally scheduled meetings of IETF 110: > > https://doodle.com/poll/gdwvk8xbby4rn2uv?utm_source=poll&utm_medium=link > > I plan to use Jitsi for the meeting. Note that a registration to IETF 110 is not needed to attend, although the IETF Note Well[1] applies. > > Thanks. > > > [1] https://www.ietf.org/about/note-well/ > -- Marc Petit-Huguenin Email: marc@petit-huguenin.org Blog: https://marc.petit-huguenin.org Profile: https://www.linkedin.com/in/petithug
- [fdt] An Introduction to Computerate Specifying Marc Petit-Huguenin
- Re: [fdt] An Introduction to Computerate Specifyi… Marc Petit-Huguenin
- Re: [fdt] An Introduction to Computerate Specifyi… Marc Petit-Huguenin