[Ufmrg] Sunday training session @ ietf-118 is now listed on the main agenda
Stephen Farrell <stephen.farrell@cs.tcd.ie> Wed, 18 October 2023 20:48 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 586E9C151557 for <ufmrg@ietfa.amsl.com>; Wed, 18 Oct 2023 13:48:42 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.006
X-Spam-Level:
X-Spam-Status: No, score=-2.006 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_BLOCKED=0.001, 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 YhOwLPTr4XND for <ufmrg@ietfa.amsl.com>; Wed, 18 Oct 2023 13:48:38 -0700 (PDT)
Received: from EUR04-HE1-obe.outbound.protection.outlook.com (mail-he1eur04on0716.outbound.protection.outlook.com [IPv6:2a01:111:f400:fe0d::716]) (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 0DB68C151556 for <ufmrg@irtf.org>; Wed, 18 Oct 2023 13:48:37 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=N/Rj264c1XZtdG/Qu2lmPTSTTfETs+V7L1qIsqkhx+jARnoVZohdgYq/N033iAUGR/Seu/CBawMCV77x/T8OyssHgFxJvs5Ch7A/2UVQ93QJRI1yDlFsfHhhBmXzTpJP0vw2Om3ZPXarmr6gk4jz9e8gR2DBldnf9x4URX6hHzTwM4+4I6Ffo4cP3t47hbove68MEt9j/gyAfMHxznrxZb2Mqj7KAP4R1fwTzyO/jBNMYaqNzh6I7p9vu5UKAInt08DegX9LwQFrCG0e6N1utK+PfzkEZZGoKQvppkFEtq+QAq6AOQor3saFn/FNoxtaX/S0cpqs37Ix5NUUG856hg==
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=iSGacwqlMPghsibD2o1NFXhyOluzeyZE8ztmZstUBp8=; b=HoGXPBM18wD4uqJ7FqTe+AD5hCipCu9aJ8IcxX5ZYN4hMXTzepc8+qt563+5yUDlqOo+dhgPyE5wuQz58nbPh0XR1YReVKO4DlSOLH6e+1KgLFp5i91A85F+Ki9hx81FJ3wL0DvsMlkq1Xzcdfh2xX+/kTZgM3qvRSbXVvLmby+SyU2fG4TgAtR1rTy0KG3a9CvJOjDwAFBVzfZ81dSzzIMh7ZAUVRQVQQdnR02rXkmtxJ72Etb5QVOiy3PnTjcoikVDfMLd9tb5UKaQkZcmmOTouMY0/T77UIwGeXgpkwVMJiyYfvV25Kb+ss1lVECb4u5338QtPSIZ2SlqT2PvTA==
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=iSGacwqlMPghsibD2o1NFXhyOluzeyZE8ztmZstUBp8=; b=dBt8z7mvgniODZbzNwbjJrZX8+8y0uUg/r80FnXsDYYsyqmqZc2FIjagLPxeItJzys3oSpPXCSyPJ1rYKmpoo/KX/ZTUKTaNXq/PJV8Jc1a8jTXdOI3LXclZJwtG09YSSpygAgnYH7fnnmF5AERNQkcT6Lxsum1LFbTM+cAwXtntBg7PGL0j4dKiGAZXgRdBBv+fZF4tF5+/B9ZxiTk4zVNSfafREFUrdiGuEcfAALpijuZ1pOumHkoVJO4QnQ71tI7IuA2LfaHOQNvm6t/yBLEACj6KqOwaaIuxDenJ9bz6qosqABmSEwzrVOUMN4OPZMyJe8iiomvgj+QUq9nAHA==
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 VI1PR02MB5950.eurprd02.prod.outlook.com (2603:10a6:803:138::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6886.36; Wed, 18 Oct 2023 20:48:33 +0000
Received: from DB7PR02MB5113.eurprd02.prod.outlook.com ([fe80::914f:5e5b:ed29:f321]) by DB7PR02MB5113.eurprd02.prod.outlook.com ([fe80::914f:5e5b:ed29:f321%4]) with mapi id 15.20.6907.021; Wed, 18 Oct 2023 20:48:33 +0000
Message-ID: <69c34b25-5d09-4949-b768-1e837172155c@cs.tcd.ie>
Date: Wed, 18 Oct 2023 21:48:31 +0100
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="------------gNEcM7JqRAkBIim0t0hRPOia"
X-ClientProxiedBy: DUZP191CA0066.EURP191.PROD.OUTLOOK.COM (2603:10a6:10:4fa::9) 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_|VI1PR02MB5950:EE_
X-MS-Office365-Filtering-Correlation-Id: 621fe855-d508-444c-41db-08dbd01b9793
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: UYzSiNR15j+X6z5ufMc1j9VHkczjyYCGgp8CqhsznFuikrluXBRviCvXXZnZDFfqjbs7DdabUGvA3VfHlYXNsc8NoQqiyBOiJHZd0WE6yBjMo7tqO0i4jD8iGSywBsikfKYhX+Y2rqSYu1aJas2Up8nTcWY4N2DgGa10SK08uhjO47m2wYTUFwj3M4eHhYe+tAvQi02gYIhr6YSbPo8bZuRNA1EbEU77frNdhfg0X+E9TjQ2AyRVG+rLmIZNYR8Be5B5I/PpWDHv/dIk4oqentbRjo/bQHzGsbTzWBba2MAI5746RNIGlfNXzUa3t6TzIEhvZcNNA2MFEyqrcdvmgUBJL0mQoaYrPqzf5+kbRas89Y4/xafewwEzTK2qJywETvqYusOP5cmo3Lxf6VtEdROW2yjY4IVrhiYeEk7uNBYozaQqI5VBKosjzQ8wk8eXG6g1XC12JEfpwjtYyzW+CL87u3lDHMS2fYYqZBi2I02kwhVqikXPKtKlmXMpCBlsOlVK9+mRERNihL/R4+WypX60cqVJ/H8mqDKDQF29qU9wx7cM6lDDERT8ormjb+FJuOX58SXspEqtWJNnW5ntVirRe0XqlzxpARfXp2Y++ohkaUknF5ibwry+dXW06Pff
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)(366004)(39860400002)(396003)(346002)(376002)(136003)(230922051799003)(64100799003)(1800799009)(186009)(451199024)(44832011)(66946007)(26005)(478600001)(33964004)(2616005)(6506007)(86362001)(31696002)(21480400003)(966005)(38100700002)(6512007)(6486002)(83380400001)(5660300002)(41300700001)(2906002)(235185007)(66476007)(36756003)(8936002)(8676002)(66556008)(6916009)(316002)(786003)(31686004)(43740500002)(45980500001); DIR:OUT; SFP:1102;
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: 8pX+4GXd0zTraKIwr0GVjHeYMP9ipbcKlx5MdAn0pyG1wCyAT1UxqfsN5KhJzXtXmEAwso+Mb8P+Dyz/Av4tZgD+oUIm0euAi6zmRnKPBuUqN/vEtXQJb2riBDuVrRBrXSQ41AAXx4nxM8mYAViJ4gjGtPmBEOcMiYQKT006oBQLcBD5cbF/y64FcqAZtPWkRu1Lo2wTIe9kVOPOfv/p6/D3YzxbAI5f0/btZnXqA4Rhjyyay1ORdcGCa/538ge6h47IzoPl18NCR78cuYpnxYacrrHmtzJsXbQU4+1yPxvlkYRKaRx6DZvhX6sWlW4moKPeASW7rWAIYwrBaPI5sReenEhoAsG8f+zOAzA6YH0cj5XVs6Gpt0xJ8Ii5fCSK4sn/82mqaIZsLp8acg/cCRvT31n3ttIrmWiBHAYAfkdqt5PdQYgczE19IxHG0CV18kIxmKkI5xaDz5Jxdx2BHKdqxmV5StiFVJTQebuXjytlhyNZQAGkAONfkE7hqMJy8AhOZQCxXgB2dp3ZJZMsN6xSHnVDYR97n+mwUTdg0EOISu7cyJSysc1X1VsLEyPA7r/2/eNXW+YAG9yxLm0pNOUWo+F1nK7BG0uMvzGBDDEmirTOQQqe/Qwdhz8KD1W6AMAvSKzk14BNHjoVI0u8HAhmH5H19HdzvyeH5d5fFBKHLpYCHIComFMDHDX2a+PNfVr/q8mowmYhZCLQl5KtVZnjGk07gvpA6OwfuiMyx1IaG12IKknALRWPt9f77puOnmeSkYySQOfuBUZPqgIBJXsKHtFpkl4cF11O7pmHmNn8MK1tZoZgIz6N96knppIi2CGaLORvSW2w2qP8yv+Z+ZDUJb9Xp3yspMSwu7/zr7XP+jCjGPHcsStC1Y7t6cdVx57DwlSfd0iR3pLm8E0eB2TwvWmYJ82ixz1GDsItSSll5vAQM9VwG9BN9wd65f9taLEXr5npqTwuyp0lTRKA5gm6w4sL1o8Gs71mDh6vMMXkUuTpsrkmmOlUz5eKIUCcf/nRE24oxhgiasI/xCIk5cXvo8bXbrStcvQ0ung8DpqwNmUxinAvRoJa3SzudtqXwI7A+o0pnSXVdFAIWz7EEbF6hsNLAFXKqMPOustJIc6OF97jDGJk8eHKdwcrPAOgYar9bt1aviIscv3Vgw1wfTyBrKWS/vqzezpGB4NX/gF0rsOXfNvJdolFhK4I15FsFKw9zPvN5IYQG6LfByug9lNawnC3Atp2xf9fHD9KEBoRjV89/yVTYaKxzRONLoNKCkIbvsSTbhBGoBS3BPfer090KWscWLvx+VSHM9wL93mx8Zzu152rzi/m59QIHz3rFjDGzoG6VyBHztt8xysx4CRqmbODV47bmxHqQ+H/7/r12nS6wpRegSp0HccNi0ODKo6OJn2lfvXZxo3ftSzUHqOAMh5r4tAYOV10Djq01h/1oLBUIoLj86QUgIi0iyafU9LzWrO533yhMImw9U/VKJAwTu2TQ3CC8IT7fc6npJwRKBPHPTaDns51umnTxqHw/jhG2QUeR/hXJUy52WZWWnzfz7Lhfes5PD14gmghvILlk4REOBB0qBeltJxV4EPq
X-OriginatorOrg: cs.tcd.ie
X-MS-Exchange-CrossTenant-Network-Message-Id: 621fe855-d508-444c-41db-08dbd01b9793
X-MS-Exchange-CrossTenant-AuthSource: DB7PR02MB5113.eurprd02.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 18 Oct 2023 20:48:33.0888 (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: 0tjS3fQAB0HcK2l9F6jrE3OKFJs4YKFwXF0Ml67NexifcXEIGldHq8mXROP9CixP
X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR02MB5950
Archived-At: <https://mailarchive.ietf.org/arch/msg/ufmrg/bE0gQTlQxd7fiuqR0qWagCcj4zI>
Subject: [Ufmrg] Sunday training session @ ietf-118 is now listed on the main agenda
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://www.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://www.irtf.org/mailman/listinfo/ufmrg>, <mailto:ufmrg-request@irtf.org?subject=subscribe>
X-List-Received-Date: Wed, 18 Oct 2023 20:48:42 -0000
Hiya, Thanks to the secretariat and others winning an arm-wrestle with the datatracker, our training session is now listed on the main IETF agenda, and we should have use of meetecho for materials and recording etc. Caveat: it's the Sunday of the IETF meeting so some n/w snafu could still happen, and I'm not sure if remote folks will get much from the hands-on stuff, but we can at least start to find out. Cheers, S. [1] https://datatracker.ietf.org/meeting/118/agenda
- [Ufmrg] Sunday training session @ ietf-118 is now… Stephen Farrell