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.8 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, T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-ME3-obe.outbound.protection.outlook.com (mail-me3aus01on2094.outbound.protection.outlook.com [40.107.108.94]) by inbox.vuxu.org (Postfix) with ESMTP id 4467229743 for ; Wed, 28 Feb 2024 21:00:28 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=dwqSApi3qzhTBv1CbFz92WJSYqX8DG2FyKXNMw05+tTC396ZL8X+ME86iyrg1F0gFfjSvbcf7qoNwnvfU7VAVrmiqoXIwahs+D6ToCibti90eBB0jErvnkP1HTTBL4RDcSaXgShPs4N7uHAz6gqVQtImPY1bFRsFCaWfY+uHv7YyECos/FZ/Hg5cEP1TbBT2fQTAmLq7HmeetaFerxChOzlXUdwAepmtdjvwwV2Rz9UNz1wvJRFQOA87gTudxQKd1hkJd5OPQAUznn216MYXMsw4ytUB0wWMqT3Po93YvYbydKsaU41wi4yheqvJu9RtbW6827l7Y8RZqc/p0iBqQA== 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=8yqd+VvfvXb2vb0AW/h3e3UjnO+5vjPFENdXBS7OCHs=; b=mXEZ6FqQus1w725QyJzwykH8f+obW8ZXSITU1NirDNLf6YuwNm4XJTDO3/IabxBBc6nyAM5rltUMf+q2W9R0GD6gRxFPzW5gBGa6hjQa5mQmhasSXXo2fcmteiGm4VaJeQBNKgV7do4iJ744C9eG5cgmyn5OERKaurU5q6uxT1ZDYOtm/jzxJlF4ZA0injqiygSjMNbN9G+MzoaiB4FHxjhOiBng9/W0gx4mDkiAP1GPtyrdONG4sk2OFt+YHgWb8Y9DwgsBIvwaAXo3W0BA4O0O/ObsZODV4iAtH953/rU8EJ6e0Y0AZ+pPYVpvcXgG1J6gswyCnj3pM1YKeRwb5Q== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.208.179) 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 (signature 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=8yqd+VvfvXb2vb0AW/h3e3UjnO+5vjPFENdXBS7OCHs=; b=XyB3snENcBlviGGHHDqAiYx/SB6AFrbizJOgYdQn1hRWSZ8wpEw0znmlGRGTmdGoW0R7vri5FNdTQgoH6p3WzknQhOL9UeZT3PJ1rKU66YOfOGfABZzBY1nMkMirbPSPMFCQ/9XnmkL/w8ue5uBKupyvIpRMNfQ722JFjPVGOS49p8zroZ9zSWD9HIf3C9T4Y7S55UOJ3Dr3YENKpia/qn2IPAtrZaljrFb85Z+NlofRO1t714nBHvDSsIDWUiuM1WQIYMJM9K3rRxIXNHLJElkEmK1Keooe1lmr2uBbv8lq9IymSF7uF2Vijkumsrk5s76aqEDIntOU/1JUd4Qk+w== Received: from SmtpServer.Submit by SYBPR01MB5823 with Microsoft SMTP Server id 15.20.7316.41; Wed, 28 Feb 2024 20:00:25 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=GwFKmEd80KZHsn+sfpDlL0xVcaMAuG2F4KlAzjmbK3aXcfj/2tIPMQnDhM5eSvJwPJM44L7pBGzaaYRbTzKS5er01pLUxRmkkpYjxsYnbfM2t1GVIeErr39a/Rmx7PDTXpuszwj8RAuQpNaMqhXFRW0NlHIZGIgyfObjq28tugMqYyb6uzJvmHvUapYtqzC9FyJnor5icrIiX0paDGiZyWyj7qtFsHORgV8SzdF7GeOyx3/lJDpdXwhoYhLAfPTDhUotiRtGro5hL8GlVWMMkG/C5w+VMBtPMTAdbpbxCDD8ZB9xWQdPGEYlhaHkMzuHR+Hho2uWneLsfculhtMjeg== 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=PZs9FEOLznqA6rgkID4Ck8IqHq5yaodzaTrh9fyVzv0=; b=BsNyq53yFm9Nx36ymAdXdeG4kIBXLkjlUHAV2QJVh435wbMSfCQwRfK4kGjZEVfl7/+4dRtqZ2oyZl+HYXht8h+JitI8zRtY2J+B6RPeSdsgEtnpoafu3onUUFODDVSc9aIcZLMf/YWAC6osgt+YVWFdjTSxzhDjjuBfZJzEoG1H2TdOr0gIDh1wDoFde0CS+/V+uHVxh24vJ2BuCk2R779Yo3MZ6Kcpbm8BEGaNtOwTw8rULR+pd/QOykHnRAc1ZSGlZEk0zcQfStKkuuPm9RS9qt7xrfZ/VF1EseNMlJjMkpJEEpT69h/QpdcxCC1U7tX0zKBksMNSeabZGqrpHA== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.208.179) 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 (signature did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from MEYPR01MB6357.ausprd01.prod.outlook.com (2603:10c6:220:f8::9) by SYBPR01MB5823.ausprd01.prod.outlook.com (2603:10c6:10:98::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.41; Wed, 28 Feb 2024 20:00:20 +0000 Received: from SYCPR01MB4494.ausprd01.prod.outlook.com (2603:10c6:10:4f::17) by MEYPR01MB6357.ausprd01.prod.outlook.com (2603:10c6:220:f8::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.41; Wed, 28 Feb 2024 20:00:17 +0000 Received: from SYCPR01MB4494.ausprd01.prod.outlook.com ([fe80::79f1:1c9d:8dbf:511c]) by SYCPR01MB4494.ausprd01.prod.outlook.com ([fe80::79f1:1c9d:8dbf:511c%6]) with mapi id 15.20.7316.037; Wed, 28 Feb 2024 20:00:16 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Dz93McGanWC74DRB70/8e31HktuC1+izAOTEdF8Z21u7XGOHYAA64CswRQVKZez7W4yxkeLU+nkRfSKH1hJ3tfZKM6y85LH3R/7Lht1UvHMCpEgbLwR/jbGDl2PXXtKjiDyJbRFcycigBBfJkYFLQbkBGkxw/KmZRwhwMkGNX5AaZKWdhuG23o6+caiI3iXCOdrYmaE/m7QpYSQjO4oz3SKt4K/1S3XOBYKJ3/5Em4oJ/Pq7OH7sxsIiakUl4RrehGcknIaQaZgvnVZaXFqQw6Ny/WN5Wxvs7Lga52VW0cqAp1xYD9Aja/cf66arnCmwUH6ek+P4a2C/FZbM7O0cGg== 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=PZs9FEOLznqA6rgkID4Ck8IqHq5yaodzaTrh9fyVzv0=; b=babrMH5Fl1dYoZ0v7eJUCfo5RmlgeV0yBcE9nmN9H1e4pcA8aqqdOteG4pmqxKRCE6P0p3Q2+wNHy7GUIvYuypsly9s62frRSjNTQJXurUKqE52Jz2Cm37202ZYggCi24RR+SFCZyuW3eY0WcauYGLx8nw8mAUa2pPbB5lxM4jZg8ftqddO9OYAZEXhRLFp8zzVRdqfYiv99I+73YkXFXPT7PHbW+/k3psGvaACQhv7tAqIxU0yXS7pVuOiOQXEXO3tDu4BdOqVM3fJGpa7AMWeIXHvXv1o1Oqk3mMOtFkEzfKDVxRGmuD0Ox+OYVy+ra6scoZkrj5AMlXW2Z+zmhQ== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.208.179) 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 (signature did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5P282CA0129.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:209::11) by SY0PR01MB8668.ausprd01.prod.outlook.com (2603:10c6:10:220::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.36; Wed, 28 Feb 2024 12:58:54 +0000 Received: from SY3PEPF0000A726.ausprd01.prod.outlook.com (2603:10c6:10:209:cafe::e7) by SY5P282CA0129.outlook.office365.com (2603:10c6:10:209::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.49 via Frontend Transport; Wed, 28 Feb 2024 12:58:54 +0000 Authentication-Results: spf=pass (sender IP is 209.85.208.179) smtp.mailfrom=gmail.com; dkim=fail (signature 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.208.179 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.208.179; helo=mail-lj1-f179.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_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.25 via Frontend Transport; Wed, 28 Feb 2024 12:58:54 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1709125134; 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=PZs9FEOLznqA6rgkID4Ck8IqHq5yaodzaTrh9fyVzv0=; b=C5ZY0x3L2JFSpmLJ4nSKbihDvWEVfwFI7d0xEOzYb+uqFfJEQrbAhEjV3Jx/d4wCW0FXhr oLQUBKvRgaRPI9tD/OlJFWCbsWuWOi2sX7S7UqJ05Buc+LiZWu3waiXdaYNTsXpF1ehJTr MealZWjNgJi5KTcSmsennrOB5a3cN8ml01nC8mfxumTovImZThAkZjtllJXpmXopXN2bQW lkbJ8JGpdDqDL3AB+2mD6mXh2LUJZJrKIy+ecx6MujAfra2PIqDYqIm0TJbsL4MnHGwgJ3 Sowii7tHA1HfcPV5jVH4eLT0yxo4SW+agqe/HClmG2wrN9PRMDCLigAVa/FR1w== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1709125134; a=rsa-sha256; cv=none; b=NnW6vluzh+FBYcgMarFVmkyMZ2YfmYllZVjpRiqMG+ifqg2lececaG7FWNKzDCXSOZvHmH ueGlxEROWJ5AwlayCRgfWHwmdNMvS2xbTZL9dZVrE7++AxjCyN6rZarVGqoBfqSXx5rTXN 8rTvcUUGIBC4pUXb687/TeP0h/RxB/ZIncP7Ym2EF2AqF7kbz4O5IV+dmaYy2/vm8rpL2B gvZ3EsjDSmo8ad53cCYe7bF9moWVT8SWuK0X+VXmwT2Cq3EhtV/pNURDE1FJ1pcF5VTvSp xSo5xCUIozcyhzk8ImIKM/X72IYNcqUK3eLBeBwneYR8bJF8+NuOameC2rUQWQ== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=P95COLqE; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of diliberti.math@gmail.com designates 209.85.208.179 as permitted sender) smtp.mailfrom=diliberti.math@gmail.com Received: from mail-lj1-f179.google.com (mail-lj1-f179.google.com [209.85.208.179]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-97-_wyX7D3dP1aYsOudRDchHg-1; Wed, 28 Feb 2024 23:58:51 +1100 X-MC-Unique: _wyX7D3dP1aYsOudRDchHg-1 Received: by mail-lj1-f179.google.com with SMTP id 38308e7fff4ca-2d24a727f78so75924671fa.0 for ; Wed, 28 Feb 2024 04:58:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1709125127; x=1709729927; darn=mq.edu.au; h=to:date:message-id:subject:mime-version:content-transfer-encoding :from:from:to:cc:subject:date:message-id:reply-to; bh=6E+N9GjRCmeWTWD3OaepsRhE63cNA+jcQ7KGapwNNE0=; b=P95COLqEBDYY+0JeZEylIMa64v2/65pDGgCBQCH0PtkYn1SrIyZBeR74cH+sakpGSi g6pWV5gvuTZ1XXDR733zawyB8WEcOrdo+VsxfihrZfLuB5PRmguL/mp6I2mS5D7SlKFu yf9BL1NbgxyYacR8KLNVDfd0OkgntRpDTPj5HaYPzK8o7cwmyGdz0r9IeYfYg+1oag6G K18SvpCvzImlLnql/nsDmo582peXFa8wpp5ATxKFY6gSCX9VYQ6GPm8VxuMSGusLqKmo cO/fCdywESWOZXVG1CieW70ZrZ7JzZnz4AQBmBbE9A4ARUPduTD5QNu3acBcdweo7G9S eKAA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1709125127; x=1709729927; h=to:date:message-id:subject:mime-version:content-transfer-encoding :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=6E+N9GjRCmeWTWD3OaepsRhE63cNA+jcQ7KGapwNNE0=; b=WiFG1PEtml9n4pzJBYxBW9PgADnb1k1frsOoKwh+kcCVaXNbq2mz7S7FcGEx6lj2Mg uuqRq/yekEG/Crnq0P0K6JS+qo4BE6ByUZvPaWId4f6e494qq0lhh6PTJnL7woHGsf4E SaST2PxcbvR6rtw5/QQO54xs+piORcU+/j4BiqBo4yly4XIbN/3IBbMT3zn38qNWsAeE 1VmTAUKlqg2w3VgJ4nMcCUtEAi2hm9YvHKqA5LonK2kUWaEQzDnGQBAWuKNz4WbrkcrB qHVWdQTMj2rdXCpM/dFp0udT8KllgNFzWAWSdgQxyOE88EnxYAYFJQrhY+S3jeNdgLcQ SLRg== X-Gm-Message-State: AOJu0YxCnv66ztZIFX+2HgEPY9oHb/HG1u0xXH9XEcWndxYlMgZcqtva ORmD3fNm7SWEiRn5bsr0RXsC/VvPT2G7NHIha9H5xzTZCPjvoDEmatjCCMccXfU= X-Google-Smtp-Source: AGHT+IEOywxMlBr0IlOLNsqWgABCfGJrlPCUaEkIDpjwpnNvsgnGg4sCXKcZVLqWKYV/P586Mh/pNw== X-Received: by 2002:a2e:888b:0:b0:2d2:2c28:f174 with SMTP id k11-20020a2e888b000000b002d22c28f174mr7552044lji.42.1709125126880; Wed, 28 Feb 2024 04:58:46 -0800 (PST) Received: from smtpclient.apple ([130.241.134.23]) by smtp.gmail.com with ESMTPSA id e7-20020a2e8187000000b002d27494c8c1sm1637285ljg.25.2024.02.28.04.58.46 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 28 Feb 2024 04:58:46 -0800 (PST) From: Ivan Di Liberti MIME-Version: 1.0 (Mac OS X Mail 16.0 \(3774.400.31\)) Subject: Logic Colloquium 2024, Gothenburg, 24-28 June 2024 Message-ID: Date: Wed, 28 Feb 2024 13:58:35 +0100 To: categories@mq.edu.au X-Mailer: Apple Mail (2.3774.400.31) Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=P95COLqE; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of diliberti.math@gmail.com designates 209.85.208.179 as permitted sender) smtp.mailfrom=diliberti.math@gmail.com 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="MCBoundary=_12402282358530261" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.208.179];domain=mail-lj1-f179.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.208.179];domain=mail-lj1-f179.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY3PEPF0000A726:EE_|SY0PR01MB8668:EE_|MEYPR01MB6357:EE_|SYBPR01MB5823:EE_ X-MS-Office365-Filtering-Correlation-Id: 2272c4b8-cfbb-493f-3719-08dc385d0519 X-Moderation-Data: 2/28/2024 8:00:13 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: AwTBreLF+TOy5MRKQdIv+wZYpoHVTtHOsrABR5yTcppOfF+b2bb06Kra5YnE88A8dr+4aHPAi+TK5F4T3BQ77aj5tKnfaQvJr13g8vjNqAKfWIJr+U3h8I611B1YN1Hss9P2DRwG7NvvZDkakt1z1FsoTtvbihBM6wULDKSIoxwn1DNTpmHpcNiYVmv741dOKWj9v530vqM7+x1lpoVae78f0qmNNuA4YxRkff6H4WwU/xvGsgOFg19pztv1vB3Sw9VS2QiL/TtG12+vBiARTMY7duCHYAt3otjAhLl8ewGpseTM8AvD2LwFMBGBUy3pir4bkGI/yAN44IDV41OGpDG/hZiDS/0bPpcFkk6SIJfe3O06Xx2cendu2aDj1nQyWBTcSDSAeV18VOPfEQOqNQUhTVjPbl+1bKh8wVsYIKgSFO9cOg/x9Uj2KXL2G/2nbXoJ3LlFZV7NiINv4tM78gYm1UIYeZWAEFuvmw7gdBybDydQVLi+KWJROeoL92ow3lTy5wa2rT0SQWjGBHEKdvW9X5QwYJiNRus55qh9fPPAimDmT2gtdBQrG2dBDOs9D87jLkIs15nz1MM0MBk5P727Ox12OMIh/icn+6eF98k6O4XVj1MF6cb7U58CD1J15d5hf7OK85LJYNHWvFC0gB0ASrx8K+f/3obGZ/q/k79DmfC6u40WfZq+qtrueGi/nZ5RlRl3HWGAoqHwVbj2n/piHoWfEl0UVSssCEMcU2ZOGKJLzeqdVrRL+zjEipLOzbRXl4RC+uJ9Smy0CsYMKiKM119BMdPHUeeDOsEojriOz0v81k/nbC2qdlv+iEBTmM4eT90HaVlWDTio4iK+aw== X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-lj1-f179.google.com;PTR:mail-lj1-f179.google.com;CAT:NONE;SFS:(13230031)(82310400014)(35950700004)(32650700005)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 2272c4b8-cfbb-493f-3719-08dc385d0519 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: 28 Feb 2024 20:00:16.6343 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: xEkYo/nVP8sv9753WD9IFxrE7KCC0JbMbs59a+YdYaBwbRRrzbgeUa82XqY4uLQVy67RoquTtgakqplamghkE2zid+TG8MqyMyUTHYt7eKf/F+2pv9nPNHJhIiHIl8T/hcoH4r2UgutKOepdGJ5Qd1UNdlLhT4d5bHt8lpXOObnQ9R4U+LCU3tUaeG9jIwdO X-MS-Exchange-Transport-CrossTenantHeadersStamped: SYBPR01MB5823 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?ZzlJTEtEenJLOGhnVWcyM2JJcDJKWW80a2tyMXc4VHRqTTh0eFI5SklGU25u?= =?utf-8?B?dFBCQm9nTDdEZC90N2hsRVNWNCtMTWJKWHQzVWkvYytVNnpaZlBqdUp4RmRJ?= =?utf-8?B?WUwzUW50eFRMdk5BWFRBZkpwRlVZMVByTlNXWDkvcURTWERKdzNHd1lRNDhL?= =?utf-8?B?N1U4THE4MmhsMTdvTVNBU0xpVWw2cU9jcGUrRHRQdlZvdVJzUnBQNzcwZjRz?= =?utf-8?B?YjBjU2hjUEU2NHl2RWkzMFpOeEZzYnlvNFVrWSthYmg1ZGQ5STd5YUxaQkFx?= =?utf-8?B?d2gyQUxza3FQd3lhcDhVWE85OXBVWmozR2xrZkszd2NvU1hkWmJnbUIxNjF5?= =?utf-8?B?ZEorckJIMlBkSm9DRUowVXZBZ0UrZ3lpVXVqamVwUEdsZGhxeUNTYVlQcXE2?= =?utf-8?B?Vk1FT0lqRTk4WGxyb2k0UVpIbjdnNXRpTTlqNHMvSHdvVUJzM2o5Z2FnOFJz?= =?utf-8?B?VzRjODRzOHpkYkNJVzdLM1k1RmpTRTBFanhDL2QzU3UzMWxyT0lTYzh3NGJF?= =?utf-8?B?aTl5UTRpS25WeWQ1OVlMRHdiN2ZtY2xpNFBOUnJWQ3dSTlVyU0JFeGU4N1Nl?= =?utf-8?B?ZkovL0NJN2NIWVAySVB6Zkw2WVJUT2dsM0o1TWxZZmhmSDNRTXdyOGZodDky?= =?utf-8?B?Y2YvN0xMSll0TVRIVC85Y1ZrZ2ZHL2dEanRCSm9FN3FFSDR5akdYeXBiTEJX?= =?utf-8?B?Q1RMMkprUVlhYjk5RmcvdzdSbGJHY1hnejhGMTFDeGgxZkRGbEkzOUR1L3Ru?= =?utf-8?B?a1BIZWVGMm14V255cHcxZlZFMGhQNkMrSVNJMUFycTdpVjhXejVaVVBJblph?= =?utf-8?B?NnZMTDdnOW5IL1dGYUsybkZpd296QjJ2amRXb2NNWTBoQVkxNEhCc3RDeHB5?= =?utf-8?B?ZkRxNHEyRTQ2NnArMWJvYlYyL1g3ZTl6c1dUT2xkT2lUQXc0VGZtRzFDb1po?= =?utf-8?B?akxGOElHWUdYVWRPU1U0cHZ6RDlVVHBZbHlkZVNieWxVcGs5VEhNUjBTd2Nr?= =?utf-8?B?bXVTLzNsVk1hYW1VZFI2VEEwTUgyeUZUSkVnSmRlNWkxbmpPWlgrU0FZZk1z?= =?utf-8?B?U01PcnJxUHNHclZ4WW1zc3FxbGNSR0pvU3RiK3VCR1ltSE92U0JDYXJTZDN4?= =?utf-8?B?ZGxtbU51N1VoTWFTbVFSc3YzQ2psT2xCbXBQVjM5VnFGcmpqcy9jNFcvZHpw?= =?utf-8?B?anF6VmFWeCtBWGE5M245U1dwQm9IWUE2ZWlMNmpVUXBiOVBhUFNVczJ0VDU4?= =?utf-8?B?RzBRVjlqSmFBalhMek05Zk1LWXREMXAxby9BYUJicVE0R2tyRWNjSjVGRjFF?= =?utf-8?B?d1hjMHRSWFhHM3hacVJHSWNDSWxvb0k4cGNqUnBWZTdmaXpFekV6eEhLKzU0?= =?utf-8?B?ellneHhTSittYzlEd1o3cjJnaGNOZThCTjIybkpJVUUyNVpBNVVVdWZOalRX?= =?utf-8?B?ZkN4Mkc3eWMyRGd3ekozY0IwRm9MVTlUWnNHTC8wOWxIK2E1ejFDT1RsYjRS?= =?utf-8?B?bDNWcStHOUFKbWlYY3Q0VFNWSU8xSTFXenBhbnY1dTQ4eG5wZzd0WFRod0FV?= =?utf-8?B?MWc1Ym5ZdzJ5RnJ0YTcxQ1kyZ1B0Y09WRFVyelhIYmhsQlBjbjBIQ1pXY3pi?= =?utf-8?B?UlMzcWZxb0hUN2NjUTgrN0NhbUd1enBhZXBaUHEwVjh1NDF3ekJ6aXZkR0tG?= =?utf-8?B?MlljaG1CaGlESGdINUp6aHRkeTQ0cXI5NjNtcVBzbGdWMWxEc0pzekFXR2NZ?= =?utf-8?B?QmdCTUNvZzdqb1hNQlJlRTluck02Q3NPTGJueTlnT2ZqWHVhT3Zhc01YVWd4?= =?utf-8?B?ZjBSMFFkTTAvNEt6LzAvWVRqUDhxeml2K2MyV1BsMTd6bUhFYjBqTml4Q2tH?= =?utf-8?B?b3hreXlRZ1hrMG9VdENYSkxDTEgyeVFxY3QyeE0zTjRFY09kREtqemVKNnVC?= =?utf-8?Q?ybm0uiDp8AInuTcMH6KQUeKr3eWHTBii?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12402282358530261 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Dear all, the logic group at GU are hosting this year=E2=80=99s Logic Colloquium (the= Annual European Summer Meeting of the Association for Symbolic Logic). App= ended to this message is the new call for submissions. In summary: + Registration is now open (early registration deadline: 17 April) + Contributed talks deadline is extended to 8 March + Student travel grants deadline is *tomorrow* + Scientific programme is available. We look forward to see you here! ANNOUNCEMENT: Registration open Contributed talks deadline extended Student travel grants deadline approaching Scientific Programme available Logic Colloquium 2024 Gothenburg, Sweden 24-28 June 2024 web: lc2024.se contact: info@lc2024.se The Logic Colloquium is the European Summer Meeting of the Association for = Symbolic Logic, an annual gathering to present current research in all aspe= cts of logic. In 2024, the meeting will be held 24-28 June at the Universit= y of Gothenburg in Sweden. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D IMPORTANT DATES =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D 29 February 2024: Deadline for ASL student travel applications 1 March (extended to 8 March): Deadline for contributed talks 28 March: Notification of student travel grants 2 April: Notification of acceptance of contributed talks 17 April: Early registration deadline 24-28 June: Conference =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Scientific Programme =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D The 2024 meeting will comprise 28 invited talks. In addition, the 2024 G=C3= =B6del Lecture will be delivered at the meeting. Programme available from h= ttps://lc2024.se/program/ Tutorials =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D - Anuj Dawar, University of Cambridge: Model theory of tame classes of fini= te structures - Alberto Marcone, Universit=C3=A0 Di Udine: WQOs and BQOs in logic - Andrei Sipo=C8=99, University of Bucharest: An exploration of proof minin= g Plenary talks =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D - Daisuke Bekki, Ochanomizu University: From Dependent Types to Natural Lan= guage Semantics - Johanna Franklin, Hofstra University: Structural highness notions - James Freitag, University of Illinois at Chicago: When any three solution= s are independent - Marianna Girlando, University of Amsterdam: A decision algorithm for intu= itionistic S4 - Stephen Jackson, University of North Texas: Recent advances in the combin= atorics of determinacy models - Leszek Ko=C5=82odziejczyk, University of Warsaw: Models of arithmetic tha= t satisfy more collection than induction - Paul-Andr=C3=A9 Melli=C3=A8s, Universit=C3=A9 Paris Denis Diderot: Recent= advances in higher-order automata and profinite lambda-calculus G=C3=B6del Lecture =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Thomas Scanlon, University of California at Berkeley Special Sessions =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Applied Model Theory, chairs: Gareth Jones and Tamara Servi - Vincent Bagayoko, Universit=C3=A9 Paris Cit=C3=A9 - Anna Dmitrieva, University of East Anglia - Adele Padgett, McMaster University Computable Structures, chairs: Uri Andrews and Julia Knight - Meng-Che (Turbo) Ho, California State University - Matthew Harrison-Trainor, University of Illinois - David Gonzalez, University of California, Berkeley Logic, Language and Computation, chairs: Robin Cooper and Stergios Chatziky= riakidis - Kristina Liefke, Ruhr-University, Bochum - Zhaohui Luo, Royal Holloway, University of London - Peter Sutton, Universitat Pompeu Fabra, Barcelona Logic in Philosophy, chairs: Volker Halbach and Heinrich Wansing - Agata Ciabattoni, Technische Universit=C3=A4t Wien - Andrzej Indrzejczak, University of =C5=81=C3=B3d=C5=BA - Johannes Stern, University of Bristol Proof Theory, chairs: Anton Freund and Sonia Marin - Valentin Blot, ENS Paris-Saclay - Lukas Melgaard, University of Birmingham - Takako Nemoto, Tohuku University Set Theory, chairs: Dana Barto=C5=A1ov=C3=A1 and Slawomir Solecki - Tam=C3=A1s K=C3=A1tay, E=C3=B6tv=C3=B6s Lor=C3=A1nd University, Budapest - Claudio Agostini, Technische Universit=C3=A4t Wien - Chris Lambie-Hanson, Czech Academy of Sciences =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Contributed Talks =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D The programme committee invites proposals for contributed talks. These can = be on published or unpublished work, as well as work in progress. Instructi= ons for submission will be made available through the conference webpage. Abstracts for contributed talks should conform to the Rules for Abstracts o= f the ASL and papers must be prepared using ASL template and class which is= from the conference webpages https://lc2024.se/contributed_talks/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Programme Committee =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Bahareh Afshari (Gothenburg, Sweden) Gal Binyamini (Jerusalem, Israel) Natasha Dobrinen (Notre Dame, USA) Ulrich Kohlenbach (Darmstadt, Germany)(chair) Keng Meng Ng (Singapore) Francesca Poggiolesi (Paris, France) Mehrnoosh Sadrazadeh (London, UK) Reed Solomon (Connecticut, USA) Szymon Toru=C5=84czyk (Warsaw, Poland) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Venue =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D All lectures and talks will take place in Humanisten Building, Renstr=C3=B6= msgatan 6, 41255 G=C3=B6teborg. This is a new and stylish building with all= rooms integrated with conference equipment. The venue is 5 minutes from a = large transport interchange (Korsv=C3=A4gen) and 15 walk to the centre of G= othenburg. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Registration =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Early registration closes on 17 April. Please follow the instructions on th= e homepage. 3500 SEK Standard 2500 SEK Student =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D ASL Student travel award =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Graduate students and recent PhDs may apply for ASL travel support. Student= travel award applications (with accompanying recommendation letters) shoul= d be emailed to info@lc2024.se no later than February 29, 2024. See the web= page for full instructions. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Local organising committee =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Bahareh Afshari (chair), Giacomo Barlucchi, Rasmus Blanck, Gianluca Curzi, = Fredrik Engstr=C3=B6m, Tjeerd Fokkens, Mattias Granberg Olsson, Martin Kas= =C3=A5, Graham E. Leigh, Ivan Di Liberti, Orvar Lorimer Olsson, Dominik Weh= r =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Sponsors =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Association for Symbolic Logic The Royal Society of Arts and Sciences in Gothenburg Knut and Alice Wallenberg Foundation Department of Philosophy, Linguistics and Theory of Science, University of = Gothenburg Centre for Linguistic Theory and Studies in Probability, University of Goth= enburg =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Best, Ivan. =E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2= =80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94 Ivan Di Liberti Postdoc G=C3=B6teborgs universitet https://diliberti.github.io 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 --MCBoundary=_12402282358530261 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 Dear all,

the logic group at GU are hosting this year=E2=80=99s Logic Colloquium (the= Annual European Summer Meeting of the Association for Symbolic Logic). App= ended to this message is the new call for submissions. In summary:

+ Registration is now open (early registration deadline: 17 April)
+ Contributed talks deadline is extended to 8 March
+ Student travel grants deadline is *tomorrow*
+ Scientific programme is available.

We look forward to see you here!

ANNOUNCEMENT:

Registration open
Contributed talks deadline extended
Student travel grants deadline approaching
Scientific Programme available

Logic Colloquium 2024
Gothenburg, Sweden
24-28 June 2024
web: lc2024.se
contact: info@lc2024.se

The Logic Colloquium is the European Summer Meeting of the Association for = Symbolic Logic, an annual gathering to present current research in all aspe= cts of logic. In 2024, the meeting will be held 24-28 June at the Universit= y of Gothenburg in Sweden.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
IMPORTANT DATES
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
29 February 2024: Deadline for ASL student travel applications
1 March (extended to 8 March): Deadline for contributed talks
28 March: Notification of student travel grants
2 April: Notification of acceptance of contributed talks
17 April: Early registration deadline
24-28 June: Conference

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Scientific Programme
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
The 2024 meeting will comprise 28 invited talks. In addition, the 2024 G=C3= =B6del Lecture will be delivered at the meeting. Programme available from https://lc2024.se/program/

Tutorials
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
- Anuj Dawar, University of Cambridge: Model theory of tame classes of fini= te structures
- Alberto Marcone, Universit=C3=A0 Di Udine: WQOs and BQOs in logic
- Andrei Sipo=C8=99, University of Bucharest: An exploration of proof minin= g

Plenary talks
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
- Daisuke Bekki, Ochanomizu University: From Dependent Types to Natural Lan= guage Semantics
- Johanna Franklin, Hofstra University: Structural highness notions
- James Freitag, University of Illinois at Chicago: When any three solution= s are independent
- Marianna Girlando, University of Amsterdam: A decision algorithm for intu= itionistic S4
- Stephen Jackson, University of North Texas: Recent advances in the combin= atorics of determinacy models
- Leszek Ko=C5=82odziejczyk, University of Warsaw: Models of arithmetic tha= t satisfy more collection than induction
- Paul-Andr=C3=A9 Melli=C3=A8s, Universit=C3=A9 Paris Denis Diderot: Recent= advances in higher-order automata and profinite lambda-calculus

G=C3=B6del Lecture
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Thomas Scanlon, University of California at Berkeley

Special Sessions
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Applied Model Theory, chairs: Gareth Jones and Tamara Servi
- Vincent Bagayoko, Universit=C3=A9 Paris Cit=C3=A9
- Anna Dmitrieva, University of East Anglia
- Adele Padgett, McMaster University

Computable Structures, chairs: Uri Andrews and Julia Knight
- Meng-Che (Turbo) Ho, California State University
- Matthew Harrison-Trainor, University of Illinois
- David Gonzalez, University of California, Berkeley

Logic, Language and Computation, chairs: Robin Cooper and Stergios Chatziky= riakidis
- Kristina Liefke, Ruhr-University, Bochum
- Zhaohui Luo, Royal Holloway, University of London
- Peter Sutton, Universitat Pompeu Fabra, Barcelona

Logic in Philosophy, chairs: Volker Halbach and Heinrich Wansing
- Agata Ciabattoni, Technische Universit=C3=A4t Wien
- Andrzej Indrzejczak, University of =C5=81=C3=B3d=C5=BA
- Johannes Stern, University of Bristol

Proof Theory, chairs: Anton Freund and Sonia Marin
- Valentin Blot, ENS Paris-Saclay
- Lukas Melgaard, University of Birmingham
- Takako Nemoto, Tohuku University

Set Theory, chairs: Dana Barto=C5=A1ov=C3=A1 and Slawomir Solecki
- Tam=C3=A1s K=C3=A1tay, E=C3=B6tv=C3=B6s Lor=C3=A1nd University, Budapest<= br> - Claudio Agostini, Technische Universit=C3=A4t Wien
- Chris Lambie-Hanson, Czech Academy of Sciences

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Contributed Talks
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
The programme committee invites proposals for contributed talks. These can = be on published or unpublished work, as well as work in progress. Instructi= ons for submission will be made available through the conference webpage.
Abstracts for contributed talks should conform to the Rules for Abstracts o= f the ASL and papers must be prepared using ASL template and class which is= from the conference webpages https://lc2024.se/contributed_talks/

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Programme Committee
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Bahareh Afshari (Gothenburg, Sweden)
Gal Binyamini (Jerusalem, Israel)
Natasha Dobrinen (Notre Dame, USA)
Ulrich Kohlenbach (Darmstadt, Germany)(chair)
Keng Meng Ng (Singapore)
Francesca Poggiolesi (Paris, France)
Mehrnoosh Sadrazadeh (London, UK)
Reed Solomon (Connecticut, USA)
Szymon Toru=C5=84czyk (Warsaw, Poland)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Venue
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
All lectures and talks will take place in Humanisten Building, Renstr=C3=B6= msgatan 6, 41255 G=C3=B6teborg. This is a new and stylish building with all= rooms integrated with conference equipment. The venue is 5 minutes from a = large transport interchange (Korsv=C3=A4gen) and 15 walk to the centre of Gothenburg.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Registration
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Early registration closes on 17 April. Please follow the instructions on th= e homepage.

3500 SEK Standard
2500 SEK Student

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
ASL Student travel award
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Graduate students and recent PhDs may apply for ASL travel support. Student= travel award applications (with accompanying recommendation letters) shoul= d be emailed to info@lc2024.se no later than February 29, 2024. See the web= page for full instructions.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Local organising committee
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Bahareh Afshari (chair), Giacomo Barlucchi, Rasmus Blanck, Gianluca Curzi, = Fredrik Engstr=C3=B6m, Tjeerd Fokkens, Mattias Granberg Olsson, Martin Kas= =C3=A5, Graham E. Leigh, Ivan Di Liberti, Orvar Lorimer Olsson, Dominik Weh= r

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Sponsors
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Association for Symbolic Logic
The Royal Society of Arts and Sciences in Gothenburg
Knut and Alice Wallenberg Foundation
Department of Philosophy, Linguistics and Theory of Science, University of = Gothenburg
Centre for Linguistic Theory and Studies in Probability, University of Goth= enburg
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D


Best,
Ivan.

=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2= =80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94
Ivan Di Liberti
Postdoc
G=C3=B6teborgs universitet
https://diliberti.github.io
 
 
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
 
--MCBoundary=_12402282358530261--