[Ufmrg] draft ietf-118 meeting minutes
Stephen Farrell <stephen.farrell@cs.tcd.ie> Fri, 17 November 2023 17:33 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 E5153C151536 for <ufmrg@ietfa.amsl.com>; Fri, 17 Nov 2023 09:33:55 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.008
X-Spam-Level:
X-Spam-Status: No, score=-2.008 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_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 i0af54xqaoHT for <ufmrg@ietfa.amsl.com>; Fri, 17 Nov 2023 09:33:51 -0800 (PST)
Received: from EUR01-DB5-obe.outbound.protection.outlook.com (mail-db5eur01on0730.outbound.protection.outlook.com [IPv6:2a01:111:f400:fe02::730]) (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 F1F85C15155B for <ufmrg@irtf.org>; Fri, 17 Nov 2023 09:33:50 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=RcJx6tteJtRwa8i43B3uHFcHf+VYk7m6/dd9cOabByadAbcS3oxiMm6hIE9RcAkOge9aVat2oJN3XOnxKKfx5ZA50Rst49VcpSkG4QsbUKdmAxYYrGRDosWOUsdRR3JXncSilN+UlCw6bFvx5rDCGnR6JtsZi7o/XynioaxUK/FdgkePDukL9Drh7ZnS/Pj0ztnQ4Jt5KZNVEsOvyUoPelPHUoMjlzydmfyn1IEk5j4AWhlQE6WSqWOcBfxH5oPRrs8Lle90nwaNNVg1wlCSXFuqFXY/80c1XNTqKgquB8XM5wR0mBf6VIMBMofniYN64Z47+hcumXPCSDYaFvcQfg==
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=nPRs4BCxnU28MQ3QsZyjns0e482LYdvgrMAzquOwdNU=; b=KY/NC5qxGJcNVX2iYuMSawC4CEft3f5T9HjF0SaGeN3iOWj4EzI2x2jeBa7MKvTV8pgFEV5GFtefUENyzq3dYeaTPn/lf1OIlNP6w8n4uaCuAxOhLlFL4CEvE6O+upfnHL/fKXLF0tcmN9IyV05t9Wp0fMOYCG1mehH+rp6ijCy04j62eHmFOLFJj/UZTpwXnNJV95Uf7NAAEzxfL6lixdJQ9/WgHivIETOykbcux/UaQckZKdzTtuRUpgXBX/rT2Z/a/WPz3+j3L6xG7JU1j2qKj5U+67Me9GuIdSicauGjnCvo9o9KCFYW73Z/iBj9R07SSoCzKGFs6ObqOhKAjg==
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=nPRs4BCxnU28MQ3QsZyjns0e482LYdvgrMAzquOwdNU=; b=re9Lxx3fVTBKWy5O1PpiKi8QLheE0xWd685o7X/Z6Xn6hrZOh4EYVWTqNx+fDfPIHfdp2d8V4HUYpJtmNWVqEGyT9ewkvHoAhZVMqAOmQg4UFO9MR1fW7AsmkNGszRv+Y9ygRN2jZg5mz3VXQ5ubHHmoqVw3aCL6WIRFd8dVM7fO5oMg22Iv+5evOkMKEjfBHOYjyYKttnDKaz02fcKBscmBBC0CdFq5nk6voRLKDLM3BO74Q1NqRVez2Hcv2OSPSobEvDHyShM+OEzHWLot3E1Pio+NjztPGRqWmb2sXVfYTw7EJzylRYkCMnqI3XyM1LAcMpvYOuV2pbFmajFddw==
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 DB9PR02MB6571.eurprd02.prod.outlook.com (2603:10a6:10:210::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.23; Fri, 17 Nov 2023 17:33:46 +0000
Received: from DB7PR02MB5113.eurprd02.prod.outlook.com ([fe80::d7cb:f7b5:ad53:c139]) by DB7PR02MB5113.eurprd02.prod.outlook.com ([fe80::d7cb:f7b5:ad53:c139%5]) with mapi id 15.20.7002.022; Fri, 17 Nov 2023 17:33:46 +0000
Message-ID: <63850bf1-2f84-422d-a3d3-1496b3f6ad68@cs.tcd.ie>
Date: Fri, 17 Nov 2023 17:33:44 +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="------------Qmj0eiOePhXlbhjvwD1ieo2G"
X-ClientProxiedBy: DU6P191CA0054.EURP191.PROD.OUTLOOK.COM (2603:10a6:10:53e::21) 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_|DB9PR02MB6571:EE_
X-MS-Office365-Filtering-Correlation-Id: 8f5e8580-1389-4d93-32cf-08dbe7935a2b
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: CZA+UExGBGEgLtvVWdjd5pAY1fGLeARNmme0Qr6KhIgE4hbJFRVWFhSZBeodWMWJQyO9Q9gRCePWHjgWIJSzxye4IVUuSD2BuesdHWrhlOPvUcVaKO2wstjdUEhmUjuRwocceU0vkY3+fldrDON1AAQGbgLKQTay3Bn9D7Xd5SC/WhjH88B9e56pZTYe8m4Qb9TmpYdC2Wrp1TB6FZPELhaadCZGo8m7rg7AWNTZxYnwayVMxIXcdE6/HjCF89/mAps178MUGREAkPiL/1jzxdViHpRV++PjaFP0XGhf3kqndTgQXeyAkynPirohyFXBfPPTUkylMfj+HPWRR3SNg85mcjPyckRXWJ/hh3TJRfDMX3EJoZPlT05HfUZczqB2EXkEB0J+mn8qCECZkTCHOUcoDXHe7ThwiJcr+cWDQb9VgeUZ0NUOzk392vb4cnUPzZNXxCMnv0TyNOFnPRqYUBLsfCWPR8fkGJFmfrYtC5veVCGCiHUB0gxEQa6Gr4aFMLv2GMDXVIrgxmM0ui4z442wdJl/f+L5avBM7Sum9QKTURa+KCNrZ4HY7GDl9XuO+70XgVZsxk4tYoyWzAgJLv+W6HWIExKWWkjn2UlCD2sG0r3GAce80++BxeKOKjasqU37iFiYD9CpM5ueU3x4cQ==
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)(39860400002)(366004)(376002)(396003)(136003)(346002)(230922051799003)(451199024)(1800799009)(186009)(64100799003)(66476007)(66946007)(86362001)(66556008)(316002)(786003)(6916009)(31696002)(38100700002)(8936002)(36756003)(8676002)(44832011)(235185007)(2906002)(5660300002)(564344004)(21480400003)(83380400001)(6486002)(6512007)(31686004)(6506007)(33964004)(478600001)(41300700001)(2616005)(43740500002)(45980500001); DIR:OUT; SFP:1102;
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: b/Ndv8lprDq0iN2hP7TPMlEq5LChhaY+OgbVd/iQvAm9EZpOyFVO/ojZTx1XGehbtqmS99m7N1lF8K+GvgzMzfxDPw5G1rhFduSk3YeTPnAHj/rWhTE1A/Hz+zHVzM4XDAVmnUPMS3K7NqTwdyrQo6Bb3/FjbMgym5y8zKtWOAjiOxUK5009ps0qSVcD7oBFOsW8OkI/v4XcCtXDHut6CS0GsZH5Kb1mofPF/C585agKKak72QA4bgekrDkAX4dJzT4z1/gOlMtDK2BwKVEv0pLVqKCIH24OYTCO4M0ZODBGo41tzQsGcaADCIxW424WI0PpfjycHyCLA5CFEOqJGQX4EUGyp1oWSaXTvD9+/8kDpbyraFsiA6Gxd51HfnYMf25KlkalZqPxQsUcWlBt8jFnfDXQx9Wfgvvz5bFfqPmmYu7mpY19/kuWf0NAF8lElOeafhigNFOJEz0wWK6kQzvSJuQhUfpXQxq3F6U9iYHJKq3lTbDdAT5+4IKJ6ucyANf2N3yzVLcLJ4axslW5ZbI6F1mpqmDn4s2o9AGJxWp0K4Jb2NCnu49nV7Q47akRqQ94ci9kjmLPisb/IvB6RiszVaignL9Nq40SSCtg7rOfQsSe5xih/BkzBTJmqD6QNxuEaQ0vUL8avQiij9BK0sR2XR8WgjAn/fCUEkYcaXNkAsxwDJfnR0BAEvXN45NQSv+lWLY/Lnl1h3qHdE4XOGIVFYSXTon+kgx7ebtwjo00b1QZ1zdaIht/2Etmae9B8nAZH4XuWztflMzSAWSx7miG57/JBvPddOUQebxK62lsqzy/yGLkrZ8EoFMJDFITZCFVP+AhNiGePeSqXGJoEl1iYEq1FYpChXDOlFCTJTPzCoJlW1ja6twdndxc+qaXpkyEpUHrhCykgyIO0bOPAg8mwLXE2pfB82UaGERf8ajPphKqDf2iPLUKnpMJb8bIUnQVp0JewSsybdcO6haqVGC72C3EhUBARMmYzwAdqtCHQ/lBEvzEfTJ3vy8GrIcO9XzB1WV8Pyqs+aYocKy5LNOE5VJfP5i8fvrvhBLOitzhlyRSptqFag072raTDnIzZqOBkXbaRbj5FK8NF2aSrjFBGfHU1rVpZ4SWtqMTtEUjveTwJB/4BRm7/qZxDOg5ZBp5eD78Q1I9frhQb+ch8S+/a33dw/m6I/6IQWRLBZcvGxWVhWWS0iQ6kVPz2fr+2W3scW93kNcIHk82zf+fsRcyyc4ct3BwSTahrWK+d7+jaB9N+LGRUAZ2twcFW0JD2y3OSxX5MCt/mdNWFOHyoOXbDHqBQ4yyurBH38WEWoBps4lbouoqNrux1e0LcMpQqOBLx98R2Jf2zHtB1f9ZxdF9xigKgxPXEZRr8HHlSNHwnp+xJQJxmlMScAQUF9qGMzOVlEyXTm9/v1/+yzdeKRg3/AY8fJXAvW7JK04HGqJ92VKnsubo/H9m60FOZyv0pkbsA9RDCHMUmSyK20uQWGSyE9utmjL7soHcsSHXOtpsDWoP2/hRIyLkjUL6SDrNSro2FRY9sqaJciDfa9DnA1gmQnjaxBaRDIdwdYA/6dW+YZGbDK7qkpGy8B/eXYXd/BExWjFILWnkd/sxoliDcbGgc5RXSV858wPoHyXcC18Vhc2+IPpXXwZwMxrI1igb
X-OriginatorOrg: cs.tcd.ie
X-MS-Exchange-CrossTenant-Network-Message-Id: 8f5e8580-1389-4d93-32cf-08dbe7935a2b
X-MS-Exchange-CrossTenant-AuthSource: DB7PR02MB5113.eurprd02.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 17 Nov 2023 17:33:46.4671 (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: f0JB0ah9h3TI80fQXpGzNBOIdi7djuQwKfvqJxcmAiDwrRsU5C+mWvri1HD51ZMR
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB9PR02MB6571
Archived-At: <https://mailarchive.ietf.org/arch/msg/ufmrg/jk31q66KTfs5hEfQXufL85ss8WM>
Subject: [Ufmrg] draft ietf-118 meeting minutes
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: Fri, 17 Nov 2023 17:33:56 -0000
Hi all, Thanks to our note takers we have fine minutes of the session at IETF-118. [1] If you have any corrections, please email the chairs or list in the next couple of weeks. Cheers, S.
- [Ufmrg] draft ietf-118 meeting minutes Stephen Farrell
- Re: [Ufmrg] draft ietf-118 meeting minutes Stephen Farrell