[Ufmrg] ufmrg plans for the year ahead - coupla questions

Stephen Farrell <stephen.farrell@cs.tcd.ie> Thu, 18 January 2024 15:30 UTC

Return-Path: <stephen.farrell@cs.tcd.ie>
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 A959EC14F615 for <ufmrg@ietfa.amsl.com>; Thu, 18 Jan 2024 07:30:20 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.007
X-Spam-Level:
X-Spam-Status: No, score=-7.007 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_HI=-5, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, URIBL_BLOCKED=0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=cs.tcd.ie
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 Q_MPR26wuvul for <ufmrg@ietfa.amsl.com>; Thu, 18 Jan 2024 07:30:16 -0800 (PST)
Received: from EUR04-VI1-obe.outbound.protection.outlook.com (mail-vi1eur04on070e.outbound.protection.outlook.com [IPv6:2a01:111:f400:fe0e::70e]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 67B6CC14F6BB for <ufmrg@irtf.org>; Thu, 18 Jan 2024 07:30:13 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=EWu7g4/GMpgS6nbZprmHRWQMQcbETS/HKuDWiGbL5kWwgIwCseLMCVyndzHyb7hURRGQ7Hw/GRggjgmMf7FpJusqdAeWgnZ/JoNx00OtZOBmFH3/VW9bkfpSpx/gSs+jtghrDJCWGkbdNJCtEMdTRYhTYU6COnGMSCjkPnwzAA9k6eA+2BezyWbG7VFa/G5EAaZV7AXWCEPQpsMoU9D+Um53PGFHhOf/9OXYbm1hiEYcB2fwQixzTJLme7BfAFMrWm4FqkDsI2TkekBSegeNd50o0vu4vdyOn2WYmFdoQlDWwUKdiGjBMzPdvIQOG2bz+8wSR588DVkToH10vXVasA==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=AXFeK9Yg4Ojo5uMlH4ur0x21aKgJEOymx9rIvVs6LtU=; b=nb08yirt2WQbDITyEyOQbJYr0Mr318Og8AZdJx7zfQ6NxMBayzPxo9BPBAnl8WuXYAtHr+wv/JE41HEmWJFp636Efx5T+dEvWemvsKPeno9uNV75Ia86zMYQ/uYY0shlFDwSZMQZdTZ9uIR0z3liRkEEcGRwJjN9vRjAAF6GCW/vibQWDYu6EKdxiA2IHqamOx5UrXt2UQb8Q2FuIvMeyVG5MtCNGXBR5Amq5RRLm8PcZHCqG+UMZTUqa+AOrxPuzE4gvNYmN2avNEzCMs5xnscjFkJ31xeAWS48HYhIDjqcMTBOaSNOuqjcPF87MPOcTdE3Yl/9tC739TacB0gJAg==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.tcd.ie; dmarc=pass action=none header.from=cs.tcd.ie; dkim=pass header.d=cs.tcd.ie; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs.tcd.ie; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=AXFeK9Yg4Ojo5uMlH4ur0x21aKgJEOymx9rIvVs6LtU=; b=FyvVbgrRK3BeNVaJpN1l98k4uW7Mt6xxl7rqd17HmSzVDq8ccbz/3KkLWvX4KVzJWxnIPC38RcqJxl1QHEIcOpyic10J7Utqj0WEY8Y2TyCBlxNe8QuBczO7taDwdBpmSWKY9j3zdV1hJFTFjajGFGEkfbJxak3xHFEP08SIKEth3N0YZRUQg3hPP2iYtv6xdvt7OWz3q2z2BVc+C/Bpc8pya0wpVXHlO4YAWIjcxjcIU/TkYqEVKvga1KX+7Fig2BZ2Y3HW6VUhQBRY0D2rmkyunsj0JvdpHvvA/laKDKDYDrvaSsv2Us6ZYgoFdTs0SnneIdRBQdeb2+VnKtXN/A==
Authentication-Results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=cs.tcd.ie;
Received: from DB7PR02MB5113.eurprd02.prod.outlook.com (2603:10a6:10:77::15) by DB9PR02MB8370.eurprd02.prod.outlook.com (2603:10a6:10:399::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7202.24; Thu, 18 Jan 2024 15:30:10 +0000
Received: from DB7PR02MB5113.eurprd02.prod.outlook.com ([fe80::29da:8147:6e33:c2b7]) by DB7PR02MB5113.eurprd02.prod.outlook.com ([fe80::29da:8147:6e33:c2b7%4]) with mapi id 15.20.7202.024; Thu, 18 Jan 2024 15:30:10 +0000
Message-ID: <397fadd0-9a1c-42cf-8146-fc8f10b5ed72@cs.tcd.ie>
Date: Thu, 18 Jan 2024 15:30:09 +0000
User-Agent: Mozilla Thunderbird
Content-Language: en-US
To: "ufmrg@irtf.org" <ufmrg@irtf.org>
From: Stephen Farrell <stephen.farrell@cs.tcd.ie>
Autocrypt: addr=stephen.farrell@cs.tcd.ie; keydata= xjMEY9GzphYJKwYBBAHaRw8BAQdAo6JvjmSbxHdQWPZdvciQYsHhM1NxQBU398Mmimoy4p7N M1N0ZXBoZW4gRmFycmVsbCAoMjU1MTkpIDxzdGVwaGVuLmZhcnJlbGxAY3MudGNkLmllPsKQ BBMWCAA4FiEEMG54R8tZDyZFrDOn5Njp+ZeoM90FAmPRs6YCGwMFCwkIBwIGFQoJCAsCBBYC AwECHgECF4AACgkQ5Njp+ZeoM93bogEA25ElRyX0wwg+kGEN1AoL60MoZfvQZ/VtmXY6IC5j +csBAIBpkL5ySuzJK2zLNZn9qQGht8IaUcA7cvDcLvS2uHUEzjgEY9GzphIKKwYBBAGXVQEF AQEHQILCPWOwW36e8D3pY8GmvvtItIT+A5uV80ist+WokVsQAwEIB8J4BBgWCAAgFiEEMG54 R8tZDyZFrDOn5Njp+ZeoM90FAmPRs6YCGwwACgkQ5Njp+ZeoM92bcAEA8R+8cpqRUIS+SoAN iO05xE6O/wEx8/e88BqzAYki3SoBAOQdwiPX+MQrAxkWD8xxOsdMOAtxYKpkD1n8aPJUw6QJ
Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="------------00C8DvxWNtCsOpne6Ipcr9Vw"
X-ClientProxiedBy: DUZPR01CA0029.eurprd01.prod.exchangelabs.com (2603:10a6:10:46b::18) To DB7PR02MB5113.eurprd02.prod.outlook.com (2603:10a6:10:77::15)
MIME-Version: 1.0
X-MS-Exchange-MessageSentRepresentingType: 1
X-MS-PublicTrafficType: Email
X-MS-TrafficTypeDiagnostic: DB7PR02MB5113:EE_|DB9PR02MB8370:EE_
X-MS-Office365-Filtering-Correlation-Id: 3e1321ec-1015-4e79-4e56-08dc183a5b5e
X-MS-Exchange-SharedMailbox-RoutingAgent-Processed: True
X-TCD-Routed-via-EOP: Routed via EOP
X-TCD-ROUTED: Passed-Transport-Routing-Rules
X-MS-Exchange-SenderADCheck: 1
X-MS-Exchange-AntiSpam-Relay: 0
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: ukPvGDgTyylzNfTG27DmEmIatfpSXRGgbLL5yp8QIu4ikhtF1tIxPH//kFm7dL0jK7peHF7vJZP7Mh2nfqih914ovdqlRFjvHpdpYzjDjr80mwIEWzHnBDvHI9+Oz8tN7HjC4PmdQ4QXMq7ZCkCPbjWhUw1o5E+hcqbUZDVxLVksLI3j+hMintMpO+V8G2V+eflpzvYi/4JWuzWp3c8u4nAkOLgHnWtTuJjfRdHr4zBNWSudbqdoZqBi3MI5rl5UV4dAAHD1s38oelRYNj4EwRH/QocXUK5LIlF4HP3L7l96nr1g9pr4m4le7t72jXxluXJ6ezx1EYT1cROL8x0IRlVloyH2bIAFTU5eI+WWacCIVGKc3ZS6Sf8FBFAYONN3OpJwjDpRkrZlzCeJOgLUDma1JAhMXBRD5BZiauGeHRvSPd1LselVDxdK53f67yTIL4YGxQCE+52cysOS9n5jElA3SLmBTunF6cQVPE3ja+PNv7rEhJDx8gXSWm/twQ16x8gMC9DiR/6ehlATJdWSbiHICQfSs/M1GfGes71t8kgvkYdJ3se4axAtDSfCX42Ff51jh3KBHjViLuF0p/1clXiajpwTGJ8rWCmAAbx9sfel7xbTU64kddohLQ5c32VJTxSiG42rgYyvN6veythzng==
X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:DB7PR02MB5113.eurprd02.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230031)(376002)(346002)(366004)(396003)(136003)(39860400002)(230922051799003)(186009)(64100799003)(1800799012)(451199024)(66946007)(66476007)(66556008)(6486002)(8936002)(8676002)(31696002)(478600001)(38100700002)(2616005)(6506007)(6512007)(33964004)(6916009)(44832011)(316002)(86362001)(786003)(83380400001)(21480400003)(5660300002)(2906002)(235185007)(36756003)(31686004)(41300700001)(43740500002)(45980500001); DIR:OUT; SFP:1102;
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: 6fB9Q9SnF4hLrGyJmOK0vB9RAsn5zswlyaY8R2Bp9WLHGFaWq6VgDVgqT/uqLTPapublcudAuo0+N7woyxKRHdM7nHpujs2LoeZMX9LTkguO4K3Ewg/nBCuVQ0i+rZGxdqkHsSipTHTVN4wjVOH3Gl0fSx84vGqbxIM8F519l9Th7Nct5ZdOj5DcoQqSJ+9F+aYgKGT5Qw0fLAaqzWTm63ry8dAwyhiEZjM/pepd5JV1knpERazsBIKWnUlGxESEfkb0HZ3ERMcCTsG3VOuxlLfghf0rbFxMYqlfhK9aIYwWhbzq4AD7AXB1IwlPtC5hBnX9hvZ7R36B0VGJwj5c0AoyjTTentcUqakrSUwZoRBjpB0iOi8D2lqkiGnNTvHOSo1+a6YeJSolmNIZV4S6r6zHAATT/h27lhh5/cYRGLxWvd390kRW7J7PelBJIRSk1JGpqLpRYwbBK7UOr5cfPQX9hz/bJrODkmSSIMO5x6zee4b/hv/YQPSpD9n/IOGWAW2QlIqg5ggk054q1tcM7Ml9dUBdgukOnlzjdcoA8KIDKf+uKGuiRk7bfBBOtXz5Np0pTu1KDdZhL5dyC/gOLGOOu8qpn9lqCgXtNdL8CnGGBYXUiUe7U8srahmnzw7e79Ymc8et825Il+QSMtSFYrcD16Ut8jpEqyp1GMUmBYK9XUMoYntw5n2iQjw1g6A3e+Xm4KT9l+G+xF/Koj1HxmYUsN4KGzHOfRmA4MpOUvHa9ICUVOHNbhBtEi73estkxCyDvJ3dxg3NIcqWpw+3I7NT0jaVaA1nY721FsXLXo9TSrinbX4r/69weEkW31x26r2PQE5n2XECvHhwsPJlujLcna8AWHmm5DxAmtoQl6Gy6PKdfVkoAx6spZElFYYHZBrLFYAXe8g/VZ3HAK3gB7JaUe7cwWF53uKMl8nlndndZapdfomak1TDXs/C9VNQELSoPckE7vG7298CvKcfeC9ULYxIERN1JF6yy+ynBwC+J3nWmCZUArx+PEZO/UiXN2AbNQLmAxO3hiWkAoTk1+PXeYZvB4M2/00y2jm54eCNXHJ3cmGnHShUJisJ5m5a2vOABTDoF+fwsQuAciczNyrXPscMuqrjuQ1x0xqckXgYHGxug1/fJXyfGJ8s1BDAJ1e8s76wsqWv4bM8PB4SqOEJXKdGd8aUkFxUTZYlkjkanz0cSz02pTNzktc8SYT0Z6W9OMOQhNGYk/ZpOwdRXWZfcRdHZIuk5e91+ComBpC8JQu6lIA3cQ5z7mrkpeKRq2H5n1kRh0j7kNJjuH3Q7VsEjvtgP0LY8Q2krNsbqx34Xv6WDSvpyRlA5Rk3N56nbtxK6iH3dwBAQTD+Bi0qLc/fa//kBkdqSQh3JLKgsOYAqfNisTIl/Jla7GNN3LEwpX7kJV2LDmN0objefnlwMgwH+2hi0Q7vaIUyGRobPCEQyd2zloKjCXz8MYjzxkw0pUqmSjvX+nKpvyz9bVGN+8r6d6m9poVYMdYCcWImP0TQWApMd5IGhXdb27Yj8OgMA9mtUv+OzPieD545nXZWvW+LyINOX9JmptxGCvyWEiTpUM8lwCXCwtAVWJuoxoqd6l1ME0yURPZuN80TpWJq5GHvh9TCT602Raq3/ShAqQLPevdcj7peJOWzzx9HXrRe
X-OriginatorOrg: cs.tcd.ie
X-MS-Exchange-CrossTenant-Network-Message-Id: 3e1321ec-1015-4e79-4e56-08dc183a5b5e
X-MS-Exchange-CrossTenant-AuthSource: DB7PR02MB5113.eurprd02.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 18 Jan 2024 15:30:10.0808 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: d595be8d-b306-45f4-8064-9e5b82fbe52b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: 7kfGC8oqR3updXZWOnIf6BhyFLtexWkyxl0hfdwyLp31xW7GcrwRYLImWOabxUk+
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB9PR02MB8370
Archived-At: <https://mailarchive.ietf.org/arch/msg/ufmrg/dWlVqtr2USTZpiR7ILDyKFcDQ5Y>
Subject: [Ufmrg] ufmrg plans for the year ahead - coupla questions
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://mailman.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://mailman.irtf.org/mailman/listinfo/ufmrg>, <mailto:ufmrg-request@irtf.org?subject=subscribe>
X-List-Received-Date: Thu, 18 Jan 2024 15:30:20 -0000

Hi all,

Jonathan and I just did a bit of a planning call to
chat about what we think the RG might want to do in
the coming year. As a result, we've a few questions,
and would be interested in your answers, either to
the list, or just to the chairs, as you think best.

1. Do you think we should ask for a meeting slot at
IETF 119 in Brisbane in March? (Even if not everyone
goes in-person, there could be value for RG participants
who are in TZs that have been relatively disadvantaged
up until now.)

2. Do people have work they'd like to present/discuss
in the next say 3-4 months? (Regardless of whether
that'd be presented/discussed at an IETF meeting or in
an interim meeting.) If so, what'd you like to talk
about and roughly when?

3. Which IETF meetings do you think you might attend in
person in 2024? (That's Brisbane in March, Vancouver
in July and Dublin in November.) It's fine to just
send the chairs your guesses about that off list, but
also fine if you wanna respond to the list.

Thanks,
Stephen.

PS: To mail the chairs off-list, use ufmrg-chairs@ietf.org

PPS: My own answer to #2 includes updating the sample
problems draft, which is on my todo list, but hasn't yet
been done;-(