[fdt] An Introduction to Computerate Specifying
Marc Petit-Huguenin <marc@petit-huguenin.org> Tue, 23 February 2021 22:40 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 9417D3A0EDA for <fdt@ietfa.amsl.com>; Tue, 23 Feb 2021 14:40:30 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.9
X-Spam-Level:
X-Spam-Status: No, score=-1.9 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, 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 BAD8aUmlRqLa for <fdt@ietfa.amsl.com>; Tue, 23 Feb 2021 14:40:28 -0800 (PST)
Received: from implementers.org (implementers.org [92.243.22.217]) (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 22D703A0EE1 for <fdt@ietf.org>; Tue, 23 Feb 2021 14:40:27 -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 8D3C8AE21E for <fdt@ietf.org>; Tue, 23 Feb 2021 23:40:24 +0100 (CET)
From: Marc Petit-Huguenin <marc@petit-huguenin.org>
To: "fdt@ietf.org" <fdt@ietf.org>
Message-ID: <1eb54e78-1959-ca70-68fb-3fc1bb7a8ba6@petit-huguenin.org>
Date: Tue, 23 Feb 2021 14:40:22 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.7.1
MIME-Version: 1.0
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/23VRtmY6kMRSOB5IyN6FfBenMQM>
Subject: [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: Tue, 23 Feb 2021 22:40:36 -0000
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