[IRTF-Announce] Usable Formal Methods Proposed Research Group (ufmrg) RG Virtual Meeting: 2023-05-24
IESG Secretary <iesg-secretary@ietf.org> Tue, 25 April 2023 15:07 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 AFA5DC14CF05; Tue, 25 Apr 2023 08:07:10 -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: 10.0.0
Auto-Submitted: auto-generated
Precedence: bulk
Message-ID: <168243523067.45423.8857558609927662621@ietfa.amsl.com>
Date: Tue, 25 Apr 2023 08:07:10 -0700
Archived-At: <https://mailarchive.ietf.org/arch/msg/irtf-announce/fgQ2W3WpisLxxPN9fh84TzQIwSs>
Subject: [IRTF-Announce] Usable Formal Methods Proposed Research Group (ufmrg) RG Virtual Meeting: 2023-05-24
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: Tue, 25 Apr 2023 15:07:10 -0000
The Usable Formal Methods Proposed Research Group (ufmrg) RG will hold a virtual interim meeting on 2023-05-24 from 16:00 to 18:00 Europe/Dublin (15:00 to 17:00 UTC). Agenda: Agenda TBD Information about remote participation: https://meetings.conf.meetecho.com/interim/?short=0d06afcd-6c3f-469a-b16b-3ddcdd10b477 -- 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