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

Stephen Farrell <stephen.farrell@cs.tcd.ie> Mon, 29 January 2024 14:40 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 29F51C14F60A for <ufmrg@ietfa.amsl.com>; Mon, 29 Jan 2024 06:40:43 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.007
X-Spam-Level:
X-Spam-Status: No, score=-2.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_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 alU17FV9PHHu for <ufmrg@ietfa.amsl.com>; Mon, 29 Jan 2024 06:40:38 -0800 (PST)
Received: from EUR02-DB5-obe.outbound.protection.outlook.com (mail-db5eur02on20700.outbound.protection.outlook.com [IPv6:2a01:111:f403:2608::700]) (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 93D90C14CF15 for <ufmrg@irtf.org>; Mon, 29 Jan 2024 06:40:37 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=J7ykYXJjen1cxpmspM8cC0NZG241QGhN9VGisudEG1FFTeFSmfk5Mgs93R3Wya4vaVk5ddC6P06RySWB9hmSa17fjHkWe+Q0tnaALW/UQOyjRY1bxq0Cbyn4R27FrH9qXIXUxTjMgjNaBrsxCEYbGF89qy4bSo2tpiCRFpeNNnchS9BLULY5te+Kwjrtk8FOQehUJ635Cw325b0VcmS6mrWDqbylUujg2gIXkQxd0YkU/T0pAL/KPYAiE9XA65pet+Ah5jqSrB5NiTxy6WyMeVmhHaX1UsmPsTE+YRfBmMpHV8f7sLYL3QZj+19IYSebxYHjFfXWKhHlJwEXK6E9hg==
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=h2tplh4tL19D91LAejbQ/HToSzZNPslartGPMC0qtmk=; b=M3hBxo6IXkle5VmSP57B8ms9G7JNmvFNqlV1UbsE02ITq6ZTOQ32MQFOu7lxqAWTA5b9yBR6+uIFu50djHt/G/tn++RSZ5ZDas2EpXe+Ip00m9uzNA9cxf0LcGe05rXWjLJmDPe3/05mZpnN9h8gFtOO3HcJ1fWhAU48WNu1ZfbLpc3MwQJ1y9cj/xXd9JH2w7n0IQtAtAOL8/Q0RZ8q8OhAUrBjThdgwT+yjavrktHCXpfnEG821cgqpMtG2TbtaU6xA/9beELqtNNLiYqlrMBwlbsxQjrFNkaZf9UoBy+hTxced2jzgfp29X4/zgJJrNlZOIXvqE2pgm8ncnzMyQ==
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=h2tplh4tL19D91LAejbQ/HToSzZNPslartGPMC0qtmk=; b=YGMwHcIBLsm7UvXF+D1ueJY1HMhlplkOppICO5MP9YOv/K0QXvIXlkZOgXz0ul78cJBIUMWaiFfXDlXfv6qy4EqMnOqazEBhSbkhknUDM+HvhHEbiHdYi9i8UjzaW8G2VWhLim3MpE1dx3+mqj347d6muKmIYsmMk0R1QilQ1JesifUtdNlaEvN6X67SZCeulfY7R4BoHc6zvB2qe0mC3Hi2Kl5LCLLUEWcWhtd0AqPK1ukuaA8F0rdnpMDk3CShnJUWYrpMROL360WTqzSo3Suvi5WeNZ/XmpPdFVL3JgVfJfBVL+JQIfh47+teoTKa+HwZP1gSYbTuejfk5LI/tQ==
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 DB9PR02MB6665.eurprd02.prod.outlook.com (2603:10a6:10:219::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.32; Mon, 29 Jan 2024 14:40:35 +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.7228.029; Mon, 29 Jan 2024 14:40:35 +0000
Message-ID: <11fcbd75-de07-4f67-92fc-7f56803859cd@cs.tcd.ie>
Date: Mon, 29 Jan 2024 14:40:33 +0000
User-Agent: Mozilla Thunderbird
Content-Language: en-US
From: Stephen Farrell <stephen.farrell@cs.tcd.ie>
To: "ufmrg@irtf.org" <ufmrg@irtf.org>
References: <397fadd0-9a1c-42cf-8146-fc8f10b5ed72@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
In-Reply-To: <397fadd0-9a1c-42cf-8146-fc8f10b5ed72@cs.tcd.ie>
Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="------------fqP5QkXoxKOxp4ypXWXkhovY"
X-ClientProxiedBy: DU2PR04CA0217.eurprd04.prod.outlook.com (2603:10a6:10:2b1::12) 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_|DB9PR02MB6665:EE_
X-MS-Office365-Filtering-Correlation-Id: 29873777-1bec-4316-c5e2-08dc20d840ac
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: WR/uMS6uLXkKG/eyhr0UNN6djgJDZCGIBqVRZyk1N80yWPm/AHgSVawT0qM5VQiUJDolKuzeZw15j8ZYuInMQpU6xiZQWhMhaN6vZ2JvcwR/B7NTGL+PKqhft34hnqkF+eGAoghMq881BCaEIKElKOI0Y3nS+nOgNELfWb2atW/PUcBcOyAKAo64Mi/LEMyzSx2RTXh3xPSJbzGh7zk1PvN63pIDReuxMdm9S4FHmIGL2RrjMm9U4VkQiVA78g7pf9tOKhJxjB1PMTC8BIqulN2Cm0jHqW+OPvTQJb9MRQh/KorzLWOykmP/yPMQc/oVC7VFlYvHBsBS+yTHd7souTOkVK3c1v1FKuNt7JmpVHw8g6S9jl8z5CFXODUya7UP45jiK5GPWzZT/e9VQVCXPVSQWKQI/lTn4CluGrhxwn/o0sYYE/+PVZw1Yl7OazgQDsnnzOl5ySQGGDvFncxpQ+MYXAB2xeLoKQSW+fcx/YJ0l9siV3iER3ZFmmpOaXef/geH1Fnb0FXfZ3KXFrO6MGjpVLkzxZs3f11A4ugcmCqyEaV0OJTXJXTUwhrTF077r23FSsYnEuIimsA7lua3ufxwM+KbXUj2OWGz5dtpBu5V6qtOPWaW2p987yyIn4R3+hqOSWcy0wdnTJYvq+WPxQ==
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)(346002)(396003)(376002)(136003)(366004)(39860400002)(230922051799003)(451199024)(1800799012)(186009)(64100799003)(83380400001)(26005)(6916009)(6512007)(2616005)(38100700002)(66556008)(21480400003)(8676002)(8936002)(5660300002)(235185007)(44832011)(6486002)(53546011)(6506007)(2906002)(66476007)(33964004)(478600001)(41300700001)(316002)(786003)(66946007)(31696002)(86362001)(36756003)(31686004)(43740500002)(45980500001); DIR:OUT; SFP:1102;
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: g2m7ksMEGEZObScvDGrLbM102v1qI8ZM3azHSueLWXGx1DebO70ZdG1PWPbzvsevFQV07GxbKrAHS1NmReaDm2k4pujIJEv/eLOt06h+x91SquzdVrZRgNyUrVvTuqgJH+0EuwAFH8njptxvZzm/up5eLL05SKXC4oXquWFtDEGI44B+sx68xEt4Pu9NYiock+1+9C5F4Ue5uL+wjrXCmtsl6NA1xvf11JsHVX5JZo0+lE7uhVzCGHup1T/4YhL0SkEtXwuo0YQ/oru5OQ67PsKpBu7H98/Y7mVZz/4SXYYRobMQa3dt9AroM92484hOr3S+0aHfFXEfZkLLT+9/IIssGmZbFDfokGTboON08jbHyDyVhpe+3kmG7Q+VPYxKv/TpkUuzdwSDcDVAlAjXiNUrA3Tx7jcNNIiqKCdDWxaTPtqATFb6aAVJ0AjvduvpxFgxZyDqqcDTnrz9L0Zv2Va7neDcwlQMTfqP3XpvB2e82eVRkFF7fAwxvV5B+8DsgUgcQI8QZkTJKSHSyrMZfIm8EAVLaxiBWpP1XuZVCli4vDP/ZsJU6/IvkY44zRUZWJ1ZXANGSu2EteglLVr+6NvVr9OF1jteItqv3kGGHKGiznJjUeAA0lrRUJ16I9ZGYSJ31qgS11RsdJKZ0+RxDJp/TPswfa6KdJIEqcgwhVnDIDllJ9z0/5LxKrIwK8uih116sbC38wrmm804+19X3UGmKW+IytrKHAnrzeUFSg8ZGxLlbOGaY6UVK7DZBFsi2M3gQivLtoQruf/VwgzTGSd6B9y0rX0jJJ5Z6MQeicIlT8ES8ZUCBLpdqC5JrRLf/FQxqk217tGP7i3d6GGUt7UBLCTM0OXiSW2DKQwgTyrojLZdQut+mjBsTG6fjnz8JZqkkzteOOG7yq3lzwKj2JYoTyZgwP+/LstD3mK6J/dbylBHMtxo7ZE8wj28N23A1qLE2O5HPTkyF1vSRXZ6qVMW7HDili9dQyR1TsK5hdqsgDsTSJbl8xTEenxV/N0xSg5uVJP9NRW3DdqAk8SOLxKOmmhmzkCOvrsT1t/C4GHnUs3LbITzAp5Lo3DWMmaSySB2+r7BkoWfXrQLt+phbMH2S61C3cGC8x/seYmcIIN5bzOT5xMf5Z4U79Vm4XaJauWG4iJl9gqIx934pMMF9pdYfmhGPzQVq+w2AWW61fxSuapWrLDS7V5LfKSxY3Iba66FsPyDQx2wQ6yMn1YdF8Ty+Csa2Eifegmj/St7Ik+L7vv0kBpw8sW/lyG65W65eg1W8S1ZHI3urNqnowRlWLd0v5ErO2DW43ZubqJRAf9u15M9uRDQS0PW0XOarIf0z/8VVkahmQTFOCWo1eWVmW2/wzl1VlVGLSWkf+sStUoOj88zYCD2+AbNZtYCr7DNOagAUYTLxS5Z/Qc2wMknqpfF9nptzpU365crSAjzi+VXElXf9wd34gmhnM60pksnV4PIlD6uxDxuCOeyrMqx1i0fZCAd+l0bhEf8Ve3VpqQMDofxThUx4mH/xIzZogxINmq8Af9g+nnPac+xoyECny31qfxuDRWvBZwNuiobBttTIvlFMw86M1XMHEspWfTT
X-OriginatorOrg: cs.tcd.ie
X-MS-Exchange-CrossTenant-Network-Message-Id: 29873777-1bec-4316-c5e2-08dc20d840ac
X-MS-Exchange-CrossTenant-AuthSource: DB7PR02MB5113.eurprd02.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 29 Jan 2024 14:40:35.0850 (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: GQ4Yh0lAIZviZBaZ73k2xI5VQd/+TlSlvm+jz7e61CO2DciiQs/0xg0RO7kXY39Q
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB9PR02MB6665
Archived-At: <https://mailarchive.ietf.org/arch/msg/ufmrg/4sslIESC2mHK9oK2ITlByjArUgk>
Subject: Re: [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: Mon, 29 Jan 2024 14:40:43 -0000

Hiya,

We've not heard that people want to have a meeting in
Brisbane, so unless that changes we'll signal that we
don't need a session this week. (Deadline for asking
for one is this Friday.)

It'd also be great to get more feedback on things that
people would like to see happen otherwise in the coming
months, e.g. whether you'd like us to organise an
online interim meeting soonish...

Thanks,
Stephen.

On 18/01/2024 15:30, Stephen Farrell wrote:
> 
> 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;-(
>