[fdt] Formal languages side meeting at IETF 107
Stephen McQuistin <sm@smcquistin.uk> Mon, 24 February 2020 22:04 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 691D73A1445 for <fdt@ietfa.amsl.com>; Mon, 24 Feb 2020 14:04:48 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.098
X-Spam-Level:
X-Spam-Status: No, score=-2.098 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=unavailable autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-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 SCNL-JGfwBMt for <fdt@ietfa.amsl.com>; Mon, 24 Feb 2020 14:04:46 -0800 (PST)
Received: from mail-wm1-x32a.google.com (mail-wm1-x32a.google.com [IPv6:2a00:1450:4864:20::32a]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 8B8733A1432 for <fdt@ietf.org>; Mon, 24 Feb 2020 14:04:43 -0800 (PST)
Received: by mail-wm1-x32a.google.com with SMTP id q9so912971wmj.5 for <fdt@ietf.org>; Mon, 24 Feb 2020 14:04:43 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=smcquistin.uk; s=google; h=from:mime-version:subject:message-id:date:to; bh=TGnifUvZuXBvIr7LFB3A8R8ghy8OV4FIdsKnqEDfz/E=; b=fRJZNXSCgGUSlP1l60V56xkxhkCQBfLOS3/bD4SYRX5MnUDwqCRMuBtn+tyZrg0lHz XvnXTACcswZaXESHcdYRHcGoiunmbqZAJDBnMGq5Pmp4okgwcej8Hg677VsUGsBA8jF4 8fvSdWaY/JHhQzsoZ5DOpFilucRQRg2kenLu7JaWvN34J2jFXmt0aKIsnEQWhiu+3yk4 7gLUBUQeoqTWqpTceJQ3bx9tUsrIqY8NcGF/LjmvDbgWCGOWKDHu9FI+zzyeQsOapxPk l7KlAdAUyinz984aN9SR6OqhVpJQSYLWVKK5z26ElqHqPOn8bA+jWRf8/ARELtfS1K7U Rt5g==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:mime-version:subject:message-id:date:to; bh=TGnifUvZuXBvIr7LFB3A8R8ghy8OV4FIdsKnqEDfz/E=; b=iLN+CUVtpxeSdtZabZs7PdCH2hllpwpdc1UEiJmwBR8SRgMLBXuWUeNc/UnVOt3TEN iZ39NElyLRqQMt16XeO+MR9kfth5RI3dOANhmiQaL2seQf/GN4qA1hhJx6bblCKkXNF0 XxgKL5PVdPfiGm9j1HgP8WmCjntUnHmqWopkWohXjTX2rUHHmWzJa/PtvNFreg6zIN3T mHLaGnIIB3GaACocHTYLRLWODDlvHtQaAg7CQ6jUmrsEQzGenH8SVCH9UE4MZw5dY2ya ponSmYpOvRY1ZnWpzYMsfc5T5m+yweA3UFFNEWi9n4c30mq2Mfb9Ukrl0tkAm49R/JVa PQJA==
X-Gm-Message-State: APjAAAXL9MnYSlk9hF0R/9q3dMwatQ6a+XSNHiMKgY6cGyO9hNYkct89 ANMNQDo9+3RnaPEKp58iyDj2JzSwf5FUrYnJ
X-Google-Smtp-Source: APXvYqztAmMj19sOJfSBOYP2Ae8L0TjaOvg9Yg9gQVCdux0Diua43yVuutjnamTO5J4ACkjLqn62aA==
X-Received: by 2002:a7b:c3d8:: with SMTP id t24mr495964wmj.43.1582581881005; Mon, 24 Feb 2020 14:04:41 -0800 (PST)
Received: from [172.20.2.19] (254-136-209-31.business.hringdu.is. [31.209.136.254]) by smtp.gmail.com with ESMTPSA id v131sm1150940wme.23.2020.02.24.14.04.40 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 24 Feb 2020 14:04:40 -0800 (PST)
From: Stephen McQuistin <sm@smcquistin.uk>
Content-Type: multipart/alternative; boundary="Apple-Mail=_9361CF32-EF0D-43F2-AE02-B793E3B34B92"
Mime-Version: 1.0 (Mac OS X Mail 13.0 \(3601.0.10\))
Message-Id: <453FF389-4924-4CF1-8ABE-19BCAF340731@smcquistin.uk>
Date: Mon, 24 Feb 2020 22:04:38 +0000
To: fdt@ietf.org, hackathon@ietf.org
X-Mailer: Apple Mail (2.3601.0.10)
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/wCTbcLk9USXsyt6PrEi0aQadpx0>
Subject: [fdt] Formal languages side meeting at IETF 107
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: Mon, 24 Feb 2020 22:04:50 -0000
Hi,
As discussed in Singapore, we're planning to have a side meeting to discuss
formal languages projects at IETF 107.
So that we can try to schedule the side meeting for a time that suits most
people, we've created a Doodle poll at:
https://doodle.com/poll/f8xh28hwqc8axc7z <https://doodle.com/poll/f8xh28hwqc8axc7z>
We'd like to invite presentations on projects that are related to formal
languages. If you would like to present, please complete the Doodle poll
above and reply to this message with the topic/project you plan to
talk about.
In addition to presentations about specific projects, we would like to
discuss and identify the cross-cutting concerns (that cannot be addressed
in existing groups) around the use of formal languages in the IETF, and to
discuss how to take this work forward.
Finally, a reminder that we're also planning to have a formal languages
table at the Hackathon. If you plan to attend at this table, please add
yourself and your project in the wiki
(https://trac.ietf.org/trac/ietf/meeting/wiki/107hackathon).
Thanks,
Stephen McQuistin
- [fdt] Formal languages side meeting at IETF 107 Stephen McQuistin
- Re: [fdt] Formal languages side meeting at IETF 1… Stephen McQuistin