From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,HTTPS_HTTP_MISMATCH, NML_ADSP_CUSTOM_MED,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2, RCVD_IN_ZEN_BLOCKED_OPENDNS,URIBL_DBL_BLOCKED_OPENDNS, URIBL_ZEN_BLOCKED_OPENDNS autolearn=no autolearn_force=no version=3.4.4 Received: from SY2PR01CU004.outbound.protection.outlook.com (mail-australiaeastazon11021114.outbound.protection.outlook.com [40.107.39.114]) by inbox.vuxu.org (Postfix) with ESMTP id 972822DA37 for ; Sun, 17 Aug 2025 22:48:10 +0200 (CEST) ARC-Seal: i=4; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=JergSFBp2e236G6+FRPfifipI9Hh5XJYgUHnbKHKaC+C5BF4t6pFk3IL4ldZ5V4s6tvGuwjDGsXviTnhduCcZRauxAAkP5wcfTLYqFvREWexfeagKQMO7sd/NBscC2WW3ikCE6oSYLnN5TAlXBD+IRktCXI6MzcUtvkSTa02o1Porrf21SjOk/hdSXYnNxIs2jjA+la2CfGHOSnrUAZabEjBMmsaPFm/idxOJOBSk1g5/WKm9s+eJDVhomVph/boSfjaq+JpB8vV+7RvAoh928+CQ3WbVC/pq8XVhsppzRf5OHvqVsQtwFauo6cnwoWRreVDktb1SF1NBrqRNlIwwQ== ARC-Message-Signature: i=4; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=aZmEmzOj0EMDo7xXJORvhcZ6TA+2mh3kFLIhNCm7XYg=; b=AZUbBnVGhd8n+4Wo09e77duZ2NFQLFqLwzkN7cN/2NwPCqxiY/zw4SPE0CYKjysWGb/3Ne4zbnIVdHxkXtibW5+HUIncevJ9SwiCLvrm/w7eVjmL21Jzp1vTLRbbBKhBX3+69qeA5Akt73RThse1Rfw9HGLN2QMeoHpIttUmckMq+Q0f8IOTcAgIWk0xstCHOhZAH88ERy1ECETgDsrV+ofMZ1ihjv4NygK0D2GKmXNlJbVGDTSxraX0lKBgG14cZPAzstPhx3GhnGz7/p+e6VwTjQMXdLbWwLVoSWlpZpZMPF8NRdvdispo961l2Czf0H46h0yPtvy7XqkOc7A60w== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.160.169) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; 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=aZmEmzOj0EMDo7xXJORvhcZ6TA+2mh3kFLIhNCm7XYg=; b=qCsgHXgc19d60+bDqJTnH4uU3KSepLgpQ2zBe6Nvgh2qEWFfB87FymI6+ZsNRdEUinxP2pnvoF15Kv/gcH2Tagq+5Cu3H0ofR+Vi10kqOpTsLmRLpYcQ4CZEoOwu5iAw3O6kS25V5TWow28nfmUCNS9h1bGY07gL2+ZvHzdd8Q5wp153lRWOiOVI8e4CVeClLEPZNW+hee4PS8tr44dhZKiKnYnszfhc962123A2M4qImOhH9dbJiy1c6Bd8U4JHWUkd6UBENBcj7CRUV7lL6pafa//cSP+87rX5on3p4mI2tBQ70B4+cvFHt9QrgvNQ2zGpJEombcRZfcjM86d36A== Received: from SmtpServer.Submit by SYZPR01MB7606 with Microsoft SMTP Server id 15.20.9031.24; Sun, 17 Aug 2025 20:48:08 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=FzDvTSK+TFwXOCcIDLcYi2/sfXAHzPqm0woXJNOdOvxwK8pmAjtYbUayeb1OkPWye1b1WxAqOpIkwjU9ZvIGW/K62/cf9GwDMb9lo86UK4Fv9hEh3MwRoqJBVaywLzp2kzm+vlsNj/9tv/Tl1O1uuq9ag3G8cEv7JTOvLPAuG3T20amWhbmoc543DGURWiI0atjukBOZ5uKAZMsVEGQWn5jeamGtAA2cP5QTOsmhyoQ+J6iHJf08gUmg5FqCdeAs+VTxRaPV4Hk+a7tJEZDNosB/f9rUL39w7XBQIOZASL0w24aPxektAZPRU9B7G3HOjSashbiLV3zVcfN9+skejA== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=gzcTV2qDWycBE4Y05jR5j5Oot/8kbqyeIJ1EhZiY2zU=; b=Bhz5TSjBf+Qbrowyk8BySuPJEBvhqT8zND/5hMFYlo6BxQcxULFpuAf+7wV9ZBEO+4BhliILKEEDDrl2SP0igoUsMbTJQGcUEQ8kDPQ+CT3fPIMtVt8CQubInb4dGofW8HLtC0TAc/iymk6+iVGO9D/nKkRJGRNmY0SSp4XOFebcUH+lJBVoQ+1/HEoxPVz03MZ5ZP6RdMYWZ6QeVnN/U6E4KZoWO84hgYeRLA5l1s7VlUOnvrD/yqH7k2OcTa2IY3BZlgGijjfJZrd8fFoAtHadgd1coUjPEMO50MHw1lQz+JwO6g0Gb7YPYjecY5uNPchAC2+7D/DFbcKcoaVfaQ== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.160.169) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY7PR01MB8111.ausprd01.prod.outlook.com (2603:10c6:10:1e2::12) by SYZPR01MB7606.ausprd01.prod.outlook.com (2603:10c6:10:16b::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9031.24; Sun, 17 Aug 2025 20:47:57 +0000 Received: from SY4PR01MB8104.ausprd01.prod.outlook.com (2603:10c6:10:1cc::8) by SY7PR01MB8111.ausprd01.prod.outlook.com (2603:10c6:10:1e2::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9031.24; Sun, 17 Aug 2025 20:47:53 +0000 Received: from SY4PR01MB8104.ausprd01.prod.outlook.com ([fe80::45c:173b:26e1:ec7a]) by SY4PR01MB8104.ausprd01.prod.outlook.com ([fe80::45c:173b:26e1:ec7a%6]) with mapi id 15.20.9031.023; Sun, 17 Aug 2025 20:47:53 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=jDpnwCa8h6PbLyAabJtJj6vH1NcteXD4PG+bgoGV4mN5nCDKNs4AYHWx+8RHU0z8FbV/zMHuSSLfqQxm//LTjQ5c0ia0cYRSUD7yfIYrOXFNpvBSc/vRcHoSMWkuQBfkEHnz9Ive8dPBi1fH5S17mFxZ4Bwyo1DYB94mwzymT8b1DF/rl3KrPsve18W6RuAWqD+cA34SCmD/bq4kM3wSMrQLHChfi7HN5Frn+IEi2mOZ6KKH0g8I17KZov0Uk+BnrDx9yVQUkgx+lVu9z+daz5tbzd6Ywr8xZ4ydvpKdspjHcyrluksl07ApDNii90g1TI3rOnUHyyW4WtAkXo31RQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=gzcTV2qDWycBE4Y05jR5j5Oot/8kbqyeIJ1EhZiY2zU=; b=N99OEZPvzn3w92x/F5wu1N6T7GVx2zhW1C9vSd+/WEsJDBzcx8PwhqSJzZS8mKccmhS/kgs8fT1V0vMwLtbfjEBG/X7KGWU81A6bY2WqkRUfu1UaRiSbRqJGn8FH8CuCcUYyzcsjf0J3nZvxOt8TzffM6G2rGD2vGZdF9SyuEFfA40becl0wB6S6N17PgO5XlqAVFsjWHlVdvdgr0n6nGV3fkdW0yGAzz8p9Y0HEii6TxHTbYxgj1Dx+n7ZuDeJ0d0f+wTr1CmOAGA3hOfCvPX8ww3X6+vFP8hZSrpXYl6sPN0DvXlos4JbOiIFESvz4oeFtF2LXzbxyuo4yTULy3w== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.160.169) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SYBPR01CA0158.ausprd01.prod.outlook.com (2603:10c6:10:d::26) by SYZPR01MB7345.ausprd01.prod.outlook.com (2603:10c6:10:16e::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9031.24; Sun, 17 Aug 2025 20:46:09 +0000 Received: from SY3PEPF0000A726.ausprd01.prod.outlook.com (2603:10c6:10:d:cafe::28) by SYBPR01CA0158.outlook.office365.com (2603:10c6:10:d::26) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.9031.19 via Frontend Transport; Sun, 17 Aug 2025 20:46:09 +0000 Authentication-Results: spf=pass (sender IP is 209.85.160.169) smtp.mailfrom=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com;dmarc=pass action=none header.from=gmail.com; Received-SPF: Pass (protection.outlook.com: domain of gmail.com designates 209.85.160.169 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.160.169; helo=mail-qt1-f169.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by SY3PEPF0000A726.mail.protection.outlook.com (10.167.241.22) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.9052.8 via Frontend Transport; Sun, 17 Aug 2025 20:46:09 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1755463569; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: dkim-signature; bh=gzcTV2qDWycBE4Y05jR5j5Oot/8kbqyeIJ1EhZiY2zU=; b=fRMVid+9XEQy7Cln4RVvGLv1COPPRPj5HIWd60e/6j0e2Pi+5xH9INhWFGXBlYt3myuP+U ECKJzZlY49xeMlf5J/XggNikSPmMlXMfqcoJTod7AQLQAtR1T+rL7YNXDnh09uF90YCeOK O4F35PNyQ2Jy2Mqpl9PmWTFqNP/d2i1Uq5MOSRulnZ3XuBGBituPDoCVXkPy9m4PP0ZJB/ 1dXQf7ccfPvCE6F3vKssw9B8e/XP4hOh1BWO6/AMMiN60a113qboMWACqNufh7d5wbReUo XdT/XV/E5fyhJgQeqOtnBtAkk9Vi47v/hzX+XO7++ZbVjS4Y9VOKECRuUBzFPA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1755463569; a=rsa-sha256; cv=none; b=EUqepg4FHgtdMmJXqGI8bQDs1sI72va3rypfgjMxRmONCDZkvc5d6gSEVlsVBw7JGz7s6E 3AUMCpTTD+sQY9DnZNEh99As1onJvbXinaI1sVLf4Iz0nu3em/6XV+uEjRWG2TcT4jQ6Jg 4+j/3IGUwz+70SMO011V0dWrSxviuknvVVVFfBVFEk+TBHzy3oNWk6OSzX69SbOUsmeuAp altMLKObH+PlI7MZ1ZzFtVCbLl+bv1/Bss45k8GW5B+sxwGJDO1jG0aCsqAiCxPfOEp+wf 33EsUkAIFVwSrJVKS/VRs11fPTTxdUskueTF0Va9r4m2xkQ+daT4tIIcZhYsvQ== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=GAl5yN20; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of matteo.capucci@gmail.com designates 209.85.160.169 as permitted sender) smtp.mailfrom=matteo.capucci@gmail.com Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=GAl5yN20; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of matteo.capucci@gmail.com designates 209.85.160.169 as permitted sender) smtp.mailfrom=matteo.capucci@gmail.com Received: from mail-qt1-f169.google.com (mail-qt1-f169.google.com [209.85.160.169]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-59-lRMLW4MgOSeoxo-Z-ejndA-1; Mon, 18 Aug 2025 06:46:01 +1000 X-MC-Unique: lRMLW4MgOSeoxo-Z-ejndA-1 X-Mimecast-MFC-AGG-ID: lRMLW4MgOSeoxo-Z-ejndA_1755463560 Received: by mail-qt1-f169.google.com with SMTP id d75a77b69052e-4b10993301fso36789451cf.0 for ; Sun, 17 Aug 2025 13:46:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1755463559; x=1756068359; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=oZnwlhvFIDgq5uX6YV6JExQTasg6xrXqHfLstkksTNQ=; b=GAl5yN20qzMkAyqIeq3JOqscJBbTsbk9P6WC4j0EijRuPURQZJZKAdXJYBIFvm2EmM OaF4COSuWWNgxlWljnZlfOM19HNPSWEgokfPzy0BUOKTIv+JCHk/5aEi4mMNANh2izl3 vLjltuWHb8hpJfmAbont1LIDKIHxXud4Zn92pFgVThiGLKELLVdCgiaNZpNUqdlIzcdS qjhEbTO3pb2TlwhF31Dd0FWFuPEv1IFunYsw+mvGkGpakEH4B+XzZbZIORl5t5jirbqh j9xiCvdtkImGzczClyBlkzHVw0K/5zNWMpr452dEOCWhqhECM4Knf1pVz3EcBrgta/7e 3ewg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1755463559; x=1756068359; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=oZnwlhvFIDgq5uX6YV6JExQTasg6xrXqHfLstkksTNQ=; b=TcmJkFW+HAaz7xRYVVMCXPCaUB4lVkzFCXEkANy1+Lc0PBMmp393AZaBrgbCX/5XVu jc0B9y4cfiKL7TEL3F0Mp5SABI08ZrIrl5HJ2juQPhVzwqsUQKVtt4p1EZIGtHK6+an2 AuwhcK43jvNrJahPBIZKp+u5+c+33VJU9Ext2bCvdzMqY6ElrY3Z/VB6Cz7Tu9sL5bnI sgMJse6i8bIUm/0EeuQjIiTfroL6gbtEXdL+Lwj0seEkFoWOK98JoNKi+tytGeU52QRv OAR5Pzk0HIhZs01C4ynWsxQyJdIO+wfPECF18+++CA2qdDo6HorgIckkDFw3NDx0bLaC S0Bw== X-Forwarded-Encrypted: i=1; AJvYcCW7xWC+JRyU0xOVoyhtTkXg1cLU1rcjc9iS6qTZmLDLVefngbnY9iMV/n6hLvszJD5QuI+A49apVRHT@mq.edu.au X-Gm-Message-State: AOJu0YxgKgu7LMWWBah0WT3z3lLkcOT6qrz1dZ145B2EJyuEcTbLYg/c MERYcpHnBnlYZiL6WpkbuawPByptYQT6g0hSymtlNVDoLFJBdeuBA2twybLNXLas3jxPYsrXKhM uvJuCFJV3hHCG9vTgJ2eKSxKjSsgNxd0= X-Gm-Gg: ASbGnctFhgjDC11n2B5Bi3Alz5E04hWPHJ0JLLN8asLMTR+B1PxegU/8TRZ4FbWvLk2 mGyuaT67S46aMZZouO0oyhf+lU3kK4FRycmQb/1hYy8KmTtI11jBKlNcDBqQpzuvXZ0puhZ/iTL GPtP9LgUJ7qe1uyhegZkN/8VpldPBE2RbPFpdmHAQkJ1+IVfJsWSiIjFcwdx13ouaLPrfVdaY3J r1kbqKzLGJSo3rx X-Google-Smtp-Source: AGHT+IFepzhxQdCWWzvqaVUsLpIsC9pIBFHhfIdrD2ENxqAqhMrHpEU2Jg01k0DhV8g+UGGoyZLGYNjVcEQ8xp8OzR0= X-Received: by 2002:ac8:5851:0:b0:4b1:103b:bb70 with SMTP id d75a77b69052e-4b11e32dabbmr124479391cf.62.1755463559288; Sun, 17 Aug 2025 13:45:59 -0700 (PDT) MIME-Version: 1.0 From: Matteo Capucci Date: Sun, 17 Aug 2025 21:45:48 +0100 X-Gm-Features: Ac12FXxiyXQr1WfQzsDHv_Hv2J3HuHz6hNYKWLNFhNj36vRc5BZ9ZFzncD_h4zg Message-ID: Subject: PSSL111 - Second Announcement To: types-announce@lists.seas.upenn.edu, cl-isabelle-users@lists.cam.ac.uk, rewriting@ens-lyon.fr, ProofTheory@lists.bath.ac.uk, coq-club@inria.fr, caml-list@inria.fr, clap@groupes.renater.fr, gt-scalp@gdr-ifm.fr, cade@itu.dk, finite-model-theory@lists.rwth-aachen.de, lfcs-interest@inf.ed.ac.uk, linear@cs.stanford.edu, GAMES@lists.rwth-aachen.de, agda@lists.chalmers.se, types@lists.chalmers.se, categories@mq.edu.au X-Mimecast-Spam-Score: 0 X-Mimecast-MFC-PROC-ID: 4pZ7aAFMpdaFtT9W60eDc2tW6CanPNektzmGuuVGhkM_1755463560 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="000000000000de1eb9063c95b5a2" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.160.169];domain=mail-qt1-f169.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.160.169];domain=mail-qt1-f169.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY3PEPF0000A726:EE_|SYZPR01MB7345:EE_|SY7PR01MB8111:EE_|SYZPR01MB7606:EE_ X-MS-Office365-Filtering-Correlation-Id: da2cc1cb-01fc-4b58-f55a-08ddddcf187c X-Moderation-Data: 8/17/2025 8:47:52 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtFwd,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|1800799024|48200799018|7416014|376014|82310400026|156008|35950700016|32650700017|7093399015|13003099007|8096899003|921020|41080700001; X-Microsoft-Antispam-Message-Info: =?utf-8?B?OUNEVkhOSlBobzdlTU9xalRGMVdReGNrN0FCQ3prelJ5aGZBNEpsQlA2UnVS?= =?utf-8?B?MERUMnBNNVJ4NStyVHVKM0dxTUpxYTAxVnFSemozWUNpRldhb1JoS3NYMWNU?= =?utf-8?B?ODhpV1NxZFRuSDdqMElYWlQ1dHFXc1F4bVlLcFhrcW5uZ0l5QUxlYUs2RnNr?= =?utf-8?B?Qmh6QnRZYi9JM0tXYUh0bW1LVGFLMmVJZFBKb3JXOG9jdm5ad1p0ak50ZHVv?= =?utf-8?B?dStsbWZTUzFrV2h1bWxnSUNFVlpjb3VHTndlRVdORXBSV05LUzJ0Z2lVMndB?= =?utf-8?B?ZzFWMmJIN2o3TU5pQUh5Y25VL0w2N0ZZUXp1Q2IvWnN2anJ2d1NNZ3M3cHB0?= =?utf-8?B?Q3Q0WFlTTWNnVC9rT3Y5U1RaQVp1d3NmTFRqdEE3clZ0RzA2U0JoaEdxMTU1?= =?utf-8?B?akIyQVdCN0tsVmdFekdsSFlqb25BZVlCcWxsc1hEdFM2QU1XQ1daMmFldk13?= =?utf-8?B?SHdXcFkrNDVpVHJpa0k4V2hIZUc0cm81Vk5hYU5sUDdLTTNINUZwTmVpaXc3?= =?utf-8?B?a2tXY1dQU0RscVI4YVhpa0dMWTl6MjBUTEdoZjBnVFFxNXI5dzFCRnJZek5y?= =?utf-8?B?T0FhQytHUi9wcENkOTlleG9EYjJSV2RHbmZmTE9jamVJQlZIdVRja3QvWDBn?= =?utf-8?B?WHE0aGRCNXZtSWpTL1M5cTkwL3lxRzJ2SUs4dysvYXMyc2RMS1ZuVENhYVdB?= =?utf-8?B?TlI2UFBDaXE5eGdtaDVmK2lCZm1Idms5NExZeHIwSGVZN0dJempZMVU3eTFO?= =?utf-8?B?bEE3bVFXcTNjbUdmTDYySlFaR2lqMnhMaXRBNktRWHA3M1dabWNBTGZ2ZU5J?= =?utf-8?B?M1IzbnEwZ0JXTklybFpxWmFhRW8ybUphak81QWlkdE1aellWbXlYTVBJVUZ1?= =?utf-8?B?VFZMdmN4elYzV21wb0NSWjd1cnBKRU1teEtQeTViRmtHZEJaM2JCMTU1aXZN?= =?utf-8?B?Mm0yN2huNlA4eDA3Qmk1YndHZjJ5U3MrdVlvWEhTVHV4ZzUvTWhLbG9oWGlI?= =?utf-8?B?MU5sYnFQYi9CaXR6RnlBYjJYSSt6djUrakdnZ3BleStIUWhvTkZHWVlVTnZL?= =?utf-8?B?dVVsT01uV2MrUUlOSDNqdllNc0J0bEEyMEJGTEFHR2lMYnRNSExzRG42Y3hR?= =?utf-8?B?NEdOR2Q3SzkzVFE4cVB2NkxtaXFUdFVpR2dlY1BQRzVmL0VRZ2JObGxvN2lu?= =?utf-8?B?S04xS0pIWHZtYjJETUJJUU51cWdKSytVRzVQNnYya05pZEZhRjBJcW9DYUxN?= =?utf-8?B?SFpCNU5SOXdxZWRwa1d1c1dHenFEQ2g1a2FxNVRPNHo0Q29hTnIwVVBqTVRj?= =?utf-8?B?MDFMbUhCOThJa0NBUFh4UW1mUkZZdSswSm1tbGNDMjFDeVRpK1l2dWY0T2Ni?= =?utf-8?B?bllKSkpGZVpQZWltSU5lMlFOZTlXNFZBMW85U3VHV2FyRjlFaEk1dEVHU2lL?= =?utf-8?B?Ung0L3FrdnppWG5XclZWbHhObGY2YmhIMGJraDBWVEtvUG9PWklub1U3dHZk?= =?utf-8?B?NkM1ejI4VjU5aGRQSEFZM04wMkh2Rk56TTI0L2VweDZxbDc5YTdpVmFub2xQ?= =?utf-8?B?dWNMZHlFMThMRUJBLzJaaGJHUjRibE5qSWRPWG5Kd1lWVU1Hb0YraDRFbFNo?= =?utf-8?B?eEJRcEdLUitIMVVBa1VuZEZTc1FqeWFnTERWNkF2ZUxlK0E2d0xjaC9ySEdo?= =?utf-8?B?ZTB1N3REMUJmNXJTN1FpTUE2YUs1eWw2NS9nU3dEOVFPUmhVYnBQenV2ZEd1?= =?utf-8?B?UTludHhCeVR6Ni9rNGNUWkJ4Q3E3Z2NRbDNCdkJJZ2l0akk2UEV2WnRxTis4?= =?utf-8?B?d2pFd1Rob1JNdnFZdEc2MWYxakxnWXZSMWU3SDJMbU14OURSb2xYbnJ2M1d2?= =?utf-8?B?UnNLRHZTTkRIMVpOeHFDK2JrRkVQVkdoeHo5SDNyY1luclFOcy9KMys2d2xl?= =?utf-8?B?clhIL2FESE81emM0MDRpYTF4R1RtVzdvWWhLWjJUM3pmRVZ0Uzk0Y0VjZkky?= =?utf-8?B?ZEFWaTVCQmZ0enFxSzFpNnBwamtndjNSaUNxclZoRVczMEpRTWNIWlljWmo0?= =?utf-8?Q?GxzvhZ?= X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-qt1-f169.google.com;PTR:mail-qt1-f169.google.com;CAT:NONE;SFS:(13230040)(1800799024)(48200799018)(7416014)(376014)(82310400026)(156008)(35950700016)(32650700017)(7093399015)(13003099007)(8096899003)(921020)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: da2cc1cb-01fc-4b58-f55a-08ddddcf187c X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY3PEPF0000A726.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 17 Aug 2025 20:47:53.1464 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 27yBdDLS14z8AkeKrmzhG4+jWR4uOnPKk4W4vTjzxXXVsrvSM26stEp1flnhOjPKrvPljvO/5UmE1o0m31MHgopgGebEzHa8xcGGxc3t5zEPPonQIvjdyt1ZbNVDlELxNwmYEfHjUCc64dMU/9T8g+/Qnni7iVdStTMBl1jupf1iZzxpjh8DRwSUC8bFWxEn X-MS-Exchange-Transport-CrossTenantHeadersStamped: SYZPR01MB7606 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?czlOaTRENmk2dmhMRlFyVXh5ZUNuaWVVL3dQVVF6VVdGd2NzNGZCVnNMVkVT?= =?utf-8?B?aWxMajZDN1MyVGRQS1VRTkM2Z29Wd3NHMUpjWEtBbmNreVF3eWxyK0ZFWjli?= =?utf-8?B?T2FlVkZVMDF5bUpNcjV4WE8xNUVKWFRYRURocU04aE5pVlNLNWg0V2dobkZF?= =?utf-8?B?MUxkRlRVOUhDTjZnYVdGNk1ZWUZndkZ4aUtRbzZkYkxkaGRrclYyUjRLTVNp?= =?utf-8?B?dWppN2tHUk9TbzVhKzBweE5sd1VYdTJnaExCVXNiOExEWTQydGNMcFNXSXJr?= =?utf-8?B?bW1vNjZnWVI3NElpS0FsalViR2s4YjRuZCtoMFYwbnkwMTRGN1lON0ZkOHZu?= =?utf-8?B?RU40bStCWDBiVkdiV2xnclk5T3NYVHc3SW9aR2lsVUdoa0tzTDVFaytsV1Jy?= =?utf-8?B?R3BqWko0R3J1VXZ1R2tTc0tKb2ZLeFJRaUlIWm9pN3dJU1BoWklVV0NSVUh6?= =?utf-8?B?dFp2TndaS2MxYTZSbXNyTS9lNzFFNVpRZWZDeG1RRTlKVExTWFdqWkwyb0J4?= =?utf-8?B?UTZ1S0ZucUphelZRM1ViT2ZxTTV5NXhDYXRTa01XZ3FzMm1UeVNPYTJ2WkR0?= =?utf-8?B?VDVaaG95SEpwUzJ5V0lPeE9PblJUdVl1VjRUaDUyM1h3RWNZZEh3YkZzY3Jl?= =?utf-8?B?WkFNTElQQTVDNVNKOUFseXF6NGFwMjZWeCtQZXRlMWwwdUJLazR1YU1MbVNR?= =?utf-8?B?V0Uza05hbTlxa2p0TDg0dGlWeUxQOWN4elhCMG94TUtoMmIrd1U2SnJGZEJG?= =?utf-8?B?Q3cyNENGckdiYjM0L2ZRb2RXZ01PZHhTd0FxMENXVkZIZmtJSGE1RC9KUCty?= =?utf-8?B?QmZiemhDNlBUbE1RejVFcU94VGRWSjRuNUhYaC9aNXpHZFVjRVJWV3pmNkVi?= =?utf-8?B?ekxFSFBZL01FWTJkd1grdXBHYk9oNkRYS0xLcHJ4ajhwaVRwVEpvNS9oNlFR?= =?utf-8?B?ZHM2WWtGWHFOVlFkVVdVbW5hdVNtenQyUXpsTWtkcVRpNFBFODNvVFNnK21Z?= =?utf-8?B?STJpZ0VHMllLK1R3R3N5SmhwMWhkc1VaRXQ3d0FqV2FaNmVteUMxbDZheW8v?= =?utf-8?B?VVhMdFR1c0swZytZL3ZsTXpLWnhvN1dLQ3daWGNxMnZocXJIRHVnQ0tHOUg0?= =?utf-8?B?am1panBwalpNdU9xTHZnZENlT3hKaUM5NnU0ZHFRbGExekcrcU9DbFdjTHpH?= =?utf-8?B?NCtlWHdJSTY1cHREQ2NNNmIrUVJxV0s4V1BTb3N0aFcreWE5ZkpqU2tGZCtT?= =?utf-8?B?R1MySHJ1SDkwT2hYaGd1ZnY0SDA3emNxN2VWV3NjcGtncGRGd05oa1JkRE5P?= =?utf-8?B?bnM0Ynpyci9ibXREOXRhUVlQYnNITVpLQmtXMUMxKzBGUEVBZGZmOURRMFIr?= =?utf-8?B?SFpHcHVRMlBBejB3WlVUeXBHWU51eC9hdEdsVkpRcGFYcGJ0Q1BpaXNmQktR?= =?utf-8?B?ZUs1Ull5ZDAydTBqTGd3WXo1NDlSSGE5cGdxWGN4UnhmZy9WS1kxdHRESmEr?= =?utf-8?B?Y1ZVY3FlY1JMUDYxWUIvQXQ2VmdrYy95eEprMFB3TXVRenJSOVZFUUx2OFFY?= =?utf-8?B?Sm1BVzRPaWh4UUVDNTJlNFd5aURkK1JwSTdFaGExdXlDdy9lemZOQ2xDZXlE?= =?utf-8?B?RlFnMzZWQ0lWTGZEdUJTTmN5cStUZzI0NkI0YnUyNTlFc2wwSHdJWExsVnds?= =?utf-8?B?QjM5WmgxOWtqMVdaVWZBcm11ZXc5cFNQdjRSaTV6VzczVnpGV0puRWFNN21Q?= =?utf-8?B?WWFIZ2M3RXNHV2xxdWxIN3BzYmVlWGpNNUNWdUtqcGNsZVpMTnlUaWRjUmx6?= =?utf-8?B?dVVHSFYxY0hPT2c3TU5ZNnpidk82Tk90WUxNdldYZjU3NWNSRm5zZGkyaFg0?= =?utf-8?B?aFV4L1ZsUlRhZitsYnIza1A0aXRqaHNLUU1BMnA3dWttaHc9PQ==?= X-OriginatorOrg: mq.edu.au --000000000000de1eb9063c95b5a2 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Dear all, We are happy to announce that the 111st Peripatetic Seminar on Sheaves and = Logic (PSSL111) is set to take place on Thursday and Friday September 4th= =E2=80=935th, 2025, in Bologna, Italy. This edition of the PSSL is being organized by Matteo Capucci (matteo.capuc= ci@gmail.com) and Vikraman Choudhury (vikr= aman.choudhury@unibo.it). All the information (venue, schedule of talks) are already or will be poste= d on the event webpage: > https://progetto-itaca.github.io/pssl111/ There are no registration fees, but we kindly ask that you complete the reg= istration form by August 28th at the latest. You may find the link in the a= forementioned webpage. When registering, you'll be given the option to submit a talk proposal. We = seek proposals for contributed talks on all aspects of category theory and = its applications. Talks about work in progress are also warmly welcomed. We= especially encourage PhD students and young researchers to submit their wo= rk. Contributions from the logic, type theory, and the programming languages co= mmunity would be most welcome. Apologies for multiple postings. We can't wait to see you in Bologna! Matteo and Vikraman ---------------------------------------------------------------------------= ---------- Matteo Capucci (he/him) University of Strathclyde / ARIA Creator website, twitter I sometimes email outside standard working hours as this is convenient for = me. Please don't feel the need to respond until you are at work. 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 --000000000000de1eb9063c95b5a2 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Dear all,
We are happy to announce that the 111st Peripatetic Se= minar on Sheaves and Logic (PSSL111) is set to take place on Thursday a= nd Friday September 4th=E2=80=935th, 2025, in Bologna, Italy.
This edition of the PSSL is being organized by Matteo Cap= ucci (matteo.capucci@gmail.com) and Vikraman Choudhury (vikraman.choudhury@unibo.it).

All the information (venue, schedule of talks) are alread= y or will be posted on the event webpage:


There are no registration fees, but we kindly ask that yo= u complete the registration form by August 28th at the latest. You may find= the link in the aforementioned webpage.

When registering, you'll be given the option to submit a = talk proposal. We seek proposals for contributed talks on all aspects of ca= tegory theory and its applications. Talks about work in progress are also w= armly welcomed. We especially encourage PhD students and young researchers to submit their work.

Contributions from the logic, type theory, and the progra= mming languages community would be most welcome. Apologies for multiple pos= tings.

We can't wait to see you in Bologna!
Matteo and Vikraman

----------------------------------------------------------------------= ---------------
Matteo Capucci (he/him)
University of Strathclyde / ARIA Creato= r
I sometimes email outsi= de standard working hours as this is convenient for me.
Please don't feel t= he need to respond until you are at work.

 
 
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
 
--000000000000de1eb9063c95b5a2--