[Ufmrg] Call For Agenda Items
Jonathan Hoyland <jonathan.hoyland@gmail.com> Tue, 17 October 2023 00:28 UTC
Return-Path: <jonathan.hoyland@gmail.com>
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 8B2F6C15107E for <ufmrg@ietfa.amsl.com>; Mon, 16 Oct 2023 17:28:31 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.107
X-Spam-Level:
X-Spam-Status: No, score=-2.107 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, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
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 t-Ydg-REi_Y1 for <ufmrg@ietfa.amsl.com>; Mon, 16 Oct 2023 17:28:27 -0700 (PDT)
Received: from mail-oa1-x2d.google.com (mail-oa1-x2d.google.com [IPv6:2001:4860:4864:20::2d]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 8F34EC1522D7 for <ufmrg@irtf.org>; Mon, 16 Oct 2023 17:28:13 -0700 (PDT)
Received: by mail-oa1-x2d.google.com with SMTP id 586e51a60fabf-1e58a522e41so3013836fac.2 for <ufmrg@irtf.org>; Mon, 16 Oct 2023 17:28:13 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1697502492; x=1698107292; darn=irtf.org; h=cc:to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=qVfUx1PDSXNIeNa6fvJZT071s8gAJDhTzVFAMwpPpUQ=; b=MAdzyZnoLvC3hVOax5tfufeeMGEtSSq7AgT8o87dF7E+6LruTTgKrA2W+NCCrSWOHc 4OLDFMjweW61oOpSsWkf1AVtnzP8TWdtyZ+6mBdI6dA70zo3/eh4Y2ICh8L8IS8SJoCH vkphpeGMsYJ5Px9pGMCG+ofg9weLp69QjnegBgc9Gj81X26NXhKOjwn841naf4Oj9sJw tqcK6MLzRCi7/rd1KoYKXxxNoLO+ICYbIv6qQMiDeVJdz2kpsNRrT1FWvAoiyNbfLuUV +Z0wT6Jhk+IKf4jkbneLqDL+pT6d+70HswefQb81HGEHaWzkcaLFrQfzO4/Ju0ySn3CH ierg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1697502492; x=1698107292; h=cc:to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=qVfUx1PDSXNIeNa6fvJZT071s8gAJDhTzVFAMwpPpUQ=; b=m/HY3e2kphd9lsyq2f4Gz36emL7jbxemIYWQmPIHJjhjVQET9zs4MeuUmGaaneAQOi 12m6cRty55+eFyBKW1/nnLq2+Y9qEYVY67+HqcCispgFSriNLZ486XeqWeyvgxTh9IGp nF2jtVRSFWB8xg47SEazStlNzF+B1zJml8tSGV4jN6WBVefA+F+m4Fhzs+VULcU2LNcj EkwMSaucqJttAR3psX1C+HcRu67vZ8C/p2ogW5bm5hsHpZugu/kxBnLWSkXHb/dICUEH phOUZdi3UdyF45upBsc/0NDyVq0kQ0aNZSOCi6QzVPsy8EIM62posGMpO52XjFHqXIRx H4Ow==
X-Gm-Message-State: AOJu0YxL+A1VkXTEi6NnJvqtAIOjFezOuuljdnunF8QJM4C+3hzNI/nw 0/NbKu7XuZ0fnA1e9geBqPpleYap8jKlXZcr2RzuZkjkpxIFyg==
X-Google-Smtp-Source: AGHT+IFWNM2/4rl1b1CVUZc/vRFIgaMnBKhKee8gBYDY86ZSSHWrwGuioLloMYdfrVcfkRC+0SwCxFVxrZfTOGcHY8g=
X-Received: by 2002:a05:6870:3114:b0:1ea:478c:a26b with SMTP id v20-20020a056870311400b001ea478ca26bmr907836oaa.9.1697502491833; Mon, 16 Oct 2023 17:28:11 -0700 (PDT)
MIME-Version: 1.0
From: Jonathan Hoyland <jonathan.hoyland@gmail.com>
Date: Tue, 17 Oct 2023 01:28:00 +0100
Message-ID: <CACykbs1Xgm_zJ2MuAqQJbRvUVABVHSs9y7ba2KaR4dMar1g++A@mail.gmail.com>
To: ufmrg@irtf.org
Cc: Stephen Farrell <stephen.farrell@cs.tcd.ie>
Content-Type: multipart/alternative; boundary="00000000000007f8800607de9915"
Archived-At: <https://mailarchive.ietf.org/arch/msg/ufmrg/fSgsGcLmAWgEZeJsN6ddIQEH1cY>
Subject: [Ufmrg] Call For Agenda Items
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://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: Tue, 17 Oct 2023 00:28:31 -0000
Hi all, We have a one hour session at the upcoming IETF. If you have anything you would like added to the agenda please send an email with the topic (and a time estimate) to ufmrg-chairs@ietf.org. Regards, Jonathan and Stephen
- [Ufmrg] Call For Agenda Items Jonathan Hoyland