[Ufmrg] UFMRG confirmed as full IRTF RG
Colin Perkins <csp@csperkins.org> Fri, 22 March 2024 06:30 UTC
Return-Path: <csp@csperkins.org>
X-Original-To: ufmrg@ietfa.amsl.com
Delivered-To: ufmrg@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 76A4BC14F69A for <ufmrg@ietfa.amsl.com>; Thu, 21 Mar 2024 23:30:39 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.408
X-Spam-Level:
X-Spam-Status: No, score=-4.408 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_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, 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 Vr9Q4lkXO-ST for <ufmrg@ietfa.amsl.com>; Thu, 21 Mar 2024 23:30:35 -0700 (PDT)
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 1E66BC14F68D for <ufmrg@irtf.org>; Thu, 21 Mar 2024 23:30:35 -0700 (PDT)
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=kw1VgWHA05EWp0mQxUswJGJd9Q1G7reIKV3oA0XyGy0=; b=bwGJgNw5TWlBy0qcdqJnkWODki HRcFdgfAGAhqQm+4AR5vHqN8KmyEeyNXSGXesClbqAHZqQLpB6Hl+Fh9T8BqtKqKfPtY+1PqahYuX I2NtGUYRh5CrfSOU9eiUloWmSMPVMYb7FxobteTtF/CfVz3a7Clw5wSr9kxrIM3AdC5rhwUw9JwUG 7ojoNLB8LWjbX/bmdUT01HONMBNxid61Mjpr2E024r8zDnXfqSXELl9sCoiqFw5cgq3jSAzWmafNE TAhJQ5kKl99S+TNBhJwfIDLbHiVOmPqkDjNqvKE/x+wDU4W4/pEfvld0P9sIuna1C6KsAehOT/H59 wsHM1Qog==;
Received: 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 1rnYQD-00D15D-4F for ufmrg@irtf.org; Fri, 22 Mar 2024 06:30:33 +0000
From: Colin Perkins <csp@csperkins.org>
To: ufmrg@irtf.org
Date: Fri, 22 Mar 2024 16:30:27 +1000
X-Mailer: MailMate (1.14r6025)
Message-ID: <DB74618A-80CA-48F6-AAB6-264ADCA3039F@csperkins.org>
MIME-Version: 1.0
Content-Type: text/plain; markup="markdown"
Content-Transfer-Encoding: quoted-printable
X-BlackCat-Spam-Score: 24
Archived-At: <https://mailarchive.ietf.org/arch/msg/ufmrg/LcbjCHOH2zqBZcgOioQoDWm2Gds>
Subject: [Ufmrg] UFMRG confirmed as full IRTF RG
X-BeenThere: ufmrg@irtf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: Usable Formal Methods Research Group <ufmrg.irtf.org>
List-Unsubscribe: <https://mailman.irtf.org/mailman/options/ufmrg>, <mailto:ufmrg-request@irtf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/ufmrg/>
List-Post: <mailto:ufmrg@irtf.org>
List-Help: <mailto:ufmrg-request@irtf.org?subject=help>
List-Subscribe: <https://mailman.irtf.org/mailman/listinfo/ufmrg>, <mailto:ufmrg-request@irtf.org?subject=subscribe>
X-List-Received-Date: Fri, 22 Mar 2024 06:30:39 -0000
New work in the IRTF is initially chartered as a Proposed Research Group that runs for one year before being reviewed by the IRTF Chair and IAB to determine whether it should continue. I'm pleased to report that the Usable Formal Methods Research Group successfully completed that review earlier this week and is confirmed as a full IRTF Research Group. Thanks to the chairs and participants for their work over the past year, and I look forward to working with the research group in future. Colin Perkins IRTF Chair
- [Ufmrg] UFMRG confirmed as full IRTF RG Colin Perkins