IETF Logo Mail Archive

Re: [hackathon] [abnf-discuss] Virtual formal languages meeting

Stephen McQuistin <Stephen.McQuistin@glasgow.ac.uk> Mon, 27 April 2020 15:51 UTC

Return-Path: <Stephen.McQuistin@glasgow.ac.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 425F33A0DDD; Mon, 27 Apr 2020 08:51:31 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.195
X-Spam-Level:
X-Spam-Status: No, score=-4.195 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_NONE=0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=gla.onmicrosoft.com
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 xRD9BHc-Xmf0; Mon, 27 Apr 2020 08:51:29 -0700 (PDT)
Received: from plockton.cent.gla.ac.uk (plockton.cent.gla.ac.uk [130.209.16.75]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 760BD3A0DC9; Mon, 27 Apr 2020 08:50:25 -0700 (PDT)
Received: from cas08.campus.gla.ac.uk ([130.209.14.165]) by plockton.cent.gla.ac.uk with esmtp (Exim 4.72) (envelope-from <Stephen.McQuistin@glasgow.ac.uk>) id 1jT61X-0004Lo-DW; Mon, 27 Apr 2020 16:50:23 +0100
Received: from cas07.campus.gla.ac.uk (130.209.14.164) by cas08.campus.gla.ac.uk (130.209.14.165) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Mon, 27 Apr 2020 16:50:22 +0100
Received: from GBR01-CWL-obe.outbound.protection.outlook.com (104.47.20.59) by cas07.campus.gla.ac.uk (130.209.14.164) with Microsoft SMTP Server (TLS) id 15.0.1497.2 via Frontend Transport; Mon, 27 Apr 2020 16:50:22 +0100
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=fdVRZITwAdkbupbrrWRCerDfESyvT/v3U5epN5q9bQ3FQLQOFIyJLddj+rdO5ZIDJa6HjnHoxRoV+3ANUtQRFzj+dvaRqYTXZBLEfOgyGagmLKsOxavP61PEvCcr0roLo/4v0EOgckFUia16q4AEBCXPDcux3WrlS/ZP0jMYmMZD4e1vEpu20OAkysd2Wu2lhPJALkEGcS5rfykqEzi0C9HH6UV/QqiyxhJ5wF3JX6FciWgkwljB59XDV8qvPZDkz5nyq+SSTnU5lFfEdUJPVhJ9c2xBLNBv0j06jTGL9xn4Gai0nyBnFQh36rAoweuHEUXufqHLjnJKJi6ktjNKLA==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=VZAXN3y3LXbXwIN0el04yQ8IlA2LhpCJtElthP8ygLw=; b=ReEujiZuDhqAQWY0E96AwWF6McX4PS/lKu3D3i0dnpjzLvBdfX3rm8TmqNp0en4RYKVgcWHBOtzmpnMNu6+WC4YMyH+gSAv16tbjTNFyA4ULg3pO6oC0yYX3MLlAjptWQOQdxUrE3i0XdV56m9q1fRkcFElVo8WSzfGmK6p0sFplp5clS8f9ko1H2oXRpqDy7s4hVLjJqYY4yMYenOCp+RqUIxLZn7x+DseqcJg3zFFE+YHUSDvZqG+qlWSjPKrZY7vDa/Ej0zJOGGCIXbGCYEzcsWCV6oXhUBOLAUTLQUCp+MKchnZJ4pea9XRC2Fn2uoXPtzUxh/Gn1myJjiehcw==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=glasgow.ac.uk; dmarc=pass action=none header.from=glasgow.ac.uk; dkim=pass header.d=glasgow.ac.uk; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gla.onmicrosoft.com; s=selector2-gla-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=VZAXN3y3LXbXwIN0el04yQ8IlA2LhpCJtElthP8ygLw=; b=EKigxkUhmv/vt6KrlFhWthcBQf1ApoyEM+peqOhUoDPRRo+MtfgVvLv1lLqW0MqD1cABkA+nu3uRaYayviPqhenUjePBAoQ9umPcHf0QSFErR7V8nptw7CmHNvOu7YvBNFTsiPq8zFhOz5PZZxXZ7u6JNvePURxcefZvfoF8fX8=
Received: from LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM (10.166.185.150) by LNXP265MB0042.GBRP265.PROD.OUTLOOK.COM (10.166.183.141) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2937.13; Mon, 27 Apr 2020 15:50:21 +0000
Received: from LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM ([fe80::3190:f704:b62f:7371]) by LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM ([fe80::3190:f704:b62f:7371%7]) with mapi id 15.20.2937.020; Mon, 27 Apr 2020 15:50:21 +0000
From: Stephen McQuistin <Stephen.McQuistin@glasgow.ac.uk>
To: Carsten Bormann <cabo@tzi.org>
CC: "dcrocker@bbiw.net" <dcrocker@bbiw.net>, "abnf-discuss@ietf.org" <abnf-discuss@ietf.org>, "hackathon@ietf.org" <hackathon@ietf.org>
Thread-Topic: [abnf-discuss] Virtual formal languages meeting
Thread-Index: AQHWE9ODwXMRxhrVlE+fxDU2lp/tBKiNKWQAgAAD5wCAAAEPgIAAAFaAgAAAxAA=
Date: Mon, 27 Apr 2020 15:50:21 +0000
Message-ID: <C94F89F3-FA52-481E-88C9-1FB7DFB58DC3@glasgow.ac.uk>
References: <DE624911-80E3-4EF6-83E5-E41E9245DC47@glasgow.ac.uk> <67B64692-A404-4F22-B65D-6D4A2C7372E6@glasgow.ac.uk> <B7A45984-2BFD-431A-BFEB-C4A357A55646@glasgow.ac.uk> <6A2ECB4C-44B4-4DCF-9899-5B0BAA1D6E3D@tzi.org> <2b050320-94b5-55f6-8b0c-a0b070190724@dcrocker.net> <739C5291-1B6B-4E04-B0A7-B13F73DC4E20@tzi.org>
In-Reply-To: <739C5291-1B6B-4E04-B0A7-B13F73DC4E20@tzi.org>
Accept-Language: en-GB, en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
authentication-results: spf=none (sender IP is ) smtp.mailfrom=Stephen.McQuistin@glasgow.ac.uk;
x-originating-ip: [86.149.253.21]
x-ms-publictraffictype: Email
x-ms-office365-filtering-correlation-id: bec0b4a9-64a8-4351-a5b6-08d7eac2b15a
x-ms-traffictypediagnostic: LNXP265MB0042:
x-microsoft-antispam-prvs: <LNXP265MB0042C9ED8D222EAF89138824BCAF0@LNXP265MB0042.GBRP265.PROD.OUTLOOK.COM>
x-ms-oob-tlc-oobclassifiers: OLM:3631;
x-forefront-prvs: 0386B406AA
x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:LNXP265MB0827.GBRP265.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFTY:; SFS:(136003)(396003)(346002)(376002)(366004)(39860400002)(5660300002)(54906003)(8936002)(558084003)(6506007)(76116006)(2616005)(53546011)(786003)(36756003)(66446008)(66556008)(64756008)(66476007)(6486002)(316002)(8676002)(186003)(33656002)(86362001)(478600001)(26005)(6512007)(6916009)(81156014)(2906002)(71200400001)(4326008)(66946007); DIR:OUT; SFP:1101;
received-spf: None (protection.outlook.com: glasgow.ac.uk does not designate permitted sender hosts)
x-ms-exchange-senderadcheck: 1
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: e97c/YQcdptH55jKViWlVf3QClpOJsq97k70n7yTYzwmsH1pK+6arC9jZAJcjsOMQ1Pblqfzx4xdEVXNAnDny7s7Bxzu/oc57GF26pd7PfOx8DAyy+732w8K2Jkqn9f9saokaLvXJRTX2IfahJlZ3Tji9AKpJv1G/cZu8SstS+d1flzNd9RrroJEMMFeDN9tTK3fzXbHTqYCODCjUP89SyIG1JvPmdazmIYTxIoRoF6ytfF4TKhJA1gAeEgKIdWSDLHgsYmB4C9aNnU+gP3I3O+WMYmz3r7M6e0PVLq7yHqM4cNq8cAC0jk0eVvKdgJfuOZ5cRtSXEjUqfzS0ciePrCwRoC2+mzZ1UPQyijuamrbLLzfIdaq/NBu3kl+/i/i/X4GcoiufKdp1obLMNr55mJ5e6pOqQltscGQ4EpD2ECl+3DNEKqGBKmcvPhTu0Cs
x-ms-exchange-antispam-messagedata: xMLBXv52mc+mw014kS9kDuyGzBSSH9nWLiukTy1MY8VNHmbQ9mMVW7Dn1IGOGR8f6np5a2MINR+QidmKqFYudMfYAFRJXno9EMKiSi5cv1QDMTay+tYRngz4tKrvfVVH3/RUJjfaRxjqXNgY0eUj1CAqkLam3R9T+59peAx72QDawG8RI603txIGFDL03pX9zuJSfgsaNqlVHDjrdqpDv8VuNSrUsJtOBinGpb+Mo2eYZXIPFuVgcrfGFgvB8fg454t2U3cEWbFYZWzkS4Qy+hKPrzUjv4T5TDW8KPyONWq0mDg46Ep5ytbM7Ma9hemm7kb+C9f0Ln9FTxO7neiqxArWrFXvFEQ8nQICCHtSxB0Nc+5VidJp98elAvFjUSiiChSCb+rox4LU8FLIjMyuiisjR2ENCK6GLM8pmbrpJS15xB3PqnvwOC3mLe67AXW2DqhxUJ+nhJfdqwntS7DPvqB8IEBzVW9V5Ddt6Nv6Olh0npF547VPKcCyu+/bW06nui5K6Sjh8xXYwLTbiJ4sd5Itg0+EAOPMamVbq0JGbIzxVriu9Qyq9Y6sK73nxcLjB0mdWeevHD8BptsLCh9mSn/k3SE64YbQvCQvhdfEBXS2RJMvlavWHmbl6H1c2y2+/Rc5+n8xpbpNbQ+o+YdwJp6nX1C/0xBQKEcCUOgXjUQjYCYqfikCz9v9VQyr7pol9qQT8JELz9IYf3rfTUlgsXylJ+opVdwJQQ1KuCV/T1v6CjR4+Lsr/HkT/AOAHKDbvhTxb+Y6Rztqa2QNWuiafle4xU1wLueayUfjnnZsoyE=
x-ms-exchange-transport-forked: True
Content-Type: text/plain; charset="utf-8"
Content-ID: <C13D41B57F9E414C89A2C018F39D1931@GBRP265.PROD.OUTLOOK.COM>
Content-Transfer-Encoding: base64
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-Network-Message-Id: bec0b4a9-64a8-4351-a5b6-08d7eac2b15a
X-MS-Exchange-CrossTenant-originalarrivaltime: 27 Apr 2020 15:50:21.4868 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 6e725c29-763a-4f50-81f2-2e254f0133c8
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: sfVOXTSPHO6WIBCTogWFuV1DKouVFac+mgj4l6YbQ79XBRNQVTilS5WHTnioG2r1m0mrcalHC/mkkH1MKUEAI39dhyBPsNbHjqzdd7j8Yhg=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: LNXP265MB0042
X-OriginatorOrg: glasgow.ac.uk
Archived-At: <https://mailarchive.ietf.org/arch/msg/hackathon/-ZJjYYxEoUnmXCVyUaL6Lnd8MEM>
Subject: Re: [hackathon] [abnf-discuss] Virtual formal languages meeting
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, 27 Apr 2020 15:51:31 -0000

Any in particular? Happy to switch.

Thanks,

Stephen

> On 27 Apr 2020, at 16:47, Carsten Bormann <cabo@tzi.org> wrote:
> 
> On 2020-04-27, at 17:46, Dave Crocker <dhc@dcrocker.net> wrote:
>> 
>> Presumably that's a comment on their service.  Which alternative would you find acceptable?
> 
> Any ethical one.
> 
> Grüße, Carsten
>

v2.23.0 | Report a Bug | By Email