Re: [irtf-discuss] formal methods in Internet research
Colin Perkins <csp@csperkins.org> Tue, 29 June 2021 13:50 UTC
Return-Path: <csp@csperkins.org>
X-Original-To: irtf-discuss@ietfa.amsl.com
Delivered-To: irtf-discuss@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1])
by ietfa.amsl.com (Postfix) with ESMTP id A2D463A34FD
for <irtf-discuss@ietfa.amsl.com>; Tue, 29 Jun 2021 06:50:55 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.399
X-Spam-Level:
X-Spam-Status: No, score=-4.399 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,
RCVD_IN_DNSWL_MED=-2.3, 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=csperkins.org
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 8pKlVb4br0nL for <irtf-discuss@ietfa.amsl.com>;
Tue, 29 Jun 2021 06:50:50 -0700 (PDT)
Received: from haggis.mythic-beasts.com (haggis.mythic-beasts.com
[IPv6:2a00:1098:0:86:1000:0:2:1])
(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 8DE1A3A34FA
for <irtf-discuss@irtf.org>; Tue, 29 Jun 2021 06:50:50 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed;
d=csperkins.org; s=mythic-beasts-k1; h=To:Date:Subject:From;
bh=KtO8Kh7fJ9ZyORjE761QA9lQf4PoasAJEIRYhcCc1jI=; b=FZHg8iqc2F+9uU7KHwEwnh9pz/
yLNLQjP29uQMuqZ3VCEi0uhxDBklMVnPg0DPavUt6Gf9q/ceVktH+ge52BY/MAoQxE0VCYWyNHccB
8fWCTHmCZ2nCxIypn5Igi+HIbIy2VOW+1DwnV2xWvlUYkzf5AvhEIx8w8+vlPlktwrEvn7GN/PDpc
Eyksi77w/mUViUOjDLndCdiibhpledZo82EtekICfEdUES95gtzUqyP/5M70mjE31oJq+ACVWaEtx
FvHcb8CIujAGteT4nZkM5aMx0yn/5YY3Raul5U/t2suCL6xUsDHzrbV0XMgD/6LhueE+C/Vojt2Iu
BvltiznA==;
Received: from [81.187.2.149] (port=40070 helo=[192.168.0.69])
by haggis.mythic-beasts.com with esmtpsa
(TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92.3)
(envelope-from <csp@csperkins.org>)
id 1lyE8U-0004J8-Cf; Tue, 29 Jun 2021 14:50:46 +0100
From: Colin Perkins <csp@csperkins.org>
Message-Id: <7C47E051-E962-4452-AAF7-C462E64B4FC2@csperkins.org>
Content-Type: multipart/alternative;
boundary="Apple-Mail=_375EDD8C-769E-4036-9E86-6FE00F7EFD06"
Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.21\))
Date: Tue, 29 Jun 2021 14:50:41 +0100
In-Reply-To: <04591612-bbe6-b74a-d9a8-298d58058ed5@cs.tcd.ie>
Cc: Buday Gergely <buday.gergely.istvan=40uni-mate.hu@dmarc.ietf.org>,
irtf-discuss@irtf.org
To: Stephen Farrell <stephen.farrell@cs.tcd.ie>
References: <0cad2b0c-7a64-27df-df31-8159f95891ba@uni-mate.hu>
<04591612-bbe6-b74a-d9a8-298d58058ed5@cs.tcd.ie>
X-Mailer: Apple Mail (2.3445.104.21)
X-BlackCat-Spam-Score: 14
Archived-At: <https://mailarchive.ietf.org/arch/msg/irtf-discuss/12hKFNYzdljo1XB83La_4essoN0>
Subject: Re: [irtf-discuss] formal methods in Internet research
X-BeenThere: irtf-discuss@irtf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: IRTF general and new-work discussion list <irtf-discuss.irtf.org>
List-Unsubscribe: <https://www.irtf.org/mailman/options/irtf-discuss>,
<mailto:irtf-discuss-request@irtf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/irtf-discuss/>
List-Post: <mailto:irtf-discuss@irtf.org>
List-Help: <mailto:irtf-discuss-request@irtf.org?subject=help>
List-Subscribe: <https://www.irtf.org/mailman/listinfo/irtf-discuss>,
<mailto:irtf-discuss-request@irtf.org?subject=subscribe>
X-List-Received-Date: Tue, 29 Jun 2021 13:50:56 -0000
> On 29 Jun 2021, at 11:43, Stephen Farrell <stephen.farrell@cs.tcd.ie> wrote: > On 29/06/2021 10:06, Buday Gergely wrote: >> Which of the Internet Research Task Force research groups considers this area for use? > > Formal methods come up in CFRG regularly. There’s also an fdt@ietf.org <mailto:fdt@ietf.org> mailing list (https://www.ietf.org/mailman/listinfo/fdt <https://www.ietf.org/mailman/listinfo/fdt>) that touches on this space, and has people thinking about how formal description techniques fit within IETF and IRTF. Colin -- Colin Perkins https://csperkins.org/
- [irtf-discuss] formal methods in Internet research Buday Gergely
- Re: [irtf-discuss] formal methods in Internet res… Stephen Farrell
- Re: [irtf-discuss] formal methods in Internet res… Colin Perkins