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=-1.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 2567 invoked from network); 18 Sep 2023 15:59:27 -0000 Received: from mail-wm1-x340.google.com (2a00:1450:4864:20::340) by inbox.vuxu.org with ESMTPUTF8; 18 Sep 2023 15:59:27 -0000 Received: by mail-wm1-x340.google.com with SMTP id 5b1f17b1804b1-3f41a04a297sf36596405e9.3 for ; Mon, 18 Sep 2023 08:59:27 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1695052766; cv=pass; d=google.com; s=arc-20160816; b=m4Sz0L/L0zzz/eXMg6ImHB8+IjCt6MZpaBBhzX/3FamiOIYcbAAtb+i6lxwN7B80L/ YaY30P2FVZBnLzpi7zy8exJgb6zoqKnrgQvhOP8F4h6BYUA5Awp/GN27IAVU8EUaJSGy eQXwgsoL/nn/vFec0KFC4+DpewQsgjxGkBymOxvN2lnSSCJ1wKNIKsiVbGocB1TFUpUJ 2EHbStXCPa1SfJaLbLlOhQgGJrk1Htfi+dpqTAQimoD44ZzeOwhF8ZaGO8miNPzRvp2S UbK1N0JKPfW/qDJNPDbaHvV4roiRGUE/SHdpzbbejQUMVr+FYNuYvLvzIEUSH9x9Q2F2 E6PQ== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:mime-version :content-transfer-encoding:content-id:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:dkim-signature; bh=6JIJZ7sd1WGtuFuK+POD3mzTWniJQe5wQzGwmTMjwsM=; fh=JWTBoCUuNTseP5glx8YrX/xlaYKdfB2cFsSYkrmxO2w=; b=rkKA6DpU8xzUUCRPsTOgBrWK+fOVbKUv7rG/hax1QIx8rnTB9ZdbCMdP5y5ey5qTKu cZxlbgTkZ8YFPvRVJccVRGgEkVEHe5zDx7W2YwZykKdsOqwUVDMt/LyFdVhpEAHhqEE+ Rkelo76IBW//khXBeIBI7x6cxBTbXikN3JhyLBy0o9pvUpkk9Ed2h+Ymj5NSuaxjuzJf OvomHQFwgUAHBSEsAoJaiVa3myZKeb4weRsYujTM1Qr9WNJ4wzSS10bBaK+rcnbkB86L 45AJi28F50O0efl+aHwOJmkBzl2u2ubNEP6M91AIYsywUvZPElDYrRcSXFZbhsknrR/B P7bQ== ARC-Authentication-Results: i=3; gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=cs.ox.ac.uk dkim=pass dkdomain=cs.ox.ac.uk dmarc=pass fromdomain=cs.ox.ac.uk); spf=pass (google.com: domain of sam.staton@cs.ox.ac.uk designates 163.1.2.170 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1695052766; x=1695657566; darn=inbox.vuxu.org; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:mime-version:content-transfer-encoding:content-id :content-language:accept-language:message-id:date:thread-index :thread-topic:subject:to:from:sender:from:to:cc:subject:date :message-id:reply-to; bh=6JIJZ7sd1WGtuFuK+POD3mzTWniJQe5wQzGwmTMjwsM=; b=wfxj5BSXwcKv55JTxVTvJZf/ktMLQf+SGlzmwaDVaHslAgn+srJcQrg+jamWedQWce phujqq18yiEgjoxrpmKoGx2NrRPj6m7UnohxPpEJRrU+sIlBk9lO2cJqJ30bhIxzc9tb y7+keS8OO/kdB3raAh2DOSDOpqSczXECdrzNZEz785e2wiU3Humc6hvKTOtozvLXayeS dVgGUr4P1gOmvaZz2IaHd+Ea3osBkPwjNs1owWBUxX+MbgTqDAOQttpD0GICWImC1DeM GlMQJGmyAkB0BKEobLg2iSaIvooX1/xaZJtHwP15kfhBwRGUr1ZDgmQdgWt4R6XDnEkN iQAg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1695052766; x=1695657566; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:mime-version :content-transfer-encoding:content-id:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:x-beenthere:x-gm-message-state:sender:from:to:cc:subject :date:message-id:reply-to; bh=6JIJZ7sd1WGtuFuK+POD3mzTWniJQe5wQzGwmTMjwsM=; b=etDuhK2PPUqdm7Ztkj4P71+gT2fQg899aInp86Mcw1exeYNBIzk55AuQw3L1TwKeHv 3L9el41bgXr9jJYF3Xij7g+lqu2YvxCgpYUKIaYFmPa3gTPxo/1HeoB2SsXXV/xBMJiS M98+fVeO2UUZBiGSOroADrChEkaR4r13Y/JHkLR9HV8SVIx11kjtkixkeFsAc4EzBg+R Bhhmg5jkw7RKpW1+EyQcUaLwkTzTbZ9JjuR15qyRsDUh6jqStlfWAWAvEFsvtUv8idn1 2Ec8EF3hr6rEGbGJEHRk4apbzGP/HygYDS4AdQ8Z6KYGGMaSPc29gtcIKSXV6gbT2vLK 5NAQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0Yy7qdrn1Vku5pUuGvU1hWnqtAaJ0N9Y+aI9zzAYQaVhC3Q+oO9j SeFeUDjQEgaEXqHG/s68KaA= X-Google-Smtp-Source: AGHT+IF8H+BpPChS4c9funRQwwpvHYOVfXaVVOWs5HEhWJR5m1EwA7jQLDMoe8trVFc8BRbMpuTPbQ== X-Received: by 2002:a1c:4b19:0:b0:402:f500:fcee with SMTP id y25-20020a1c4b19000000b00402f500fceemr8464055wma.0.1695052765171; Mon, 18 Sep 2023 08:59:25 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:600c:5194:b0:3fe:e8cf:2cdd with SMTP id fa20-20020a05600c519400b003fee8cf2cddls759195wmb.2.-pod-prod-03-eu; Mon, 18 Sep 2023 08:59:22 -0700 (PDT) X-Received: by 2002:a05:600c:3645:b0:402:ea83:45cf with SMTP id y5-20020a05600c364500b00402ea8345cfmr8723717wmq.2.1695052762445; Mon, 18 Sep 2023 08:59:22 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1695052762; cv=pass; d=google.com; s=arc-20160816; b=vJPFJEjBb++VMyApSktyZMR9yawB88RPxbQxdx7bfgZOnxIme/PiZAkeS4a0P+7O6+ D4i30Hy5lGs4jmPVZPslckfcKvEirBLz2UJQsr24XL57rPdO0aP8+6y/dB2q6+FBeJZ1 InLn1Y2DiXtf/r8Q6iEEmNC3ZumOd4ecnjhg1lR2B1NsVtQa9PSb35+960CrmcS6xWvF DT6uaVhX8fq8cvdh/8GkoO1hnpLgogX9wcJWzazQtg4wLltBkrnWqnf43J+sMYH8/H7h 0ewSRjDZsj/WPIUgDA+y6IdMbPBpQKUVVkIqPfhCRLxC34BUYeK/j2sqZRP9sYZ0X42c kySg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:content-id:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from; bh=hiWCXrqbao/3XOqR4liA3+yFTYCPxZTrqyNYdjkICgo=; fh=JWTBoCUuNTseP5glx8YrX/xlaYKdfB2cFsSYkrmxO2w=; b=cQsxHO1bZVb9h5mlE5kJgz6/NjULiOMQMRjUX/wrsCvg1HtdecOQZGAu8zI9G5DbNu 23V/LaWuVJxo0v7rwi6b5YeCUsZ566e1AePh9WRwlWccEaHw27cXcrbfqbqfgz8PsEHj OQrbF9tza1JuOWBO1Qd4j/ACw/ENyP9bXxGnNAlLvpk06UtZR23Fwta3XqJaqd9abzi6 Gdb+yhUpVXR0f+Lt476LkWzqjtrG0ENr1uWghlKI/dHCnnVaGPh4zyWS+q/NrsNdMr8N xnLkIGaX9O0IVJjCDUiLsTU1pEx7F42CJCxnAhzVNIqbLAzh/xIQCJ0TwKPgnjWhluI3 zu7w== ARC-Authentication-Results: i=2; gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=cs.ox.ac.uk dkim=pass dkdomain=cs.ox.ac.uk dmarc=pass fromdomain=cs.ox.ac.uk); spf=pass (google.com: domain of sam.staton@cs.ox.ac.uk designates 163.1.2.170 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk Received: from relay20.mail.ox.ac.uk (relay20.mail.ox.ac.uk. [163.1.2.170]) by gmr-mx.google.com with ESMTPS id e12-20020adfa44c000000b0031acfc2c473si1270570wra.3.2023.09.18.08.59.22 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 18 Sep 2023 08:59:22 -0700 (PDT) Received-SPF: pass (google.com: domain of sam.staton@cs.ox.ac.uk designates 163.1.2.170 as permitted sender) client-ip=163.1.2.170; Received: from hub04.nexus.ox.ac.uk ([163.1.154.215] helo=Hub04.ad.oak.ox.ac.uk) by relay20.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.92) (envelope-from ) id 1qiGeg-0007yN-Db; Mon, 18 Sep 2023 16:59:22 +0100 Received: from GBR01-LO2-obe.outbound.protection.outlook.com (104.47.21.57) by smtp.nexus.ox.ac.uk (163.1.154.215) with Microsoft SMTP Server (TLS) id 14.3.498.0; Mon, 18 Sep 2023 16:59:18 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=isXYR+H/E+zfmooAZYuU0/I/1wplwJ8wAUeXEUFG5Tb+IX2siE5RO3fHyH9ME01T7znwlJ/GBr8TvWDS6chuIHc+tCe8oio+XCX3m1sp9G8DwrhBrtQSpuN5qoDdNimVvcqpYhtPxCpzm4COo6aF4DcLfCpDFy233qxYwD1M9TXHgqIiCqjlUTXYZJHB8AlhfxqkdaGKkc7O2lBlbjpxd6VNJpn83EUhVasxrjjkShe5Vp8AMMP3b8wJ7l9E8vIGRvNxUviyOXYo82DuU+kf+yjRVSIu5sEfENHJHulrNYS7qb4uyPHMqeNEAm10+0+nENYjk+I2lftuT5RlsygqAA== 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=hiWCXrqbao/3XOqR4liA3+yFTYCPxZTrqyNYdjkICgo=; b=M0op7Hw3KK8K1GN/2IBZXHZ21SojEmiiTIuN2BGrS0bOsnsNuZ1tq6zOKA0FAhW+JSXjmvWMnMAZI9cKgCdG0z7OfdQMmYWCJk2NNGOULsFGsnY855z6P6dVVblzm/TwpAsWObMtSwRawfr4pFnshCB2rm88GylfwzXJemDwBSwNACUDx3IbeucMCt8s+vKC3wSpSNEU9tvZXOKbcqaS2F+i5JSOT1QRFKcvOpiEnnbDTixUzRB9L3pK+8VfYN/w0oyLu4TFuL7RvY8pez3Bz9mZ77dGcSqi6XNjKXdLrRKjgPlyJNgVn7F4KXUvzmka31kc4mc8LwbAVPcNHuup/Q== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.ox.ac.uk; dmarc=pass action=none header.from=cs.ox.ac.uk; dkim=pass header.d=cs.ox.ac.uk; arc=none Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:1ed::10) by CWLP265MB6832.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:1fe::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6792.27; Mon, 18 Sep 2023 15:59:16 +0000 Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::aef2:e0cc:3e9:7a13]) by LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::aef2:e0cc:3e9:7a13%4]) with mapi id 15.20.6792.026; Mon, 18 Sep 2023 15:59:16 +0000 From: Sam Staton To: "categories@mta.ca" , "GAMES@lists.rwth-aachen.de" , "theorem-provers@ai.mit.edu" , "concurrency@listserver.tue.nl" , "finite-model-theory@lists.rwth-aachen.de" , "asl@vassar.edu" , "agda@lists.chalmers.se" , "appsem@lists.tcs.ifi.lmu.de" , "lfcs-interest@inf.ed.ac.uk" , "cade@itu.dk" , "prog-lang@diku.dk" , "linear@cs.stanford.edu" , "DMANET@zpr.uni-koeln.de" , "homotopytypetheory@googlegroups.com" , "rewriting@ens-lyon.fr" , "types-announce@lists.seas.upenn.edu" , "coq-club@inria.fr" , "agda@lists.chalmers.se" , "ProofTheory@lists.bath.ac.uk" , "las-lics@lists.tu-berlin.de" Subject: [HoTT] LICS 2024 Call for Papers Thread-Topic: LICS 2024 Call for Papers Thread-Index: AQHZ6kkTkfTAN52pLUyiSba0F100PA== Date: Mon, 18 Sep 2023 15:59:16 +0000 Message-ID: <7F4C772A-66C9-4BAD-BC61-B14143030525@cs.ox.ac.uk> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3696.120.41.1.4) x-ms-publictraffictype: Email x-ms-traffictypediagnostic: LO2P265MB4182:EE_|CWLP265MB6832:EE_ x-ms-office365-filtering-correlation-id: 6cafb553-dabc-4b4d-1dac-08dbb8603634 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: 1gNItDl1bRBGu5GrVojz7d0Ug9HHPN640vTGRlRjG9q7vVk/FvU+24E82jqhDpQ61HusO+aZ2nebwwnyqpuFFTb+GkrFqPh1rRTpgW/eDJx2dK7l4ZEwnkbD3N6jORYUxOKJLytZt7TwPC05B1+jsZ6XU4sEfoTh5MP/41bMnkTQzA+rFO//OnWgl6C7jGT3SY8WToFfp1JeICNiVuKJQmkRGOM1DjhmCEG7Dw0xW6oEPDzqxzO6S4a5tSwRJa5ZiP2BG8vHIUf0BCS49iKm6pmKXiJhFvByDlDFFoiPDvV2uJOqEhS3YULtZJGPLoXAERFrji4I3HwfHXf+j3jvXUBntmGnKboDx3aCTopCDLVUc/ifCU4WpCfkV5hJFw/czMBV+uyxH59S7TWBqudonpRkWBGoGUHE2MFcDljtjh7EG5kW/u3+2hVCZ57RTKZZ8n45KQkEAySTC8FDR3uRMxHmOOZIXezIaXEpIdXvhZUB0rY2X3Iat1Da+UeJLF/i6p3QwqIZm4apkoIt5PX/XRdkakIo25CM7YIQBUdmNFXOd+bZSRorquZe/svzuVAcJxJyPcW7TWTBRYAoV8wSCv51JNGTbNQsNrtwMycyrJgOCXXhtXHNjVpTyXukPfv4HsvGkGzAqddRlvYEatC+x61e3RSc+WRjEtSF+ILUeTbHvtqyql4kjROddshX0a0b x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(136003)(366004)(396003)(376002)(346002)(39860400002)(186009)(1800799009)(451199024)(66899024)(6512007)(38070700005)(2906002)(5660300002)(33656002)(76116006)(8936002)(41300700001)(316002)(296002)(8676002)(7416002)(786003)(44832011)(64756008)(66946007)(66446008)(66476007)(66556008)(2616005)(478600001)(110136005)(6486002)(71200400001)(6506007)(38100700002)(122000001)(921005)(83380400001)(966005)(86362001)(225293002)(45980500001);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?uK+ExPYyi0pBcMvUSkWcAtYxULyb2nVV9GgFvtNuVgv0G2dprBds5AL4/Jc/?= =?us-ascii?Q?4gIIUVCufcw7w0YwnO5m3CW5uBjOi/M+I8n1ySD3O+4hCGMsTrgazpB7Bv9L?= =?us-ascii?Q?BpClX+bkYXk7+iWEClqku3LB4prPeR0FfHy/92Te3fGaMFKr54HhrIT9DF9d?= =?us-ascii?Q?Lgzl174iD+qsKOzl1SIL5Z8/UFYqg3PprNNCjj6nSzscs/VYSB4ZRaoPVpNx?= =?us-ascii?Q?1ADHlT2swTSnJjKtxi79EzCxs1XNqjcmWTLGhsnwpIvCM/PZr6HO1opDEGvq?= =?us-ascii?Q?njHtoJw+LYx7x/fV01NAtAP5hnh2pKH2at3o8nblpv5IUgyLvQYX/daWnpW9?= =?us-ascii?Q?gBlf1SelHqgIVhAwMVtGQcIKkVeAN1cMHe+NJ2mfCh29U/y91bGf1dRa+Zwk?= =?us-ascii?Q?phStWgyTKN53m6YNB2oIVnBUTGVCVLPduhyymHVu+bX3xSVLAvG9LskTMRuD?= =?us-ascii?Q?Yh7m5qsHyx+n77q1BSSzolXcif6CjRwU+MleDSnNHa1bRQ86kA+z65uEY3eE?= =?us-ascii?Q?wNvPHbXBCFvWMJj81WR8qA0SD0Y5uZZlS/od6X44u07wOBE1pOfJ+LsCYAvo?= =?us-ascii?Q?D0zv81DEFxZMS8XQdJjeOqcl/wztyW2T9frPomfq7hsmENk1uNsVezWI6VQX?= =?us-ascii?Q?Iyro3RjUyBjV67cV0rW5mma+jpgXZw/uWaKKfb+iv3O3rWxQqpW8Bl5xM6H2?= =?us-ascii?Q?MOwLETnhCNqsulTwgOMzYmtRErEkLJzGDGw2aesMqf1FuwIjdu3g3S64GoH7?= =?us-ascii?Q?WodLSeke1VVUYq4lQTwIJgg5JKuPdI4iWcZo0gRiZ4DdPsm1juVO7AeYHlUS?= =?us-ascii?Q?GUj0FBzSdVWnMRDPeSM6wtBsvnMW7sDpq0YuR5Ff6Hf5xKa4M7bn3AuKVr9J?= =?us-ascii?Q?IZ5a/tBBdZqWaCkeHMXjWKj4Cj0x79QID2p+1pwPTxPa99dOvqatM34jGOZR?= =?us-ascii?Q?yEnhzh/7J3HfJ93BDPhXMzcpNdmEOLMTroiY0TIZFvY4PiGshbqP38g7AJMO?= =?us-ascii?Q?9Nlw6/qlLjKG76qP8GG6cdS6Y1eRo15rC/trthkQTV1BH3iZMcRc/5qmdDsU?= =?us-ascii?Q?+ifOjcdmWxj5OMl88SGUFOfF27MmBUQ97ZLV0K5CX0H2jZd/ejRVJDjNsYYV?= =?us-ascii?Q?3hQ3WfdY3D01yyd2QtDwYwXW+dDuiwPECWsbqf+aKRVc5c4XIt+1pWVB27gx?= =?us-ascii?Q?g591UUeBdn3FnObTp2SvXHkd+dHYI+lq1eg2bQK+hnpSNj+kfXS7LHEeelPi?= =?us-ascii?Q?S7cN+WdQjrVEW/NXjB62HCJs+GHLEoYgL6t64OnBxGb2f3wpPq4qlAtC/Oe6?= =?us-ascii?Q?fcmTVcKL9gqJERysKtKv6ZJxTMy2vRN3QHyIlYHRskCpWZ6Gl5HHOWJ0omjq?= =?us-ascii?Q?N+eG1otMVlMVLHMYbCpJlYhMGOguZLHgQ62bU4w4OZgWuR5xeRu8vnWOmSdm?= =?us-ascii?Q?bz8+MGwMZlONv3s1MHwTU47petd3b56FZF8MCG6IvFq7Q0lOc2d8u6LpBeQB?= =?us-ascii?Q?89SpxzVxdFZ2WNzqYJnShD6JG8MPUvu8MdKvLPTgllRMjzlCj9D2W4MsERwh?= =?us-ascii?Q?GUvE2ZI4Vtq7Wn5qaBfcoOkCQkyvjLxn1hCaE6uqfp1rj4uWmMVllk1R+CWH?= =?us-ascii?Q?N5ZMsJ+kdWitrujoCstGMduTYIyeMlgeN8H0BWmc02Rt?= Content-Type: text/plain; charset="UTF-8" Content-ID: <036FFE587D3216438D258E43D4B41452@GBRP265.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 6cafb553-dabc-4b4d-1dac-08dbb8603634 X-MS-Exchange-CrossTenant-originalarrivaltime: 18 Sep 2023 15:59:16.8392 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: cc95de1b-97f5-4f93-b4ba-fe68b852cf91 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: PYz2qvDLU7VclYakmnzkgCisYrVAD3dH7D5V3PldGa8o22CTwD27XrMouDa0Fq7QLGomO2C5RaK3APwjtRN1pw== X-MS-Exchange-Transport-CrossTenantHeadersStamped: CWLP265MB6832 X-OriginatorOrg: cs.ox.ac.uk X-Original-Sender: sam.staton@cs.ox.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=cs.ox.ac.uk dkim=pass dkdomain=cs.ox.ac.uk dmarc=pass fromdomain=cs.ox.ac.uk); spf=pass (google.com: domain of sam.staton@cs.ox.ac.uk designates 163.1.2.170 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , CALL FOR PAPERS Thirty-Ninth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) Tallinn, July 2024 https://lics.siglog.org/lics24 SCOPE The LICS Symposium is an annual international forum on theoretical and prac= tical topics in computer science that relate to logic, broadly construed. W= e invite submissions on topics that fit under that rubric. Suggested, but n= ot exclusive, topics of interest include: automata theory, automated deduct= ion, categorical models and logics, concurrency and distributed computation= , constraint programming, constructive mathematics, database theory, decisi= on procedures, description logics, domain theory, finite model theory, form= al aspects of program analysis, formal methods, foundations of computabilit= y, foundations of probabilistic, real-time and hybrid systems, games and lo= gic, higher-order logic, knowledge representation and reasoning, lambda and= combinatory calculi, linear logic, logic programming, logical aspects of A= I, logical aspects of bioinformatics, logical aspects of computational comp= lexity, logical aspects of quantum computation, logical frameworks, logics = of programs, modal and temporal logics, model checking, process calculi, pr= ogramming language semantics, proof theory, reasoning about security and pr= ivacy, rewriting, type systems, type theory, and verification. IMPORTANT DATES FOR PAPERS Authors are required to submit a paper title and a short abstract of about = 100 words in advance of submitting the extended abstract of the paper. The = exact deadline time on these dates is anywhere on earth (AoE). Titles and Short Abstracts Due: 21 January 2024 Full Papers Due: 26 January 2024 Author Feedback/Rebuttal Period: 18-23 March 2024 Author Notification: 15 April 2024 Conference: 8-12 July 2024. Submission deadlines are firm; late submissions will not be considered. All= submissions will be electronic via easychair. PAPER SUBMISSION INSTRUCTIONS Submissions should use ACM SIGCONF Proceedings 2-column 10pt format and may= be at most 12 pages, excluding references. Latex style files and further s= ubmission information is at https://lics.siglog.org/lics24/cfp.php.=20 LICS 2024 will use a lightweight double-blind reviewing process. Please see= the website for further details and requirements from the double-blind pro= cess. The official publication date may differ from the first day of the conferen= ce. The official publication date may affect the deadline for any patent fi= lings related to published work. We will clarify the official publication d= ate in due course. --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/7F4C772A-66C9-4BAD-BC61-B14143030525%40cs.ox.ac.uk.