[Ufmrg] ufmrg - New Meeting Session Request for IETF 118

IETF Meeting Session Request Tool <session-request@ietf.org> Fri, 15 September 2023 12:27 UTC

Return-Path: <session-request@ietf.org>
X-Original-To: ufmrg@irtf.org
Delivered-To: ufmrg@ietfa.amsl.com
Received: from ietfa.amsl.com (localhost [IPv6:::1]) by ietfa.amsl.com (Postfix) with ESMTP id D6E3AC14CE38; Fri, 15 Sep 2023 05:27:27 -0700 (PDT)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 7bit
From: IETF Meeting Session Request Tool <session-request@ietf.org>
To: session-request@ietf.org
Cc: irtf-chair@irtf.org, jonathan.hoyland@gmail.com, ufmrg-chairs@ietf.org, ufmrg@irtf.org
X-Test-IDTracker: no
X-IETF-IDTracker: 11.11.0
Auto-Submitted: auto-generated
Precedence: bulk
Message-ID: <169478084786.19409.11497425439900232528@ietfa.amsl.com>
Date: Fri, 15 Sep 2023 05:27:27 -0700
Archived-At: <https://mailarchive.ietf.org/arch/msg/ufmrg/Jm4B-avsfCH5i-1rjuVEoFrAk4c>
Subject: [Ufmrg] ufmrg - New Meeting Session Request for IETF 118
X-BeenThere: ufmrg@irtf.org
X-Mailman-Version: 2.1.39
List-Id: Usable Formal Methods Research Group <ufmrg.irtf.org>
List-Unsubscribe: <https://www.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://www.irtf.org/mailman/listinfo/ufmrg>, <mailto:ufmrg-request@irtf.org?subject=subscribe>
X-List-Received-Date: Fri, 15 Sep 2023 12:27:27 -0000


A new meeting session request has just been submitted by Jonathan Hoyland, a
Chair of the UFMRG Research Group.


---------------------------------------------------------
Working Group Name: Usable Formal Methods Proposed Research Group
Area Name: IRTF
Session Requester: Jonathan Hoyland


Number of Sessions: 1
Length of Session(s): 1 Hour
Number of Attendees: 40
Conflicts to Avoid: 
 Chair conflict: lake openpgp
 Technology overlap: tls cfrg httpbis saag

       
 Can't meet: Friday early afternoon, Friday late afternoon

Participants who must be present:

Resources Requested:

Special Requests:
  Chairs unavailable Friday afternoon.
---------------------------------------------------------