[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;-(
- [Ufmrg] ufmrg plans for the year ahead - coupla q… Stephen Farrell
- Re: [Ufmrg] ufmrg plans for the year ahead - coup… Stephen Farrell