IETF Logo Mail Archive

Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115

Marc Petit-Huguenin <marc@petit-huguenin.org> Sun, 06 November 2022 09:43 UTC

Return-Path: <marc@petit-huguenin.org>
X-Original-To: irtf-discuss@ietfa.amsl.com
Delivered-To: irtf-discuss@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 6473AC14CE27 for <irtf-discuss@ietfa.amsl.com>; Sun, 6 Nov 2022 01:43:46 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.91
X-Spam-Level:
X-Spam-Status: No, score=-1.91 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, NICE_REPLY_A=-0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_FAIL=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id CJxXXn3ZnbR9 for <irtf-discuss@ietfa.amsl.com>; Sun, 6 Nov 2022 01:43:42 -0800 (PST)
Received: from implementers.org (implementers.org [92.243.22.217]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id E3091C14CF14 for <irtf-discuss@irtf.org>; Sun, 6 Nov 2022 01:43:41 -0800 (PST)
Received: from [IPV6:dd98:5da8:d209:0:de53:60ff:feda:8cf2] (unknown [IPv6:2001:67c:1232:144:ada5:f151:f5d7:f5ac]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) 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 9C5F8AE232; Sun, 6 Nov 2022 10:43:38 +0100 (CET)
Message-ID: <ed5cbecc-cd3e-3c89-819d-93f0aeab5102@petit-huguenin.org>
Date: Sun, 06 Nov 2022 09:43:29 +0000
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.3.3
Content-Language: en-US
To: Stephane Bortzmeyer <bortzmeyer@nic.fr>, Colin Perkins <csp@csperkins.org>
Cc: irtf-discuss@irtf.org, 115attendees@ietf.org
References: <C91D3863-37D3-4E09-B1F9-588C316240CD@csperkins.org> <Y2VaF9nyL32nwRgn@laperouse.sources.org>
From: Marc Petit-Huguenin <marc@petit-huguenin.org>
In-Reply-To: <Y2VaF9nyL32nwRgn@laperouse.sources.org>
Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="------------ux4S0m025eLWKgeUvnVX2Ztv"
Archived-At: <https://mailarchive.ietf.org/arch/msg/irtf-discuss/IN-Mhfc1sNTN7IWbZ4fDzA04Tbs>
Subject: Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115
X-BeenThere: irtf-discuss@irtf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: IRTF general and new-work discussion list <irtf-discuss.irtf.org>
List-Unsubscribe: <https://www.irtf.org/mailman/options/irtf-discuss>, <mailto:irtf-discuss-request@irtf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/irtf-discuss/>
List-Post: <mailto:irtf-discuss@irtf.org>
List-Help: <mailto:irtf-discuss-request@irtf.org?subject=help>
List-Subscribe: <https://www.irtf.org/mailman/listinfo/irtf-discuss>, <mailto:irtf-discuss-request@irtf.org?subject=subscribe>
X-List-Received-Date: Sun, 06 Nov 2022 09:43:46 -0000

Hi Stephane,

On 11/4/22 19:29, Stephane Bortzmeyer wrote:
> On Fri, Nov 04, 2022 at 04:42:21PM +0000,
>  Colin Perkins <csp@csperkins.org> wrote 
>  a message of 180 lines which said:
> 
>> One of the sessions in the Applied Networking Research Workshop at
>> IETF 114 [1] started to discuss whether this is the right approach,
>> and to what extent formal methods, structured specification
>> languages, and natural language processing techniques can help
>> describe network protocols.
> 
> Is it related to draft-petithuguenin-computerate-specifying and
> draft-mcquistin-augmented-ascii-diagrams?
> 

I believe that -computerate-specifying mets objective 3 of the charter.  I plan to publish a new version as soon I get better.

v2.23.0 | Report a Bug | By Email