Re: [fdt] [hackathon] Formal languages side meeting at IETF 107
Carsten Bormann <cabo@tzi.org> Mon, 02 March 2020 17:02 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 429563A0B66 for <fdt@ietfa.amsl.com>; Mon, 2 Mar 2020 09:02:21 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.899
X-Spam-Level:
X-Spam-Status: No, score=-1.899 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=unavailable 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 Ltf34sq2aT87 for <fdt@ietfa.amsl.com>; Mon, 2 Mar 2020 09:02:19 -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 3660D3A0BCA for <fdt@ietf.org>; Mon, 2 Mar 2020 09:02:19 -0800 (PST)
Received: from [192.168.217.147] (p5089AC90.dip0.t-ipconnect.de [80.137.172.144]) (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 48WRJm2q2Zz1033; Mon, 2 Mar 2020 18:02:16 +0100 (CET)
Content-Type: text/plain; charset="utf-8"
Mime-Version: 1.0 (Mac OS X Mail 13.0 \(3608.60.0.2.5\))
From: Carsten Bormann <cabo@tzi.org>
In-Reply-To: <e506d699-2f31-bcf4-6095-813826e63086@petit-huguenin.org>
Date: Mon, 02 Mar 2020 18:02:16 +0100
Cc: Antoni Przygienda <prz=40juniper.net@dmarc.ietf.org>, Stephen McQuistin <Stephen.McQuistin@glasgow.ac.uk>, "fdt@ietf.org" <fdt@ietf.org>, Colin Perkins <csp@csperkins.org>
X-Mao-Original-Outgoing-Id: 604861336.239218-6d9e0d4c5e23fd166bf95a48928669e6
Content-Transfer-Encoding: quoted-printable
Message-Id: <CC83E1F8-8869-4025-8C21-FC5DD160EBCF@tzi.org>
References: <AD429EE0-AB40-4CDA-B146-FC4BBEE600BE@juniper.net> <e506d699-2f31-bcf4-6095-813826e63086@petit-huguenin.org>
To: Marc Petit-Huguenin <marc@petit-huguenin.org>
X-Mailer: Apple Mail (2.3608.60.0.2.5)
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/Has2Rh5Eb_3WHcrKpPKLyN-6uoA>
Subject: Re: [fdt] [hackathon] 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, 02 Mar 2020 17:02:21 -0000
On 2020-03-02, at 17:41, Marc Petit-Huguenin <marc@petit-huguenin.org> wrote: > > Hi Antoni, > > The Unofficial Side Meetings do not seem to have recording or remote participation capabilities (https://trac.ietf.org/trac/ietf/meeting/wiki/107sidemeetings) We need to get that fixed. Grüße, Carsten
- [fdt] Formal languages side meeting at IETF 107 Stephen McQuistin
- Re: [fdt] [hackathon] Formal languages side meeti… Antoni Przygienda
- Re: [fdt] [hackathon] Formal languages side meeti… Marc Petit-Huguenin
- Re: [fdt] [hackathon] Formal languages side meeti… Carsten Bormann
- Re: [fdt] Formal languages side meeting at IETF 1… Marc Petit-Huguenin