Re: [Ufmrg] draft ietf-118 meeting minutes
Stephen Farrell <stephen.farrell@cs.tcd.ie> Sat, 18 November 2023 13:19 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 93DD5C14CF1B for <ufmrg@ietfa.amsl.com>; Sat, 18 Nov 2023 05:19:01 -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 iTtGszE65Wl7 for <ufmrg@ietfa.amsl.com>; Sat, 18 Nov 2023 05:18:57 -0800 (PST)
Received: from EUR04-DB3-obe.outbound.protection.outlook.com (mail-db3eur04on0719.outbound.protection.outlook.com [IPv6:2a01:111:f400:fe0c::719]) (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 61E9CC14CF09 for <ufmrg@irtf.org>; Sat, 18 Nov 2023 05:18:56 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=h61yanaTNRlgKdjfK6acOlG4HoENCoFUNr6G3zrclbJQWVAGbqshTy8qKBDMahN+9abErJd4j0096yAhN2A98JbOhI2X1i29cEmreeQuzwDOYD6ucalq4tcHGbe7xgFjbGayo+ZtvZRjHW3/eLbRpHZ2kwC6jsLcJg9RaJaRgjY2N8tnoDFDbuzSUYKcCUFYkC9AGsxBHgT5QyZUnrQf5+U6ZM8Sw89sB58uia04VC/4nvVealhkBgKEdrBwvZ3thTfalHPsAox3hBLMiUXjie4r1BWpq5BZB291LoEo5EvtWpvAErWPvWv8+r6J0CWD3OKmaxDRVv8F6Npe3odixw==
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=AER9rYdE3hDpho02i6Yg6hNXnwF62cPIRPnjduOz2lk=; b=IJb6/GiD4kzXoAOWSdRuwK4euHr33v/2jvMGc1FJc/gtRMH61NiqpMcERrc9a9eQgFBoPauwS8o2PXtXCLtpqRArHr61Kq1MOVHRW8OpnPkpfewF28SxJrEpWBRn5AORyJMiBRwZYOCOFdNVsRm3Cl7LS+8fvvnmRm4my/Wy4aB6BkgF/A36iuiOAwrIOSdugUkxAYcj7XUKK+McuIk6Iq4GSItb+T3ekneJ4OCHetUEHklIvYk8C9zdwzmKDxh1iWkfsAV7soCAtjABmxk/eFU+NKXCVKF3UoV8dVxOO7R++WwQdpq4OLGAoxrZJjGRm1vIl0db6rz5EwHJoea2eg==
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=AER9rYdE3hDpho02i6Yg6hNXnwF62cPIRPnjduOz2lk=; b=uhj2kLSXh2no++iAX4C+nUYmmCApsRbqS/zpaF/hdxzkbW98nabiqHf5vDmFpQYm1EeaQsuzmsqQhyfg8XuasRIQnWvrS2L3lbrnY1lBvD/oFR/FRV9D44vrd2NnTP/D1a+vuzggvn7GsrGVFU9D5WcNVM1KPkBpO8sQFBJE7tfbW75bOPG9n49YCkM7A84iu7253+hZdS32pbdIsYeRR7Fn0AI89SD5HGQFFfVdotRHYdPS9/OC8olUnDmBUanx0AFdcaQKqWrSpSA2Lz9yyPqNdvUsAVU2Gy8MrFGfeOnYI0EDHkQFtNL0cVtpJeXdlP2Td2hhUgPrEGhvrW23IA==
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 PR3PR02MB6252.eurprd02.prod.outlook.com (2603:10a6:102:74::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.25; Sat, 18 Nov 2023 13:18:52 +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.025; Sat, 18 Nov 2023 13:18:52 +0000
Message-ID: <cb3458d5-0cf3-4ba9-9ee7-c908a7105f19@cs.tcd.ie>
Date: Sat, 18 Nov 2023 13:18:50 +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: <63850bf1-2f84-422d-a3d3-1496b3f6ad68@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: <63850bf1-2f84-422d-a3d3-1496b3f6ad68@cs.tcd.ie>
Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="------------nOQZrRdR8Y0GlXfN2isLKnhP"
X-ClientProxiedBy: DB7PR05CA0072.eurprd05.prod.outlook.com (2603:10a6:10:2e::49) 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_|PR3PR02MB6252:EE_
X-MS-Office365-Filtering-Correlation-Id: 455b936f-2157-4a8d-cf0f-08dbe838e8a8
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: bI6BxJR40E6nmVKuzvLldnDI8GYRAjYeeAcHmf1Dxk3AiSeua/IDdRz/ecqbRsMO1Tzvsfv8Q7csWv2gJviVGJ0xYHzODht3Fzekke/OwJpAzCijq0F2lg5oA9XDNyfljAWjJ554RJPwclOxZsJMnk5QCy1g4pXiipi2vkhoJQZNqGrga2tuI7t0Gk+q5KCey1qhh885MrGLZUErRnCff7SSV8UiNVnuu1mI1T+2FMgMVyMhxbANOBRs2Xlp488vB1x5L34Ib0JNW/ubTb1vxqv8knVooFocJRbwCaV7op2rs+5b3HgXn5mX4mc1AiELcJLn7fhnc3wpKNZTs4rsMt9zgFxvqphlMtECDobdOuoGsUjWQ7GmKTQMDWpQ5Fsybu2jhH88DEg13oh/tDjbWGb4iQ+ewk9VQrx51tkRIehcbDck9hF/F2xpEEEfauDEgAXPBYpj2sWCVLIOfddhrbyznUR3YmI3ZYqZvniuJxtmPynUYdSLpEwKvkGIeEm9LsdOma9z7hsXfMw3p14oC1pVd5M+c4lfrjwonz8+Ov28ir//7ShLqQyd6w/ZsBShNfui5tkkknhcUF0zy5uxlSGuWULXOpKYRmIufahGuYkErLn5e68jYgSBSpULnWJxGHM9FP/xisBCHe0bmlu0aw==
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)(39860400002)(346002)(396003)(136003)(366004)(230922051799003)(186009)(451199024)(64100799003)(1800799012)(36756003)(21480400003)(83380400001)(41300700001)(6512007)(53546011)(2616005)(38100700002)(31686004)(6506007)(33964004)(2906002)(235185007)(786003)(316002)(44832011)(5660300002)(6916009)(66946007)(66556008)(66476007)(86362001)(8936002)(8676002)(478600001)(6486002)(966005)(31696002)(43740500002)(45980500001); DIR:OUT; SFP:1102;
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: BdTcR2HrKCCW6bfBglJlDdiXkWOZvweBaj97P9To0CBXFfhiEVtU4z730hQGaUMdE44GR3uAPzXMoayDAk/ovFdrK1cllbPyaPqPIXAf3TVWmTIDywKtjh//CwrsZ58IIIc1eoShTVS/J1n+XiU/pxeQsxJ7mdwbZsFHuT+V8Qr/QT+YvbKcrT8pssCmvWeFFS6n53lFbgkrhGzfBpfdmBDZPL9y2RgJlQRR9DIAq36iRo1Qme9CH/n0KUQscGEt3noSZD8vlvRepkMIV1lO7LVvXupYvjS1x3+XZ/NlOj0VweA7hL/4RY31e0tIMMwjFtR7kWK3Bc+fhmkak6/88jzzAO4kgr3SHVhvkoO81UJplxm9dC0j0Ia+8AsOBq3INm65+Le5eSTElV7Tjq6vddUuH0JK1jNZKsK6BGgnky8eYKNwvoO2VpCzr5OxLIbob0fIhfJJxavSmD7/v/d9XkrbfchjGuHLPjgiYcs27PeA7umhtB4UaDkkbeHEfUhT478aIZ7Zjuadz1Gm2F0ertclytU7Hf3zrrz5FL+DgJwQO7OVdUwqYw17EhJ0p8BMydqy0epedoMpoQCDIF8twKq7GCKAZO1AaXaN7bPcAOV5rTNmZ1NCGr729h4utmJguEl2baUici0cSj1H3lDwWekQDXCMkTfh7UV+ZityWEjQfTmNzkvkrUi3c/PjVShzlMFv7MJcx0BdLVi98mg9FDuu41ppdMx+dwJuM1hMkHfvV0yVDpsm09eZtWMuh2Au2LkDEH261g3UX5klvS7HCEgRDuNJoRkF1ueYoQK8dbEMc/gqPNiuTuC4tr5QNCL+Z/earUBcIC43HFkTjaiQT0sieGY6D2lCkJP7XO+HOZyENt5Dqtl9DvXE+DgIPQrNMKP4wde4gilxO7cO2mnTLmHYTUxMZrsMnTGoYoaV0jodPsW/LOytwlcbLKsmzM6HpN58IlzaNOOr2147vYjjE2a57J6+iZ/QcSTwG3lC7+1Cyw/lD7Z1M5GP0ym1MocGz/S/xa1nu/XoqtggeliMGD++9+Kw6lXpAFd66ViQr40AjuLHuORSdu5IuuYHIalde8K2RK1+f6lFy3zxRPkIHxH8ZN1Pfhhw+dod2MyidB1aYemN4KraWN0TXzTuaqaNN3HvQsQY5feg+krTH5lhoR88thrpiH8B+/i/oE5OD8cTehb5nWldt6KWq2kbKLX4KFPSkYe5+so7FOXiLkNarOltK8AGEcAZ4goXNZ15rMAe0ludgZoRFLd58DNbmK+ZpZlTsx6YoUuaIMOtycK5on5SDCX7WQHxP7x0+2bojpltDEImNs/k82dWliDTSHGlGuVWn1kO+ZUSglXpNAmC0pug8LfyoJzumcQ7q8JCQQ2BaV2fxzpf3XszUrxnPQ66T8/OlkplYdsQiNTp+CDihkbJQDuKkC28KVN6KygBi+IpYT+2l0il/SdYzjd/+AsbACZOBT8sDnPWFXzbu9u76SBcRUdivhfI+gz9HycJvikwErSFBGJNKn7LdV1a4G1C6nkXvL78+1idugJNTWmjX4tkeWIRPq6fOiyzBCdUEQevgsQE2zuM+rvQ/0DwLYivURXx4nRZe6suc4iq9azLm57nrN0401kNVQH1IAIeeVEu2WtK+Gl0DuVFlkcZhx2+
X-OriginatorOrg: cs.tcd.ie
X-MS-Exchange-CrossTenant-Network-Message-Id: 455b936f-2157-4a8d-cf0f-08dbe838e8a8
X-MS-Exchange-CrossTenant-AuthSource: DB7PR02MB5113.eurprd02.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 18 Nov 2023 13:18:52.7958 (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: NLWZCeUXzq1RO8Zf7pqxgn9nQ6CpiV9FzK5gxN1LtQohkgUcuV4iY62HTjRnY3M/
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PR3PR02MB6252
Archived-At: <https://mailarchive.ietf.org/arch/msg/ufmrg/ljuvuo43pgsgpQoTvjkSJYRtzn0>
Subject: Re: [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: Sat, 18 Nov 2023 13:19:01 -0000
Sorry - forgot to include URL, that's: [1] https://datatracker.ietf.org/meeting/118/materials/minutes-118-ufmrg-202311051100-00 On 17/11/2023 17:33, Stephen Farrell wrote: > > 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