[IRTF-Announce] Usable Formal Methods Proposed Research Group created
Colin Perkins <csp@csperkins.org> Fri, 27 January 2023 14:58 UTC
Return-Path: <csp@csperkins.org>
X-Original-To: irtf-announce@ietfa.amsl.com
Delivered-To: irtf-announce@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 6A6BCC14CF17; Fri, 27 Jan 2023 06:58:29 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.397
X-Spam-Level:
X-Spam-Status: No, score=-4.397 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, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=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 ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id RNWsg2Tl8wUF; Fri, 27 Jan 2023 06:58:24 -0800 (PST)
Received: from mx1.mythic-beasts.com (mx1.mythic-beasts.com [IPv6:2a00:1098:0:86:1000:0:2:1]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 728FCC14CF05; Fri, 27 Jan 2023 06:58:24 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=csperkins.org; s=mythic-beasts-k1; h=Date:Subject:To:From; bh=cpn8WDVddhUchwEbf5aT8nrcKnaWKXdtUhTgZ4ldOr0=; b=ESclUPSCFH7AZYMF+4jXVgGqaY fCba+MaJroIZMP6dpsmU+BaAb8txemIWyIROLDy6tlwSLX7/bZEl/NzQ4fb1lLtKd9VM2FmOWV4am L5arcv0dqxJZbfcz9JijfStMFcOUm8WSiZCviIqXCvsKpSqYm3M+6u9PiWo+3gi+8LWBD7Uzhn5XN uXXA7mHw9aioKe0gU3fnHRWzDQauq21QQkHA1VqlYRPUXMWce+hwTKoH0/MbyAE8jfMGTxJhGSUk1 igQ39zPVyhdRP/lmT8TfuNbi1WIHa08Wmz3QppzSp81mHyhaCTK/wp8XWhs8ySEXHCkKw5/rj+rvw k3NBHHIw==;
Received: from [81.187.2.149] (port=42229 helo=[192.168.56.1]) by mailhub-cam-d.mythic-beasts.com with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from <csp@csperkins.org>) id 1pLQBK-005Grw-Lg; Fri, 27 Jan 2023 14:58:22 +0000
From: Colin Perkins <csp@csperkins.org>
To: irtf-announce@irtf.org
Cc: ufmrg@irtf.org
Date: Fri, 27 Jan 2023 14:58:19 +0000
Reply-To: ufmrg@irtf.org
X-Mailer: MailMate (1.14r5937)
Message-ID: <C6B88372-D7F0-4511-8098-A19707EFC1D4@csperkins.org>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"; markup="markdown"
Content-Transfer-Encoding: quoted-printable
X-BlackCat-Spam-Score: 0
Archived-At: <https://mailarchive.ietf.org/arch/msg/irtf-announce/a7iMRZzWIloXvQ6gyutwFPgWv58>
Subject: [IRTF-Announce] Usable Formal Methods Proposed Research Group created
X-BeenThere: irtf-announce@irtf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: IRTF-Announce <irtf-announce.irtf.org>
List-Unsubscribe: <https://www.irtf.org/mailman/options/irtf-announce>, <mailto:irtf-announce-request@irtf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/irtf-announce/>
List-Post: <mailto:irtf-announce@irtf.org>
List-Help: <mailto:irtf-announce-request@irtf.org?subject=help>
List-Subscribe: <https://www.irtf.org/mailman/listinfo/irtf-announce>, <mailto:irtf-announce-request@irtf.org?subject=subscribe>
X-List-Received-Date: Fri, 27 Jan 2023 14:58:29 -0000
I’m pleased to announce that the Usable Formal Methods Proposed Research Group has been chartered in the IRTF. The chairs are Jonathan Hoyland and Stephen Farrell. This proposed research group aims to bring together the Internet protocol standards community and the academic research community studying formal methods of network protocol specification to share experience and ideas, and to understand the strengths and limitations of formal methods, including formal verification and analysis, for specification and implementation of algorithms, protocols, and systems specified in the IETF, and to understand how those techniques can be improved to better support such specifications. You can find more details about the group, including links to the charter and mailing list, at https://datatracker.ietf.org/rg/ufmrg/about/ Colin Perkins IRTF Chair
- [IRTF-Announce] Usable Formal Methods Proposed Re… Colin Perkins