[Ufmrg] Chairs meeting with IAB this week...
Stephen Farrell <stephen.farrell@cs.tcd.ie> Mon, 18 March 2024 00:20 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 EEBE0C14F5E5 for <ufmrg@ietfa.amsl.com>; Sun, 17 Mar 2024 17:20:44 -0700 (PDT)
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 v5KwoafAJbNF for <ufmrg@ietfa.amsl.com>; Sun, 17 Mar 2024 17:20:40 -0700 (PDT)
Received: from EUR03-AM7-obe.outbound.protection.outlook.com (mail-am7eur03on20700.outbound.protection.outlook.com [IPv6:2a01:111:f403:260e::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 7AC77C14E515 for <ufmrg@irtf.org>; Sun, 17 Mar 2024 17:20:39 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Gsg3zxL7UBCgTJ2xktGMptVCq9sVEGxeh0ikQHrqFdUtZ9DvyJluNcl9xfeHKoiDq6x4OIof+z2ZLhtXaNMk2mfJW1TsNk0JuVaWvjNR39H9Iwl6ZkaX+g/M3Be/gOVCf5aNxt1tZYHgFslMBOTIOdpbSdX5fLAZ75jX0lrV2v7yLrtUuO3nbSOKYtR6kLDqbIEcBklDDPEGzBVDaztxMuF65uxzasOa/F5QkO/wOynwaeB45qxa5JBt5TVSMu1JEUvrU6Dn64DIKEIz4pezhv4YmlmG7m6uy+dE9ec4/pc1ZJSkKZGTecyFJZQnGg1kDS8YpVG90CGtt3p/Ll7f9g==
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=U7zRKlw/zudeQaDO7sP3e2fs+Oi0SyZgwoOzKNua5rs=; b=n4s2+/Z9Mp+tGRXofIZDx7tca8UlLZvmp20jVSIoiq/M+DyMtfhrvzKAHGaqDv3RTOYbQ/Zo/Gw84TLW8ae1tpee/RdtMB4c+u+ae8zPIr3CQWV9lFAEVXBG6sf+SIPq3hq36Gd/ThEqp46mKWoK8grlO0k4e7Pb8sEIxXHAy5eNoXL/h4U8DVv7Ezt3faV8kT0H8b+mh1+/7oh8bBqhXVhH5I4j+gcJ7669wLkVUvqep2LrcxxAfndw8nn/ZofrQDoRq2bkwa3aXQnftOYFjzUQP7tWfu1r6uSsCB0z5bpraypcgpCn0suQ0AWip00qwwNr1rf960utw+DQYxOODw==
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=U7zRKlw/zudeQaDO7sP3e2fs+Oi0SyZgwoOzKNua5rs=; b=B9+uzEE2FjfvKjC51BksorSW0gv9CfyB0kjnaZyEZyFBzZ129mSy3ByBDFGcGjHf13jEp+buEsqhkq0z/4fea7LJtAS7qLuiIS2qe8GDHbNzN+AuWfleUsxC3VVfuJeA2zjA4tFK7L/lQgU4Khbw+w/s3jYfjawzTSaQ6imJasv6rhQhfCBQYEHj+DJ60jWjgDFIR/OtYVNa8xwLvcRTNw0grodEy9WMhSOom11ZpiP2R4Hkvz14aj0O9T1Xga3cQHQoURT84po2pKNjN+iiZ06+gqqwfPBD3ezz/izNUq/eU+4HN5g4GFJ7Wq5MTSy78T5ZBf+yslxphGI0NSPuyA==
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 DB9PR02MB7372.eurprd02.prod.outlook.com (2603:10a6:10:240::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.26; Mon, 18 Mar 2024 00:20:35 +0000
Received: from DB7PR02MB5113.eurprd02.prod.outlook.com ([fe80::4421:1ca6:59b4:20c9]) by DB7PR02MB5113.eurprd02.prod.outlook.com ([fe80::4421:1ca6:59b4:20c9%7]) with mapi id 15.20.7386.025; Mon, 18 Mar 2024 00:20:35 +0000
Message-ID: <3675b87e-bd25-4999-905a-6f9849a4d7b6@cs.tcd.ie>
Date: Mon, 18 Mar 2024 00:20:27 +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="------------0psWjQSwQCFqUC0eD0xzKFKB"
X-ClientProxiedBy: SY5P300CA0090.AUSP300.PROD.OUTLOOK.COM (2603:10c6:10:248::28) 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_|DB9PR02MB7372:EE_
X-MS-Office365-Filtering-Correlation-Id: 3dd60ddf-d918-4226-6f03-08dc46e13b06
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: ZPgcFE85krpdq35+Aez16eihoOI4AVPmQCRQO2dV/9Pc2JQksqIdt0f5rl/MhVfAeA+bNjmolxEnuzAUxsiZlPlXEDWNSRfIQnbzroRn6+QbMGxUvnYO+WCBDvhpAJZwee0LwJEN6wB+nznxzA0i55CvpLT5OsG6tEbzTaU17MiZIfcMPzZ2RyTf96jx12jD7Bz6k+AZk82J/4S63uLoEdnNic7NZtv/Kh9sGfEMiaoBdi6tx/YrRm4z7QIlBm2nmhtcaeIPVLeOZkZDvN71ECAc1obVolt2NYdse+bCBUq9taBUYo03SMDKD7TqLCURDBshhicAh0/fcbwzVScKy7JTkAEf0PuJ7hHDqeW75pbnY2n0NTBjuOg1y0hRK1oaiF5KXp6UaCiInWcYGqskm3cy63twbEhcWjpRLcdE8Kai1g3L9UPBOsAbWwWYrHxRrFLg7AIOLJ8NA1OVFkDehANyLZZUs0bhpi5vJsh/KaHJpStwsj4CRnQUW3rLBbZunaTlDVGMLUcMLVrEGHdQ/40nljcu9RJZEE2v+rYtGMY66/pOaKBe0dLtWPtAwj2QurUNitgWpdF+TRgLbPk5pB3bptWg2MFWwh16RNIjpwpiyv7RKn431KZhuvI7klh9BlPAxpYf3YrifjCE72I0cZEztnHxmlSQ+a9X1dYjGGs=
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)(376005)(1800799015)(366007); DIR:OUT; SFP:1102;
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: dn9Hj8xgeKrmxV6xVMd0gjE/txPCZbfedlt7sio0MDX324o9PaASWbWLnho9qpUVhpiMg35w8yLCKaehnXkArPm0fzt8o8ul7+FMh5bb4AVdgXeU8xphVZ8l/CbRQaL0zL3AiRF8AlM3C7gT/OwGeGGoli7Yk5IJAl/Cl2OxLt1EGbfCuTxPCBhxFhacOlSLaPKsqe2pGUOGtw6rO74eVPQ97gCzUAw7rg/IvHZcafTMGb2cKGymgj9CnYEfwE6OF1CB6/aWBSOJZzeVpacHDXZlHKV4d9VWFaFOZBBYjMz7xbJoBNjovu8MLjcrhBL3P8Um5MCI0hqwhesGDK3mPtr5gHuVCiCLRnb20aU57lA75HNss/SvFmaOFPHfIWrHqgOPZN43e7bQm6VmNayejxCpnbqTxasPz27AwpCNINv3zK6gVOA0MZ8KhCMvOkffRL8TXZ/918fG0yrSoWgv1quIk3dGnUO6PKdkoDFWs4jQ2jRP6Yy+KMA1v+otm6PnDG7wKIYAwCRpcPvgEnJIyVZkSHSY3P5a+da21YxCd71ymX9lbF2rMNJvQ3ti6yOJ/PSaYXWb49aiSSgWK5VqqNvtnDkDuyju5q6MSNpWG+OIG1LpgplnO/NjEWqtjYUdoZTsUtbn1FjoUL3I/uzz+/1YwXew2MRvZ9B8iA+vsR8REPd8Vrp5UiNSNDY1sP9+AL1g7+szOH4EWcY5CgZDcV8vd9b/GH+S+eTdbgpvkfJXSzbMCvl1zf3Llof/YlHJVOiqbSNIo1mhIB19mBEL9EvsL7LNZtwyjZkJBY7h1VMgjCeNt0qOqlhUxHFsIqI16nl2dQj6rIO2X/MA9sYa0KTsOmuDVsVGWIsRpysKdenK2k7iSUa5FQP6uiLK1pB+eRuMdbHWOLdSMSQsqD+fK1/pXOrmDmRQceJ9NuBEscpmTpOrGHKGs1l77fBcYM86V74hgmX6gFnbqa144ZYxMUel3SQtDabcFTjiyNDNv9j6Dr2fcORua0yu64MuLC/3wMwZj8c32QjDyZCIUoZ4/XL3JGJ5o9M3Qjno6sIz0muFHO9tR9VlkfqJOQATcbIM2Q1WesraLxUv/sF3moJYS0OogxLnyKN9vhUTaMiarCeVsQRUzX5cY3YJYNWy/1v9H5/jiiaPZKSTAiqeMWE1q9N1wOey7akMkuF8NjumWyieO8Wiv/LtM4hbOKUUwi/za+veQMU634tMmhT3ty2KZDPu3+bogvqHuy9ebKTpMTnLxvuCR9BOpefp+o2xZw0pp50A2pxXs4xavpZtI7J7E1hffdQG2pklIZIUCg1pt6pwm25JzOgLV28s9AyntiFLAjgsRehcnRbbYgsBAn7tK//kW3Ztnqn6g4Pmv0n/0wzF0cMdCToljSumJdcntj0PHjM5O+lLmfAn4imzpqUBUktVZAjhB+xogXzxXtZfsVGygNwl8Fsr4+nP8earJJfp39tdCiCiR8NO8tMCZwclF8UpQ6PG5vLr4tAfy4LUXMXEDJ4gF8W0yYV41k/AP8znbdKa/TkDTx9LewxNX4X+aoGI9NcD8uyJoxGRSduXYKDxANTW/vUuxIHgfH5PT+0IjefKJaUHnByci5iUvHE5YadnSRcYkr19LT6zUzXmKI1byKVZy449AluLXRGwetFj
X-OriginatorOrg: cs.tcd.ie
X-MS-Exchange-CrossTenant-Network-Message-Id: 3dd60ddf-d918-4226-6f03-08dc46e13b06
X-MS-Exchange-CrossTenant-AuthSource: DB7PR02MB5113.eurprd02.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 18 Mar 2024 00:20:35.5282 (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: fqlA5uQWuAvyksDBLkpnwDv62Y6uGJ0vgYkvsFMZMJYbDaZz5BiLZvAHsIHGCUJW
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB9PR02MB7372
Archived-At: <https://mailarchive.ietf.org/arch/msg/ufmrg/-jtbo2bJgF_F96yvAKK5J704K_s>
Subject: [Ufmrg] Chairs meeting with IAB this week...
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, 18 Mar 2024 00:20:45 -0000
Hiya, From time to time the chairs of IRTF RGs meet with the IAB to chat about how things are going with their RG and to get any feedback the IAB might have that'd help the RG. We'll be doing that for UFMRG this Thursday morning in Brisbane. We almost certainly won't have slides to share before then though, (it'll all be v. last minute:-), but can send any slides used and a brief report to this list after. I think our high level summary will be something like: we seem to have made a reasonable start, the level of engagement has been pretty good, the training stuff was v. good and we'll likely do more, but so far we've not really made any significant inroads into the "usable" part of our goals. We plan to keep trying though. Meanwhile, if anyone has feedback on how you think things are going, or things you'd like to see done differently, or things you think we should mention to the IAB, please feel free to send mail to the chairs and/or the list and we can try reflect that in chatting with the IAB. Cheers, S.
- [Ufmrg] Chairs meeting with IAB this week... Stephen Farrell