[IRTF-Announce] Usable Formal Methods Proposed Research Group (ufmrg) RG Virtual Meeting: 2023-09-01
IESG Secretary <iesg-secretary@ietf.org> Mon, 28 August 2023 22:30 UTC
Return-Path: <iesg-secretary@ietf.org>
X-Original-To: irtf-announce@irtf.org
Delivered-To: irtf-announce@ietfa.amsl.com
Received: from ietfa.amsl.com (localhost [IPv6:::1]) by ietfa.amsl.com (Postfix) with ESMTP id BF01FC14CE3F; Mon, 28 Aug 2023 15:30:50 -0700 (PDT)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 7bit
From: IESG Secretary <iesg-secretary@ietf.org>
To: IETF-Announce <ietf-announce@ietf.org>, IRTF-Announce <irtf-announce@irtf.org>
Cc: ufmrg@irtf.org
X-Test-IDTracker: no
X-IETF-IDTracker: 11.9.0
Auto-Submitted: auto-generated
Precedence: bulk
Message-ID: <169326185075.52606.3808264034607128868@ietfa.amsl.com>
Date: Mon, 28 Aug 2023 15:30:50 -0700
Archived-At: <https://mailarchive.ietf.org/arch/msg/irtf-announce/UatnPQdknsMmNFfJ1f65cC9i7k0>
Subject: [IRTF-Announce] Usable Formal Methods Proposed Research Group (ufmrg) RG Virtual Meeting: 2023-09-01
X-BeenThere: irtf-announce@irtf.org
X-Mailman-Version: 2.1.39
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: Mon, 28 Aug 2023 22:30:50 -0000
The Usable Formal Methods Proposed Research Group (ufmrg) RG will hold a virtual interim meeting on 2023-09-01 from 17:00 to 18:00 Europe/Dublin (16:00 to 17:00 UTC). Agenda: Planning for IETF 1198 training Information about remote participation: https://meetings.conf.meetecho.com/interim/?short=e5de2fa9-406c-41d8-918d-feead76485d8 -- A calendar subscription for all ufmrg meetings is available at https://datatracker.ietf.org/meeting/upcoming.ics?show=ufmrg
- [IRTF-Announce] Usable Formal Methods Proposed Re… IESG Secretary