Re: [fdt] Formal Languages Bar BOF Thursday at 8pm
Stephane Bortzmeyer <bortzmeyer@nic.fr> Wed, 20 November 2019 10:01 UTC
Return-Path: <bortzmeyer@nic.fr>
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 C0F3B120890 for <fdt@ietfa.amsl.com>; Wed, 20 Nov 2019 02:01:31 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -6.899
X-Spam-Level:
X-Spam-Status: No, score=-6.899 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_HI=-5, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham 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 VhiJXD9jp2bo for <fdt@ietfa.amsl.com>; Wed, 20 Nov 2019 02:01:29 -0800 (PST)
Received: from mx4.nic.fr (mx4.nic.fr [IPv6:2001:67c:2218:2::4:12]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id AB801120827 for <fdt@ietf.org>; Wed, 20 Nov 2019 02:01:29 -0800 (PST)
Received: from mx4.nic.fr (localhost [127.0.0.1]) by mx4.nic.fr (Postfix) with SMTP id A66A7280286; Wed, 20 Nov 2019 11:01:26 +0100 (CET)
Received: by mx4.nic.fr (Postfix, from userid 500) id A063D28067D; Wed, 20 Nov 2019 11:01:26 +0100 (CET)
Received: from relay01.prive.nic.fr (unknown [10.1.50.11]) by mx4.nic.fr (Postfix) with ESMTP id 99229280286; Wed, 20 Nov 2019 11:01:26 +0100 (CET)
Received: from b12.nic.fr (b12.tech.ipv6.nic.fr [IPv6:2001:67c:1348:7::86:133]) by relay01.prive.nic.fr (Postfix) with ESMTP id 90200663EBEC; Wed, 20 Nov 2019 11:01:26 +0100 (CET)
Received: by b12.nic.fr (Postfix, from userid 1000) id 67D564037B; Wed, 20 Nov 2019 11:01:26 +0100 (CET)
Date: Wed, 20 Nov 2019 11:01:26 +0100
From: Stephane Bortzmeyer <bortzmeyer@nic.fr>
To: Marc Petit-Huguenin <marc@petit-huguenin.org>
Cc: fdt@ietf.org
Message-ID: <20191120100126.GA7686@nic.fr>
References: <daf202ab-ea89-7c4b-8469-8b528442c475@petit-huguenin.org>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <daf202ab-ea89-7c4b-8469-8b528442c475@petit-huguenin.org>
X-Operating-System: Debian GNU/Linux 10.1
X-Kernel: Linux 4.19.0-6-amd64 x86_64
X-Charlie: Je suis Charlie
Organization: NIC France
X-URL: http://www.nic.fr/
User-Agent: Mutt/1.10.1 (2018-07-13)
X-Bogosity: No, tests=bogofilter, spamicity=0.030251, version=1.2.2
X-PMX-Version: 6.0.0.2142326, Antispam-Engine: 2.7.2.2107409, Antispam-Data: 2019.11.5.63017
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/XQrXx8bQxfaHtEhi5lXhzYfvogc>
Subject: Re: [fdt] Formal Languages Bar BOF Thursday at 8pm
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, 20 Nov 2019 10:01:32 -0000
On Wed, Nov 20, 2019 at 04:44:40PM +0800, Marc Petit-Huguenin <marc@petit-huguenin.org> wrote a message of 4 lines which said: > A reminder that we will be meeting at The Winery Tapas at 8pm > tomorrow evening to discuss Formal Languages. Small advertisment for a former project, a formal language for state machines (there was a BoF in Prague in march2007): draft-bortzmeyer-language-state-machines Archives of the mailing list <https://mailarchive.ietf.org/arch/browse/cosmogol/>
- [fdt] Formal Languages Bar BOF Thursday at 8pm Marc Petit-Huguenin
- Re: [fdt] Formal Languages Bar BOF Thursday at 8pm Stephane Bortzmeyer