From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.0 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 31991 invoked from network); 20 Dec 2023 12:09:58 -0000 Received: from mail-me3aus01rlhn2177.outbound.protection.outlook.com (HELO AUS01-ME3-obe.outbound.protection.outlook.com) (40.95.96.177) by inbox.vuxu.org with ESMTPUTF8; 20 Dec 2023 12:09:58 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=cShVxs74FxeDDFLq4OhrTp6pR7KLqg8BWD0SqmUMVPo5jCcLQ9ii4sYCwKFRGQgMsKIIS01S8+pqHHxRwcV0VXmyntZSwGcNofxApDM7n+2MnTkst5m7pliCFLrOQJ23lcrmGjsi2GtM0v4FCrMSUsZS41aFCHYuFvXyOxuDFj8QuF6aQDKWzhkqhARRARLYRK5qWMXoP3W2E5X4EX7oOVAuuoIqw/gt18M+zDyjE2dIEi911nLmgQO/cVtZZFcnxkiVx44pfv0AtLVPcMF4t+PuVo1/IAIAqoVgEZ7O+tf8HvQTRoTiXKDaTlUBLTxNeurtt680erZeHAT2YYucQw== ARC-Message-Signature: i=4; 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=L+l8G6NdF7UW55PlOCMbzAkK7e7Po8qeE1tPBQ1F78w=; b=i0ErGpotHR1CZp4DMXG3TuRS4PXsvx5WVntRnt54iB93gMUuhkKDqxfWKlppMveEiB4nT98//FwFd9uds+zzSs5CBn43SaXE85rbj5LvceJSK1bN2xanASP5vo8uhmJPNx4Djwb5rFeTStPLmY2KLqmsoMdRED/roNHS/tJXCAASuw3Z3g6wYy2folW1Sbw9FcKxCl+TtxERLKWCuFI1j9MlOG4hJQJbu4BBcjPqOx2RIVtx6LWmawuMmTjyyKbEIEtodI4oUCu86+kVF4+Zk0wYNFckErkKoCA050dXPwQ8/xocnbEHD/eGFEtFpy5foKukXYLVNrynINwrvrt1BA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=neutral (sender ip is 129.104.30.130) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=lix.polytechnique.fr; dmarc=none action=none header.from=lix.polytechnique.fr; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=groups.office.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=L+l8G6NdF7UW55PlOCMbzAkK7e7Po8qeE1tPBQ1F78w=; b=BstMT1wSKHp6VorygjG0hZpgJDsAUy7ycPC9UA/0eiOkEQeMZqEodkoGOoR2fnelxxScJU/udsCSnf7j3rnvBvAJ5gCRZZvmKAzifTI1Ha6JWZ2IQP+abOXpw61mp3DCSmkVpuiWkyzFjssVZBMvgvItoyTQVl3GBBddZOVPAwYPW/zCO5jNqprGdXPbDaW+1XOukhGkc3u/z4CMsJmuhKz7hGIsYxhLNV9MPO7EmQQF874EfJoOcEATczfyBIBgVUy6QANoDk+yAZ3YjSdaOuolbfUT5qQVntRG/G5iqOE2E89IX+ik4QJKRCwUwMmRQu+78tCr3MNH9HAKSxlwJg== Received: from SmtpServer.Submit by SYBPR01MB5454 with Microsoft SMTP Server id 15.20.7113.19; Wed, 20 Dec 2023 12:09:54 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=F5NyuBbWuhfbWxApmOqd1wRo44d0EffCbovWLfnwtAd7EpYodzZQBTatDKRNRNIqVeWEphGwjaTfZrrF6WWoVKPjGk09MztvJg7jHWJprmcohygdtlIRRtHjb/m4DNRVvds87WWSUeYs7iyn/j3H4WEb5MCHko3fTmeyKYJ3GRKlf1ZI+moI0+WZTsVSUgQJuiYpHyTgVY+EWF+4JHbCSaVpNJFPY7tZPhRMneNsvnfHcT3JyLkJ8bRrDPpYITuYGCur2VHU2+l1YQVcCIYHaj0V1Nj5vEeaYSGMqiRHTPl7KNp/xuc6L2AAihA9eceinxLq70NKXPyFRb7J4pnd0g== ARC-Message-Signature: i=3; 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=lTLjijMr1mRTQeOKDd9sl43iLQc5HCFwjKVFVNi+gQU=; b=JnNUQZbCvbT7behEcsK6GVzBcw2t9OBJcJvIO9gRWwattyCM6PFbyPamarkzEv0N8eiK7thAcAU8CHWmMa5cPlYGtIKwPs0422Wr4Cp/+j++8icbGeWOqojP/0Z6Pj6kRox3dxEtPqRpXd9ldTWhaCbN0HWw8zGYUo5VgB67sWGjE7Q4wNl9I3YroCaFW6C1kvdd9Scbzcc4Sm+L2Ts3YKpqLtaBx43sogVNGMOMRpXxGW6YCePtv26CPQgOeyCVlhEq5H10Okk+zZRRPoysWsMbKiJc5joiW+LioI5PdFgaBNKueKfo8MTDtGoY2tDYu0Cwma8MMXqogmOPkEDdNA== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=neutral (sender ip is 129.104.30.130) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=lix.polytechnique.fr; dmarc=none action=none header.from=lix.polytechnique.fr; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) Received: from SY7PR01MB8943.ausprd01.prod.outlook.com (2603:10c6:10:21e::19) by SYBPR01MB5454.ausprd01.prod.outlook.com (2603:10c6:10:9e::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.19; Wed, 20 Dec 2023 12:09:44 +0000 Received: from SY4PR01MB5977.ausprd01.prod.outlook.com (2603:10c6:10:f8::13) by SY7PR01MB8943.ausprd01.prod.outlook.com (2603:10c6:10:21e::19) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.18; Wed, 20 Dec 2023 12:09:40 +0000 Received: from SY4PR01MB5977.ausprd01.prod.outlook.com ([fe80::d450:b87d:9177:adfb]) by SY4PR01MB5977.ausprd01.prod.outlook.com ([fe80::d450:b87d:9177:adfb%4]) with mapi id 15.20.7113.016; Wed, 20 Dec 2023 12:09:40 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=F7PcC8P+1IE/fYvg8qN8TkhCfdF9ZriuUTtHWP0pE5uSkzm7XMeulRMjGvAFubH+1NjbdcvAcY/K6Gn1GUrH6+xXFGzLPVBSfFZvouxG48pK2/TVCBQ1+3js2I22rdUWGD91Dv2XAsxir14Ssq1/f8YacdBvP88REk4+8GxdUMsBrvy4oKXQEEinCuSi7+Puoe0inggEiUP+YU1xEQxNrqGcl7tx4u3hpar5QB2X6jxhXlb9/63uWiO5sHZuo+0lXrBkyUS37gyoDjUkbWIypHgu6fLrtRMF7+VVAgBtcISj8AaacbczzgwSNWNQMguKjGelEpRB4VezZFJ1gNXrOA== ARC-Message-Signature: i=2; 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=lTLjijMr1mRTQeOKDd9sl43iLQc5HCFwjKVFVNi+gQU=; b=cE5wCEMIWHSInc5Q5PKNjejpgZX4iVJDb2oW1RgUInMXwY/SZzYlzl2hFXPCGAbnC64ALH+ZIU5a0JCO8gbyklbxejaHsEQYGTx1/qV/HvnF2X/zQlP87a31n7yG4vaHzToy9Lv19NPIUwBh35ZRahOZhFAaTSFb63M0S7kBoPCF6UZY088HZT1vZ/1c0fMUb2VrF07qvg8tQu/8yFTdYbKrN+NlQQQLHH7Wo/QSSirlaJiXW8ZS2WfiiodTPfrt2hXOdSEl9GGktnOpsvOA3U8l9nTCsd6ALFjF6GZK8Dy1qE5njsi6z1s7PKd5PjKvSupqMrCdCWfK1SOvpjvxZQ== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=neutral (sender ip is 129.104.30.130) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=lix.polytechnique.fr; dmarc=none action=none header.from=lix.polytechnique.fr; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) Received: from MEWPR01CA0207.ausprd01.prod.outlook.com (2603:10c6:220:1ee::16) by ME3PR01MB7957.ausprd01.prod.outlook.com (2603:10c6:220:186::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.18; Wed, 20 Dec 2023 09:37:05 +0000 Received: from ME3AUS01FT015.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:1ee:cafe::35) by MEWPR01CA0207.outlook.office365.com (2603:10c6:220:1ee::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.18 via Frontend Transport; Wed, 20 Dec 2023 09:37:05 +0000 Authentication-Results: spf=neutral (sender IP is 129.104.30.130) smtp.mailfrom=lix.polytechnique.fr; dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=lix.polytechnique.fr; Received-SPF: Neutral (protection.outlook.com: 129.104.30.130 is neither permitted nor denied by domain of lix.polytechnique.fr) Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by ME3AUS01FT015.mail.protection.outlook.com (10.114.155.141) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.18 via Frontend Transport; Wed, 20 Dec 2023 09:37:04 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1703065023; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=lTLjijMr1mRTQeOKDd9sl43iLQc5HCFwjKVFVNi+gQU=; b=Ttga2EMAQ3YA9vnwTQIFSxrJ2CUSc4QEXSTTgxhCU6YpDVkkXfChzbDlCn23aZOm37XNIL YXuFBhiTZNvC6rfWrCrMe0uh+FPjCFIpy40jdjTL/wThFCz0ungexsH5NIUcRKHDx7bVRD RqAA2oXlS0SrvJGj2B/0sY7ignJpPSJpmplNkue38hbiTNk/idDP9/O9FFxXhuN6/LdXYJ FUS3XejtuXfrFON59hTrg50I2kpJsYJeHG/FxWh0SqJ+pfpIvbg+MuSBYP3GvMdQAjgsgx LLp7VyIlq00uYtwIvFv9OFombOXeOrWcc75cUsHhudr1Mne9x0nC9KYnXjCfbg== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1703065023; a=rsa-sha256; cv=none; b=cg4kiiNHzcL1DiLHgyKoj1FVWvndxKVNNg+tjX0/OamDozxBn27J/dhQtLlicx6mY6s1lv GFRID1ORvEzjbyfusIo6E2EoPYKfyTUxRdY6cZuPqUTI/GLWmYoZ0VC8NBE4F+TcpbOn9n USsXK8GYpY5Bb9jL5TeBONRTcP4BTAQ1V+nc/1ofgZwt/hCHwGRVu8UOjf6gW/8gjtOfxK KXEip9FTdZrvK+pHb46FcTYbuMY8CXQB1S/+adUbrzpcKbPWwPEqxU8j44YHY20JM6engR fMtJ/YeqhIMJnHGT5ne7t29KYdvftkrYUraosptxFaMMj9qOdvqePX4fVVTC1Q== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=none; dmarc=none; spf=neutral (relay.mimecast.com: 129.104.30.130 is neither permitted nor denied by domain of noam.zeilberger@lix.polytechnique.fr) smtp.mailfrom=noam.zeilberger@lix.polytechnique.fr Received: from sm-c.polytechnique.fr (sm-c.polytechnique.fr [129.104.30.130]) by relay.mimecast.com with ESMTP id au-mta-46-414QyHCMPaqpEWSkLx3p-w-1; Wed, 20 Dec 2023 20:36:58 +1100 X-MC-Unique: 414QyHCMPaqpEWSkLx3p-w-1 Received: from argos.lix.polytechnique.fr (argos.lix.polytechnique.fr [193.55.176.2]) by mx-a.polytechnique.fr (tbp 25.10.18/2.0.8) with ESMTP id 3BK9XsG3029691 for ; Wed, 20 Dec 2023 10:33:54 +0100 Received: from mail-wr1-f41.google.com (mail-wr1-f41.google.com [209.85.221.41]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by argos.lix.polytechnique.fr (Postfix) with ESMTPSA id 1611EB2 for ; Wed, 20 Dec 2023 10:33:54 +0100 (CET) Received: by mail-wr1-f41.google.com with SMTP id ffacd0b85a97d-3365f09de18so4438832f8f.2 for ; Wed, 20 Dec 2023 01:33:54 -0800 (PST) X-Gm-Message-State: AOJu0Yzl+wEE13mKeBLV0gLPQZg8gvBbRh3xT0wknycjZ4mX2JyqHMAo gldIsyKzxp2V6l16JFtdnBoNfUA8q8k0mUBtBw== X-Google-Smtp-Source: AGHT+IHsOGkEVsriekZCjowS/K/zVEtQYaiibEPU1cowaMEciIKy6AKZEBXZKJ3ThjmYVjm2EKhAblhV0EwlcDowZKE= X-Received: by 2002:a5d:5182:0:b0:336:4477:38ee with SMTP id k2-20020a5d5182000000b00336447738eemr6593821wrv.69.1703064833378; Wed, 20 Dec 2023 01:33:53 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Noam Zeilberger Date: Wed, 20 Dec 2023 10:33:42 +0100 X-Gmail-Original-Message-ID: Message-ID: Subject: Re: Phil Scott To: Categories mailing list Authentication-Results-Original: relay.mimecast.com; dkim=none; dmarc=none; spf=neutral (relay.mimecast.com: 129.104.30.130 is neither permitted nor denied by domain of noam.zeilberger@lix.polytechnique.fr) smtp.mailfrom=noam.zeilberger@lix.polytechnique.fr X-Mimecast-Spam-Score: 0 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=false;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="0000000000006c534d060cedaec1" Return-Path: <> X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[129.104.30.130];domain=sm-c.polytechnique.fr X-MS-Exchange-ExternalOriginalInternetSender: ip=[129.104.30.130];domain=sm-c.polytechnique.fr X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ME3AUS01FT015:EE_|ME3PR01MB7957:EE_|SY7PR01MB8943:EE_|SYBPR01MB5454:EE_ X-MS-Office365-Filtering-Correlation-Id: bed84ac5-487c-4a92-e48d-08dc013f39bc X-Moderation-Data: 12/20/2023 12:09:36 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 2 X-MS-Exchange-AntiSpam-Relay: 1 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: cxppEGWlayTKqz1q7B8bPAJrNIvVux0TF55U1qFXJNM5d5NtEWuGZcgkYRwbrl8NwL5wbit/nAydt0kjb0NvFtIm0Le7U1wNFpZXXRdnuJ2Ku6ROW+pZGCi2HDRtElvOiF1Lfmxj2CQ2e+QoaXv6sciYbax0UHeCQPDVLmjCEbAgIucqlXm5y373C/zwBBVyADzJ1Z7sS/IOIJkFHOQZRzKyNSIluTynSTInk8xH9QtC8vLb6XQF/c4LW8vBNVEWNNM9CoV8rED7gv9hAOl/kwDugxmI4gZwzVzKWCvCNo9FXVrtGJJxFh6FdVZ0E5hC1qFTFnS6XNWP9OXhBphXWX1qlZF5LQkLKRC96F1cTCC5ak+NlHK7FQ10XlrEp1OGoXlpTla2QQRyfMqhFa839IYY18CUH4HkywZg/WN6DzyQEdF1TC6rlwERneEjiGTryW45K2lAp1l9TO3TSuNr5aiyAcgi7FafD8dS4AEv2Z9MNhImg1TSHZA+mM2APLJyg3FSJ+JGWdOmouvnixA/cFPxL8fFMp6K9/+kwBUNLN/xG0XY/29Y67SWnSwHagYSqE12ttUcqRpd3MzKVvoyFZQN1Asu403WqUIb7XJl+nGuBtIgj3xZxntuopS56wdzQhoNvf5bt6NZQQxA5+cO1u+B1/kZZgOWK/bp9Mqb/NZkHCvJzRNrvenhFtEFA6Pgfh9tIPEgoEjPOVWtyOY+y+rP2vJ8snkgv09bX1UoX6TEW/WaTDQZ5jw71Ir6uQIH/sblXi+FLsQo4Wt+j9mFjkV2540+0LCpQGMwjMK7ECo8aAiPQc+Ed80lf7ffL3WnkdMKY0tN5YQMgGsuZSAF8crvVNi+GPMXhp4z0N1DUjT8hRflR9Yg347pzIdapVfH X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:FR;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:sm-c.polytechnique.fr;PTR:sm-c.polytechnique.fr;CAT:NONE;SFS:(13230031)(4636009)(136003)(376002)(396003)(346002)(39860400002)(48200799006)(64100799003)(8000799017)(451199024)(82310400011)(1800799012)(40470700004)(3480700007)(41110700001)(7596003)(7636003)(32850700003)(40480700001)(40460700003)(156005)(166002)(6666004)(89122003)(88732003)(76576003)(498600001)(32650700002)(35950700001)(82740400003)(83380400001)(336012)(9686003)(33964004)(53546011)(41300700001)(8936002)(8676002)(2906002)(7416002)(7406005)(7366002)(5660300002)(7336002)(7276002)(7116003)(55446002)(86362001)(6862004)(44832011)(45080400002)(70586007)(68406010)(42186006)(786003)(316002)(26005)(41090700016)(41080700001);DIR:OUT;SFP:1023; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: bed84ac5-487c-4a92-e48d-08dc013f39bc X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT015.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 20 Dec 2023 12:09:40.7748 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: wtjCdp/aG66sSKAaGnVrMx0yWNK9zALx3HYsUXfA0qIk271SmPxKiSnqQ9qqVkyo2x26RbeBIWWZNmP7SsvkK73IH4SuXV+bZIUuTUtgDv+5YmN6EUz431vfl7B/7ScCUP9daE7oTbSbm9hqGzWAPz4Z1aZDsMQZWBWbGAsVDIVbpScSPxYm+hzbYtTalmnk X-MS-Exchange-Transport-CrossTenantHeadersStamped: SYBPR01MB5454 X-MS-Exchange-UnifiedGroup-DisplayName: Categories mailing list X-MS-Exchange-UnifiedGroup-Address: categories@mq.edu.au X-MS-Exchange-UnifiedGroup-MailboxGuid: 9c2f954e-92a7-451b-b723-a07075d7adb5 X-MS-Exchange-UnifiedGroup-CustomizedMessage: RedeemedBusinessGuests X-MS-Exchange-Parent-Message-Id: Auto-Submitted: auto-generated X-MS-Exchange-Generated-Message-Source: Throttled Fork Delivery Agent X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?VnJSdkRTMWtlZGVVamRpNm5pb01Qem5IY0NmVElZeFF6RXEvamxLdGNoNzdr?= =?utf-8?B?WUFQajFDWVdnVHhxVkRnZGIxS1JMSDRIN2wwaVl5c0x0RXMzUmlCdWxZUWdi?= =?utf-8?B?MmRSUzJGQjIzdHFkWVdCVjVLN3QwSFdRZUd5N3hLNmN2bXRIajcyd0pKV2JG?= =?utf-8?B?dDlwTW9TM21JR0ZOZHkyczRZckV3KzFMd3I5OXhMejk5bmFta2FDR3lsc3FF?= =?utf-8?B?NkxjY1RYdldyb3N0bGN4WjlDSWFCSXRNeG1DSk0wRUZIR2ZNUUcvbGRvM3dm?= =?utf-8?B?WGlYUElCbXhmU3JPZWpuaFRxTjFJVmN3MTMzOHJ0eGVLWXJaeHJMT241V1lw?= =?utf-8?B?bUwyMVJpN0lzeUphTnIrdWEvSmptbDYwZ2U1RE9OOEkyRjhBbHJLdVJ5K3pU?= =?utf-8?B?UWlmUC9taUtnODhEQzNoKzNGOVQxY05MM0s0QUpoSXgyQWJyVGdCSk9Cd3NS?= =?utf-8?B?QjFtZVhRWFVocExmcjYzT2R5N3FRQithc09Ba2E0OUVSWkN0bUR1dWFHK3JI?= =?utf-8?B?R0RhYTYwVlNPQzRSWFRycUxSOThRcEJyVG5sWFlubGZLZkNNZTc5cm5ZK3hB?= =?utf-8?B?QTB2eDBWdFd2cUhEc2x3d1BITGQ3bEk1Z21HTjg0aVN2aW9wdXBCT0Vjek1V?= =?utf-8?B?WnpZVnY0NW52ZDEyREdhNUthSVpkbVV2K0FieFVZQmVIekRhdjhJTCtzeVNn?= =?utf-8?B?ZmVlRFFPVnF5MGhjd3U5YzcyMy9GdFVseXhmVWRDMSsyZ0pRSjZpaXVKWDBS?= =?utf-8?B?QzlYY3FHMWVZRm45NllZRFBVMGRaS3l1eG0raC92bE5NY21GVWlMV2dvNllu?= =?utf-8?B?T0U2UU1yaHhhaUtuY05rc09WZTl2NEZoQnVmSmpUN1lqVFJkSkFPTkZRZnpX?= =?utf-8?B?ZjVlcVFSQWl4MEhRMEhablRCcElsTlhFTWViclp1RmRBbDNhSWRpYTh6bVBW?= =?utf-8?B?ZEVJSlBOL05iQ0RLOTI3MnhFb0FFVlY4VUd3OGhqNFNSemt4L0dLelRrbnFX?= =?utf-8?B?eDRaVkVGa1V0L2FsdzNkN1NYRUFUQURjS1lMMDlKWHJGY01XclhDd2E1bGtw?= =?utf-8?B?aEJZcGFYT0phYWZXMGVEM1VxSlNnbituWG9JQkxzVFJkZVBpRFBTVWlTd0dY?= =?utf-8?B?VmF0d00xRzRzTUorbHd0K3JvZlY0eUplOCtkb3FEaS9TN3JTRzV5cTJQS00v?= =?utf-8?B?WWxkeGoydk9uVkx5djFzc0NscXJlejB1M0tDajRZSFpVTllIeE91RFpOTFV6?= =?utf-8?B?ai9PNjFoR1h0ODRlM2M0VnpMays0QzgvMVg4VTRIQUZJR1JtSXVPbndmSTZo?= =?utf-8?B?VVdQb0g3OXMyRW5Ud3lkd2JTTXBkTjd3OEFJQURkdGRNWjV3Y1Y4blZXOHJT?= =?utf-8?B?YTJUcEVzWW9nSVhFVUlwaGtCbkI3YUljNC9YYVRLQkRFbmlzTnkzVTNQSGJO?= =?utf-8?B?OFJ0bDRzYjF6cGxiZk5NbjBlRHFlWGpHL0ZrbGl1WkViTlVPd216ejYxZEpJ?= =?utf-8?B?aFhZSWxwaUN1MWh6MnB4QVpqQlQ2YzhXRkxuUDcrQlZYbkNxOW9OZEQxbklJ?= =?utf-8?B?T1BNUnRETmlBSzJnUFYwQWNGVEhUTWo4WVBTT1NMZk5TVm1Vbk9KQ2RuTmV1?= =?utf-8?B?dE1jaXlpS01ucEcwSU9EK0lueGs3NHlpTWN1bGtmY1NWNDZZdUluNVJEbGlQ?= =?utf-8?B?T1kvQklzTURlbThxOFN3RmwwSHhUK2RxMm5iZjc1LytyK215eDRPY0lNM3V3?= =?utf-8?B?U0JlU3NqTVpXbVVlRU9ibUx3dllIYzBaNXZtaFUvQVg4V1N6RWpVd0RkSy9Y?= =?utf-8?B?UWxiTEpaVERsSGJRUTRNMWJFaGkzOHdUdjJ5ODJrWlU0cm5xdjBJUXp1bWRh?= =?utf-8?B?Yno1UTRxM3J2TEE3TjcrSHBlUHRzMGpPRG1xRWJxYXdYb0NCL0g1YmVrQXR1?= =?utf-8?Q?pSgN1jUbqijx2UznKqcKeKxl6c5eJAtI?= X-OriginatorOrg: mq.edu.au --0000000000006c534d060cedaec1 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable I just wanted to echo some of the sentiments and express my sadness. I only= had relatively short interactions with Phil over the years, but he was alw= ays very enthusiastic and encouraging, and it meant a lot. A few years ago = I got interested in the extent of Lambek's connections with Dov Tamari, and= he went and asked Lambek's sons about it. (He wrote me that "the oldest so= n Michael recalls that Lambek discussed it briefly at home, and he vaguely = remembered that Jim had some discussions with Tamari (and maybe they even w= orked together) but he couldn=E2=80=99t remember any more.") I did not know that Phil was fighting cancer, and am very sad that I will n= ot hear his friendly voice again. Noam On Tue, Dec 19, 2023 at 1:23=E2=80=AFPM Richard Blute > wrote: It is with great sadness that we convey the news to the category theory com= munity that our good friend and colleague Phil Scott passed away this morni= ng (18th December, 2023) after a long battle with cancer. Phil=E2=80=99s many contributions to category theory are well known. Phil a= nd Jim Lambek essentially invented the field of categorical proof theory wi= th a series of papers that culminated in the book =E2=80=9CIntroduction To = Higher-Order Categorical Logic=E2=80=9D, which is still the standard text o= n the subject. Phil=E2=80=99s research went well beyond these initial works= : he made major contributions to theoretical computer science, linear logic= , inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a= friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | Learn = more about Microsoft 365 Groups You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --0000000000006c534d060cedaec1 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I just wanted to echo some of the sentiments and express m= y sadness. I only had relatively short interactions with Phil over the year= s, but he was always very enthusiastic and encouraging, and it meant a lot.= A few years ago I got interested in the extent of Lambek's connections with Dov Tamari, and he went and ask= ed Lambek's sons about it. (He wrote me that "the oldest son Michael r= ecalls that Lambek discussed it briefly at home, and he vaguely remembered = that Jim had some discussions with Tamari (and maybe they even worked together) but he couldn=E2=80=99t remember any= more.")

I did not know that Phil was fighting cancer, and am very sad that I w= ill not hear his friendly voice again.

Noam



On Tue, Dec 19, 2023 at 1:23=E2=80=AF= PM Richard Blute <rblute@uottawa.ca> wrote:

 

 

It is with great sadness that we convey = the news to the category theory community that our good friend and colleagu= e Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer.

 

Phil=E2=80=99s many contributions to cat= egory theory are well known. Phil and Jim Lambek essentially invented the f= ield of categorical proof theory with a series of papers that culminated in the book =E2=80=9CIntroduction To Higher-Order Categori= cal Logic=E2=80=9D, which is still the standard text on the subject. Phil= =E2=80=99s research went well beyond these initial works: he made major con= tributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory.

 

Those of us who knew him personally will= always think of him as a mentor, a friend and a genuinely kind soul.

 

Rick Blute

Robin Cockett

Simon Henry

 

 
 
You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View g= roup files &nbs= p; |   Leave group   |   Learn more about Microsoft 365 Groups
 
 
 
You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--0000000000006c534d060cedaec1--