[hackathon] 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: hackathon@ietfa.amsl.com
Delivered-To: hackathon@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id F407F3A1434 for <hackathon@ietfa.amsl.com>; Mon, 24 Feb 2020 14:04:44 -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=ham 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 xee3yylfeCiC for <hackathon@ietfa.amsl.com>; Mon, 24 Feb 2020 14:04:43 -0800 (PST)
Received: from mail-wm1-x333.google.com (mail-wm1-x333.google.com [IPv6:2a00:1450:4864:20::333]) (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 1C5F43A1432 for <hackathon@ietf.org>; Mon, 24 Feb 2020 14:04:42 -0800 (PST)
Received: by mail-wm1-x333.google.com with SMTP id p9so933584wmc.2 for <hackathon@ietf.org>; Mon, 24 Feb 2020 14:04:42 -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=EHTEhPcMLys9XA88/6yQz70G9nP+mv8985oP21zk8prPTiyV89R5aaslbCtiErhiie aKe5w3G0vgDvRCx65+E0Nvxzevp1/la8CiaxnSkXyeLaasXSfWWPfYOVLG7Q/8Ut0Xzi e22ZHRh2+RYUgzkqCRv7R4zBN2eBXqavQRHNVWH0Fsjg72yy7oJb/sqYia366efHiKMN +fUeTUNRrY4/96YQf9MF4tZOmyXGYsv8s9/6EFpE90/Szq/lZVgQaBZP61eKN+r002+t JrLDqbNlFxDp9ieU23B0rwEIEa53foRHuun8XPgeOLLPOSNphCAQ51IoVsDia6wj7t3h AOYA==
X-Gm-Message-State: APjAAAUWe7TNetULfauFxNlP1JIbJJEQu19eiiix2v+CoG6aG3HQ+Po5 5PoGXr3TnSPXbJIeSHo1GZq9wA==
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/hackathon/uU_B-iaWhoMDaYNBcRQEEZ1SW5A>
Subject: [hackathon] Formal languages side meeting at IETF 107
X-BeenThere: hackathon@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Discussion regarding past, present, and future IETF hackathons." <hackathon.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/hackathon>, <mailto:hackathon-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/hackathon/>
List-Post: <mailto:hackathon@ietf.org>
List-Help: <mailto:hackathon-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/hackathon>, <mailto:hackathon-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 24 Feb 2020 22:04:45 -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