Re: [fdt] Summary of the Formal Languages Bar BoF at IETF 106 in Singapore

Carsten Bormann <cabo@tzi.org> Wed, 04 December 2019 14:59 UTC

Return-Path: <cabo@tzi.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 2452D12081C for <fdt@ietfa.amsl.com>; Wed, 4 Dec 2019 06:59:01 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.199
X-Spam-Level:
X-Spam-Status: No, score=-4.199 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=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 Zh8J0axm94JR for <fdt@ietfa.amsl.com>; Wed, 4 Dec 2019 06:58:57 -0800 (PST)
Received: from gabriel-vm-2.zfn.uni-bremen.de (gabriel-vm-2.zfn.uni-bremen.de [134.102.50.17]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 1FBBF12008C for <fdt@ietf.org>; Wed, 4 Dec 2019 06:58:57 -0800 (PST)
Received: from [192.168.217.116] (p548DC893.dip0.t-ipconnect.de [84.141.200.147]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by gabriel-vm-2.zfn.uni-bremen.de (Postfix) with ESMTPSA id 47ShnW2fxdz16Sf; Wed, 4 Dec 2019 15:58:55 +0100 (CET)
Content-Type: text/plain; charset=utf-8
Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\))
From: Carsten Bormann <cabo@tzi.org>
In-Reply-To: <5410BB91-F913-4316-B62E-8923A86A5C88@smcquistin.uk>
Date: Wed, 4 Dec 2019 15:58:54 +0100
Cc: fdt@ietf.org, Marc Petit-Huguenin <marc@petit-huguenin.org>
X-Mao-Original-Outgoing-Id: 597164331.382735-aee7f5845b94731f76ddb8f0c43d9102
Content-Transfer-Encoding: quoted-printable
Message-Id: <D8CCC84D-5840-4075-897A-C86EB27A1549@tzi.org>
References: <5410BB91-F913-4316-B62E-8923A86A5C88@smcquistin.uk>
To: Stephen McQuistin <sm=40smcquistin.uk@dmarc.ietf.org>
X-Mailer: Apple Mail (2.3445.9.1)
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/qC17zfpZZzdwhbgFl_OcB6UDwPU>
Subject: Re: [fdt] Summary of the Formal Languages Bar BoF at IETF 106 in Singapore
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: Wed, 04 Dec 2019 14:59:01 -0000

On Dec 4, 2019, at 15:24, Stephen McQuistin <sm=40smcquistin.uk@dmarc.ietf.org> wrote:
> 
>  - CBOR (RFC 7049)

Actually, the formal language is CDDL (RFC 8610); CBOR (RFC 7049) and JSON (RFC 8259) are the two serialization formats that are targeted by CDDL at this time.

Grüße, Carsten