[Ufmrg] ufmrg - Requested session has been scheduled for IETF 118

"\"IETF Secretariat\"" <agenda@ietf.org> Fri, 13 October 2023 20:06 UTC

Return-Path: <agenda@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 82721C46CA8A; Fri, 13 Oct 2023 13:06:34 -0700 (PDT)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 7bit
From: "\"IETF Secretariat\"" <agenda@ietf.org>
To: jonathan.hoyland@gmail.com, ufmrg-chairs@ietf.org
Cc: irtf-chair@irtf.org, ufmrg@irtf.org
X-Test-IDTracker: no
X-IETF-IDTracker: 11.13.0
Auto-Submitted: auto-generated
Precedence: bulk
Message-ID: <169722759450.19136.17246426142181971081@ietfa.amsl.com>
Date: Fri, 13 Oct 2023 13:06:34 -0700
Archived-At: <https://mailarchive.ietf.org/arch/msg/ufmrg/idbY335d5oOZ8fdmaCSCUmYd1cQ>
Subject: [Ufmrg] ufmrg - Requested session has been scheduled 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, 13 Oct 2023 20:06:35 -0000

Dear Jonathan Hoyland,

The session(s) that you have requested have been scheduled.
Below is the scheduled session information followed by
the original request. 


    ufmrg Session 1 (1:00 requested)
    Wednesday, 8 November 2023, Session II 1300-1400 Europe/Prague
    Room Name: Congress Hall 3 size: 250
    ---------------------------------------------


iCalendar: https://datatracker.ietf.org/meeting/118/sessions/ufmrg.ics

Request Information:


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


Number of Sessions: 1
Length of Session(s): 
Number of Attendees: 40
Conflicts to Avoid: 

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

Participants who must be present:

Resources Requested:

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