IETF Logo Mail Archive

Re: [Ufmrg] UFMRG training at IETF118

Stephen Farrell <stephen.farrell@cs.tcd.ie> Sat, 14 October 2023 18:17 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 96205C1AE9E6 for <ufmrg@ietfa.amsl.com>; Sat, 14 Oct 2023 11:17:28 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.008
X-Spam-Level:
X-Spam-Status: No, score=-7.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_DNSWL_HI=-5, 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 WHW4gxCpMokV for <ufmrg@ietfa.amsl.com>; Sat, 14 Oct 2023 11:17:24 -0700 (PDT)
Received: from EUR03-AM7-obe.outbound.protection.outlook.com (mail-am7eur03on20700.outbound.protection.outlook.com [IPv6:2a01:111:f400:7eaf::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 4ECA7C1AE9DE for <ufmrg@irtf.org>; Sat, 14 Oct 2023 11:17:24 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=OBvigaq8OsaVcQwrYuR37Mm735b/JDGWpjIQHRZcSVKS4jUwRLL+WGLTEHyq4n7YtENnSQiOchejGAXE2JoVO9lj5pFH16F1vIhirzshgIIB3nafN9xbLEnV3Evdw6VVFZrMx5j38I8zai/41Dp6rbY465J8tFEZSCuWuoYtFlWurHrGTrFP0lIticPp63yC7vI/mHHv1Qzq8mOILmJrrc8rUEh7Y3iEiOC48PNIg7z+X6CEjbzRwCIgiyrlG7CDKZXK/b58h9Yunn82ceAjOkZaoTMWJpF/Q413EQFAbvCddmOnKdiF4zRgj/YdLtzp1HDW0Bh+HTTaUK4vtXKWGA==
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=UyVR/iEqKIKtbEoKa2D6lMy8xrk8p4l2mzSJcDeY+To=; b=a4ryZtsc91jy6WyI22jvJRtOO6gOCn7xm8JIgs9FzJRj8hT0VtzTkEjvNYRjOGtyx27Lxl1gFyYgqqSk4XzBSjVUc0GKBjLaGIP6r0l7gEtiWaDKAwQ07/MDPFClTWIlO1Mr2dt7AGlDDNVlTLhifeQ50aYeTjf2GC5nr8fg1Dw6D8j4ko2xFSttTiTJ82JZ+lfnMgthWzg7gD5j0jikIdix6FS6pSdAh1071AcEGR7RmKXQ9ZzBwS+HE9pFg5BJP0tN4FijeCpa2CG7h5ZRpd5mAlh5jkTvHGm3YhT99MfYPRb9mJxl7SSNWALOLa69Rk66GXiwQHGjmoMYe15QJA==
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=UyVR/iEqKIKtbEoKa2D6lMy8xrk8p4l2mzSJcDeY+To=; b=c4yVYrjxRjfqgNSvhhRW57WKywr+scNy2BR8YyPR9DZrIS5xxtH6Qb2v/py7sVxKg7HE4v1poc+L26DnEdHLi7BQSKsRWrZZtLBTcIh7KnVY+Lhaqwz33btPBJ4bhlYN+ztfnnS6XYyYYkbiM4jKNOlNYJb6ndyuFx1rvvGLu5SOvnjFA0bYk2+nBhiLN/C8n22lkvvDRBKEgBKG3wQx4G6e/BzndgChodxs6XzG2caKYj+lubFmg/5/9SwuAOlz0j+AnG5sVTKHNz2Ekme4u73ZAtkRPoeb2bc7FYnFMtsDL2cd1k/Fp01HCLCu25DVsgNHq4jYR+cQ6GToghNPoA==
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 DB4PR02MB9478.eurprd02.prod.outlook.com (2603:10a6:10:3f6::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6863.45; Sat, 14 Oct 2023 18:17:19 +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.6863.046; Sat, 14 Oct 2023 18:17:19 +0000
Message-ID: <a997c8f9-377c-462c-90d8-d8bdbc815768@cs.tcd.ie>
Date: Sat, 14 Oct 2023 19:17:18 +0100
User-Agent: Mozilla Thunderbird
Content-Language: en-US
To: Marc Petit-Huguenin <marc@petit-huguenin.org>, Jonathan Hoyland <jonathan.hoyland@gmail.com>
Cc: ufmrg@irtf.org
References: <8e3b5f2e-8b9d-377e-fe0a-0b13dbb58b7e@cs.tcd.ie> <ZPdknxltBlmLtSZn@net> <CACykbs3OEge_9BFmA59CiQNJAyyeKKw48DfsZ6Uq6X4WzWtjow@mail.gmail.com> <f3c7c2a1-902e-4450-8c60-9828fa755578@petit-huguenin.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
In-Reply-To: <f3c7c2a1-902e-4450-8c60-9828fa755578@petit-huguenin.org>
Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="------------HAK0ab0AkI0Cu70000lWMNFy"
X-ClientProxiedBy: DU2PR04CA0275.eurprd04.prod.outlook.com (2603:10a6:10:28c::10) 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_|DB4PR02MB9478:EE_
X-MS-Office365-Filtering-Correlation-Id: ceebb4c7-5949-4a89-f6b2-08dbcce1cdad
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: M4AdysUb5Tz85TkmnBwl7zsbbpamTeYNuLIQnuB02SDJcmeYGL9ljyKeJ5m+q4Q2lrkKIr4DQwbj5eyGYHE3Bh4w3bn7pQvPiHaJVL0iiwyYsl8orYmp9ixUqNcMrLnqktw72hBeMstDsdggLmjLafMUwdqp3qKLex/FmgEU5EGRtIijNMMW8af1rLc5JZ09jHgWozpdOJ4Y+RuUBCrhLn0mnNCcXcEBHdm+AJyryCTwnAwiKASQSQtd1FEQojvAuYfcvWvoNktnE1ht1j1NWxZB4ALdcTsExC1Mm66NtjW3VbSxSUyHrA0glsDTuLwVEXwHZAiVtW7hhLjOFhShDif/emfMClkG+Zd4i9S8CHMAVrdobFq8nhrf0ggWsd67IuK6/cC3EigYGmFhxEXv/U52Qf1AgHBWq37IlN22uclx/LW27E+zrwAYUR5yPrmrd/pSALo0y6YGtv73YycwwCKujlbKwky4b2CSMfZRr/w/2EqJpD27l4PwbGOksRMMHrC/3SaRBykRUqciVJB0AW0HiyCO7R2hPVFlOdMymILDA3k9v7cPvv367eGTLwixMDiWNyQ8kYI/r565XZYU1ZD+mtu3uosY+ZGt1jnie6AKDxZZMtduJfmAYYqnFg87uZ43Di13kGWMG8kGzXcMWA==
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)(396003)(376002)(39850400004)(366004)(346002)(136003)(230922051799003)(1800799009)(451199024)(64100799003)(186009)(2906002)(41300700001)(66556008)(110136005)(5660300002)(86362001)(44832011)(66476007)(786003)(316002)(31696002)(38100700002)(66946007)(6506007)(4326008)(6512007)(8676002)(83380400001)(21480400003)(2616005)(53546011)(6486002)(478600001)(8936002)(235185007)(33964004)(36756003)(31686004)(45980500001)(43740500002); DIR:OUT; SFP:1102;
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: aBEUj8+svqzztWHk2El3He0RLnyQUMmnBIXKZcTpLSV+dZJiG2muffU/HG1+fGd5h72U7z07oLT3MP83oX6Cs9vV1MhM+Ux5MDY5ydmjDB89A7tM/GakF+6AMo21yRrOsU/ITG6Q8F4+59erUpGPg2fZv4o0zcoSMY5HhecWorQFAWXj8CuLyk6VwYaNq9KvYmfxm/bRIvCMR5mYK3oek7QP8HMYKykgjun9PUTOUbQ7Fy8bVYriUD26PQhmSt0ke40lAHvlZmn/n6+UTMQ6dbyFoBMK8LJjaVO/A4A9/OJN4Bx8fV0QiiMtJSudsPFcIgMR6t4ETQE/0esAFZenYBTgL/24A6lrI4kSNHuVEG+LSlrSDNTuWDQf6inpXHD/4Oc0V6IZ57CIS2liQWsJtIhH7gGFEO0LObBj+4oBeSPRF91BXOmVPvxZPfAd5prUQKLICD7OxSiO9xFGlPS7z8jGtjJntPry1PwO2mgZCj+ur3C/2MtymPVhLRhvO1CIuGR8yk1DU55S4yiNL7acPaRt0Pm7tO4Mi8SUMGUG+elug7qSl5/M2IIQFHspfAhQw3rcwFvmGjajl5T5cP8KdssOI1wYECsZgH/ErvlQ6xqiYfnl31Iyt19brZg0CoRWAulLXkrFnlfdfCaNnDDmSxrZcbkPdnH9Rx8dhnqmyA1dFGvURDu7XOf25H5T2zm38sdmMr6VrqRUGxqbdNrFEQrUHvUDsUnAyf3hIBls8aOL5xA4aBDheeVuiE2DJYaNz0KaCczcHmQJDKJsMrTxojPW+mfe5htrAdJzBd3+iqW6tgj1EoSl5HmPRyYIAgFy6U6CDzv4dQhoI8B2EyPtft6FgObGiPgYOLujeMxish6R4PYiMq55Or2dmvP2/o1LmX2yT9mkIKAvHI1X6dQcTl0pyUW8WCJBmpVndgSYsWjlIPSPF1IfCeWvSlj1SbririCHz7tM9WVzlTfv7OE6TUolGpjTiNZ6EXhVE7NkZr5BMGeXbN9fK7DPBo3H3AzobqR8LsISduH6PvRvm8bj3c/+lrDDR+C3raIEgC8VlK/MJtHx33GvA9+o+gjMA8QLnLoYANR9asDCMiHIh+APVtGeYL3vWhmsFzijmjQrT365Ep+NBb/eAX7/JycCCGjY/mwRf6C0zedtRswWjBwrV9RqYKNnNDl8vzVtBYFoK0cBuuAeUwZ7M96N6G6ztC4QDDqEv+g7mXFr0nbtUmOW88CFlfahzIRYex4nB5U2e7HrFzjmi4xJZaTKuQnoBxbJKYIhdROYegWJsUoOWgzbfhi8HMTXLNzEHlyl11wwP+GKFjqAybKabmWZJ9pPN8XxGd50ev7tx7LqaqTIFI+YP6NC+hz/2KE0fbiK58pvl1upQ5+lxFyfqGsJRTel8AmM+TeQye6aF9GBOUoc3grj0iuEpuOih+pBHlu2S3nhwDPzafADeMVNiDILEWvC7RzDnQBmr2i7S79Id6rGTXBZNyVY57+P5bmW+1fqKBHRnKZ9UAsj/mQVUCt97bYDj4dfr2Ze9lkZFmsmZCMfTyid1acGLYMGqq1Md+SUzeup99W3nfUueSiAbZ4aWRuWFM4IyJmyBVHqWCNSgLaKqTiazbRnt6mF3ndW0MFujhuusdTKxsOfdSHsj1rHigBTG38p
X-OriginatorOrg: cs.tcd.ie
X-MS-Exchange-CrossTenant-Network-Message-Id: ceebb4c7-5949-4a89-f6b2-08dbcce1cdad
X-MS-Exchange-CrossTenant-AuthSource: DB7PR02MB5113.eurprd02.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 14 Oct 2023 18:17:19.4426 (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: yk6sHvZFEh+B8LcqJG6ryXTGD+aSl+aIS9JZJ61m9/wh3OuK5x7EUwMcWm1xCvTd
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB4PR02MB9478
Archived-At: <https://mailarchive.ietf.org/arch/msg/ufmrg/3YZ3jQ336AgfoQygsOxTQXi_Cv4>
Subject: Re: [Ufmrg] UFMRG training at IETF118
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: Sat, 14 Oct 2023 18:17:28 -0000

Hiya,

On 14/10/2023 16:54, Marc Petit-Huguenin wrote:
> Hi,
> 
> I do not see the formal methods training sessions in the agenda or in
> the side meetings wiki.  When will these be announced?

Monday:-) We've a call to check in on details then and
will send mail to the RG list after that.

I think all's well with getting stuff for the Sunday as
planned. More in a few days,

Cheers,
S.

> 
> Thanks.
> 
> On 9/5/23 11:16, Jonathan Hoyland wrote:
>> We're planning for Sunday Nov 5th 12:00-16:00.
>> 
>> Regards,
>> 
>> Jonathan
>> 
>> On Tue, 5 Sept 2023, 19:04 Cory Francis Myers, <cfm@acm.org>
>> wrote:
>> 
>>> On Mon, Aug 28, 2023 at 11:21:48PM +0100, Stephen Farrell wrote:
>>>> It's looking like we may end up with two slightly less than 
>>>> 2-hour sessions from noon-4pm on Sunday Nov 4th.
>>> 
>>> Does this mean Saturday, November 4, or Sunday, November 5?  I
>>> assume this was clarified in the planning meeting last week, but
>>> I don't see a date in the notes.
>>> 
>>> 
>

v2.23.0 | Report a Bug | By Email