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

Stephen McQuistin <sm@smcquistin.uk> Wed, 04 December 2019 14:24 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 DD3EE120816 for <fdt@ietfa.amsl.com>; Wed, 4 Dec 2019 06:24:19 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: 1.335
X-Spam-Level: *
X-Spam-Status: No, score=1.335 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_SBL_CSS=3.335, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=no autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=smcquistin.uk
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 UOblrf8evjv2 for <fdt@ietfa.amsl.com>; Wed, 4 Dec 2019 06:24:17 -0800 (PST)
Received: from correios.smcquistin.uk (correios.smcquistin.uk [IPv6:2a01:7e00::f03c:92ff:fe91:3928]) (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 7D229120817 for <fdt@ietf.org>; Wed, 4 Dec 2019 06:24:17 -0800 (PST)
Received: from correios.smcquistin.uk (correios.smcquistin.uk [127.0.0.1]) by correios.smcquistin.uk (Postfix) with ESMTP id 47Sh1W6WBKz3RHK for <fdt@ietf.org>; Wed, 4 Dec 2019 14:24:15 +0000 (UTC)
Authentication-Results: correios.smcquistin.uk (amavisd-new); dkim=pass (1024-bit key) reason="pass (just generated, assumed good)" header.d=smcquistin.uk
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=smcquistin.uk; h= x-mailer:to:date:date:message-id:subject:subject:mime-version :content-transfer-encoding:content-type:content-type:from:from; s=dkim; t=1575469455; x=1578061456; bh=J/GMWSjBHbLymXtlN5X86v8U rImII/NQ+SooMorIVOg=; b=Oh1CvOVjsoQZslrStqOL/KB5qFMiYyrxUpEGFM8k OFMIkNNuGW+FxF8LIMl6S3iSXYu3y3BjztMYZVWZxfaeCuR7T53YaALgevIAnehd RYuftklqd12VIsA6wLlfgcGe3gDAqIomyjOWgVu7dFMHsVLhRmlolX3d30bbcC/1 hac=
X-Virus-Scanned: Debian amavisd-new at correios.smcquistin.uk
Received: from correios.smcquistin.uk ([127.0.0.1]) by correios.smcquistin.uk (correios.smcquistin.uk [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id Y6RWic3pSHFd for <fdt@ietf.org>; Wed, 4 Dec 2019 14:24:15 +0000 (UTC)
Received: from [172.20.10.4] (unknown [213.205.241.84]) by correios.smcquistin.uk (Postfix) with ESMTPSA id 47Sh1W3Dc6z3RGd; Wed, 4 Dec 2019 14:24:15 +0000 (UTC)
From: Stephen McQuistin <sm@smcquistin.uk>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: quoted-printable
Mime-Version: 1.0 (Mac OS X Mail 13.0 \(3601.0.10\))
Message-Id: <5410BB91-F913-4316-B62E-8923A86A5C88@smcquistin.uk>
Date: Wed, 4 Dec 2019 14:24:14 +0000
Cc: Marc Petit-Huguenin <marc@petit-huguenin.org>
To: fdt@ietf.org
X-Mailer: Apple Mail (2.3601.0.10)
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/kDfSHL4_EaVYhkX2wuUTAwk-jEM>
Subject: [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:24:20 -0000

We held a Bar BoF on Thursday October 21st, at IETF 106 in Singapore. This
first informal meeting was well attended, with 8 participants.

The range of projects/languages that were represented included:
  - Computerate Specifying (draft-petithuguenin-computerate-specifying)
  - Augmented Packet Header Diagrams (draft-mcquistin-augmented-ascii-diagrams)
  - ABNF (RFC 5234)
  - CBOR (RFC 7049)
  - Mathematical Mesh (draft-hallambaker-mesh-architecture)

We identified that there are common issues with the design, adoption, and
deployment of formal description techniques that are worthy of wider
discussion.

With this in mind, we plan to organise a side meeting at IETF 107 in March 
2020 in Vancouver. In addition, we will encourage participation with a
formal languages table at the IETF 107 Hackathon.

Once these activities have been scheduled, we look forward to input on
projects, languages, and other topics that should be discussed.

Thank you,

Stephen McQuistin & Marc Petit-Huguenin