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,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 19079 invoked from network); 22 Dec 2023 20:08:26 -0000 Received: from mail-lf1-x139.google.com (2a00:1450:4864:20::139) by inbox.vuxu.org with ESMTPUTF8; 22 Dec 2023 20:08:26 -0000 Received: by mail-lf1-x139.google.com with SMTP id 2adb3069b0e04-50e58b37aebsf1999563e87.1 for ; Fri, 22 Dec 2023 12:08:26 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1703275705; cv=pass; d=google.com; s=arc-20160816; b=G797XnnkjA3Eob3IHoVR8KgkWbPvhIG2b2PbFwvVlb2N0gbZXdz5NK/L2E5D0bZCOL 7SfYpmNjShANQs9Ik0rY+qEMR46z6FhfmagDgQ/6GBd/WTVMUyj3k2pHveL6Yxo0O7bv 2NJjQVweA6oCQCdfq51bL/zVkzJXWRySuteYjnIGPDQZv+/u8mtiEGdRKOyU2zZx2o2t /VcobJEGwqs80YWHHzpebIWduhlw+rlqM9hScCyUF+KmsuRLPW/+0kf3PSz9vb/+LAIy WEMxjJKN6VqznaVOlZ9RY9IzGDS704CTG0VuyK9Qr0vm3cuQmTzHvco4Osz2632+WBSO 180A== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe: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=k0y8grxcW+k3e57gCt0BnSaydpg92es99j1I2jXb2wk=; fh=3Ym9f7wuISLb1x3fB7UFAuBdmVezHj32enpHypcmrC0=; b=hX6PML6K/sE0uP/1Vv42z5x5dUJO9+zfXseVgMthcBJKjddnmPCEWXtmEiZeMgRpKt iQZhckhESC+S8plg8weKs/MjllwNEhUbgx6LuDziDoYkMUkyqbRJ+v78Vt5tijDS4ZGS Aylcvdz6rfFmPVYZ/pvnZadjBXRnRvjHdvD3SOfIYsa6rCaE4wMLEY0Wrs6MSbVLMb93 rZZISLaBJzTk64MWgd0eCUO/C0Le4SgK4oYQ/3fAuz5kad/m8csWxeXFBZYrug9ftLgD Ztejmgx+p4H718PqvVL6qWclZkGb+ktw+gFxtOt1XLfqDvUAbBsQmfcvTVNg8JhRzIJq KMiw== 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.165 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=1703275705; x=1703880505; darn=inbox.vuxu.org; h=list-unsubscribe: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=k0y8grxcW+k3e57gCt0BnSaydpg92es99j1I2jXb2wk=; b=kApGRwSPfSOREMYYDHLploUauFO6Pi40HMmte4rlR/uzuv5LJURDJQZr5B1BdRnQVC qrUiAt0YVfF2LzKLoLL/M0IKGfuco09N+22bCVlVI3eJP/b63jyZ5/na+26rjt2S81Fl azND2Ame1rGypLE4l8d0YSfGdWehibTj5FPzmZ/m1cczyeGGnbWarHmZ4Oxuq3wxz5bZ Y4BIsfwbgAAIaSUsmlUcP6E+a3tHYB8xw7mQzHVUzsNMBEcAFO3HNfBaTtu8jrEcvTsS bD64cfZfDoiIpSbPACPQ2Wphn4tR5fnofS/1X1JgF9oKDiuU/d3QiYdFXoBDkwzdl5zG B/0A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703275705; x=1703880505; h=list-unsubscribe: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=k0y8grxcW+k3e57gCt0BnSaydpg92es99j1I2jXb2wk=; b=uhhGyUQgxlV+N5z9QnGHT4zPYdGoZB4yJ6hAc8Lbevx5g4SECFRIUvlhrIzTaZxIHH XRwiZT0k/pcqn1oFSRU+3/NW3NqQOunm8tPSiLFJkbh/abrYMxdP6ZbSpINMrSKKoalF x6EaduVcn6Ryu9m6Pkaf8npGCXuz3gB737wpf4qdLMZKFsdfMGGsW4NifpihzyUqp10B DrFo3J+dJs+ytoShnb7GfCUPc0f4t3IBTXFPMv+afnUslHQeqCZeC/QpY0ks7Im96BAE 7qTqoGqWrox7E4G0WRzjDvv4KosLUO4WwxCwXbAoN/NwG4wRJtvLQCyqlRyWoNhxxBeD UjKA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0Ywmy2Cd29a/bTRVSvsHwCZewgnRERnxSINNeRdYbh0jJIMfdT32 l69lHAVeA9EW3d5i/m8Mhoc= X-Google-Smtp-Source: AGHT+IGvX44hcghIRgZDKvqEkAldRB4mtXojp/MhDHgbyqGgzBy/aA90XBJpIIwDyHmCtiNBkAt1FQ== X-Received: by 2002:a05:6512:4009:b0:50e:6a31:130c with SMTP id br9-20020a056512400900b0050e6a31130cmr584784lfb.59.1703275703925; Fri, 22 Dec 2023 12:08:23 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6512:753:b0:50e:3cc6:f41f with SMTP id c19-20020a056512075300b0050e3cc6f41fls816215lfs.2.-pod-prod-08-eu; Fri, 22 Dec 2023 12:08:20 -0800 (PST) X-Received: by 2002:ac2:4d0a:0:b0:50e:4d3c:c4df with SMTP id r10-20020ac24d0a000000b0050e4d3cc4dfmr533962lfi.60.1703275700543; Fri, 22 Dec 2023 12:08:20 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1703275700; cv=pass; d=google.com; s=arc-20160816; b=Is+3t19OAOoOY1YGglqLDHV1mrJuflKUzBLfk6+YM064Jjg008m+JnEA44342XzdEy nLiEsEedpCFz+EKIMrhAcIHKD2ZsMSbBSgLkUsdKOiyMqCodEFpIgTXT2IiZs0v7dxwT G38Lz85f00xe4bYL44DRb0xJ4R5CnpYSbnTkumyGHRxkFTtUpTwXba9KmeN4ae/vb856 DhlaUbj/v/UPQTg73OkHSwXngKgLJyRoc01EiyyNRT3tzTW05YgUFq5Dar5ZiCw1RZww PwAjkxIak188eZbDnQJDMFpcNq5Vl70NOqocRnpW+OjU7Oj4wxKCDsW26XRimISHxpvk H6Tw== 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=X6eHiY6hw6oM3B6YzK84/mI22GbylXbCsHClAjFV4FE=; fh=3Ym9f7wuISLb1x3fB7UFAuBdmVezHj32enpHypcmrC0=; b=SuxLtak4Tx1B5W6+KrLVEK/TR3+wsejmoB374pTjr9tzOrfCYT8B8jtG4hkC+EPNnb 1gwzYYlK6/4MlGqYUfBJnH8RaoS8pcBvGyTbbLruVtO9BbM0Rznixfih/TbF/3UfBnaH KGLGc7PLv1vdhaZTpqfYyNbtvdr5Yg0cgNRSOnu90Rm9TE3KsLNfAOsr3JsE7TIJKGhT YKZNNA3OEzV7OK5VcsWhnZpI4iZewdEz5KEPJhMIjYb366BLF6/gveCb1tq2rPOg9Nc0 6CO9M/1XP5iwkELgFfSo287buZMK09P1WAmOvXcETnWH4v9Cb+2Vl2Z3q90gNnFjU34b YYJA== 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.165 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk Received: from relay18.mail.ox.ac.uk (relay18.mail.ox.ac.uk. [163.1.2.165]) by gmr-mx.google.com with ESMTPS id c6-20020ac25f66000000b0050e6bdb8f59si51983lfc.4.2023.12.22.12.08.20 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 22 Dec 2023 12:08:20 -0800 (PST) Received-SPF: pass (google.com: domain of sam.staton@cs.ox.ac.uk designates 163.1.2.165 as permitted sender) client-ip=163.1.2.165; Received: from ex2016-06.nexus.ox.ac.uk ([163.1.154.146] helo=Ex2016-06.ad.oak.ox.ac.uk) by relay18.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.92) (envelope-from ) id 1rGloh-0006uP-8u for homotopytypetheory@googlegroups.com; Fri, 22 Dec 2023 20:08:19 +0000 Received: from Ex2016-02.ad.oak.ox.ac.uk (2002:a301:9a8e::a301:9a8e) by Ex2016-06.ad.oak.ox.ac.uk (2002:a301:9a92::a301:9a92) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.2375.7; Fri, 22 Dec 2023 20:08:19 +0000 Received: from GBR01-LO4-obe.outbound.protection.outlook.com (104.47.85.105) by Ex2016-02.ad.oak.ox.ac.uk (163.1.154.142) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.2375.7 via Frontend Transport; Fri, 22 Dec 2023 20:08:18 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Y8RB3TwopHnMnChobrhjybZc07ihdZugfkDBt3bDMAJuS2VzcMB8BDcH7M37/0wqXC0rRJCrJDQUnGeFn1IujmHZIr6mlFyWQLA5lfk5Sv9/rDE/u7LxhfnAtyJ8ob8HC2oeUdMm9qKvagr+mMrNU3fqnIWayZTsu20v4QuhZTeSj6uoc6hlrKR8Cw0tRdcOtRwXlWg4XbBFC8n7sV/5lUNUFQxjA1Tf8SIYKxdXKxwVB9syiwOczh04TyULIhP+DNAPUP13ABuvRNiew9O/LzdtzQvBKLtWYv1llCN8CSt/Or/MkRKymfrf3KfjPBEuVdeSCH3MPEYPe8JNU1VX4g== 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=X6eHiY6hw6oM3B6YzK84/mI22GbylXbCsHClAjFV4FE=; b=Vl0Uj7ZD6XCZryxiS9y7/x4g1Orlyj7+3oZsqsnVfBLzVLvULy+sgL11o31ibX+JNoSj+RoiFmmK3orPhrqLnHEF+IxLkA0Z66DS9kYUcrFIYToYrwgR+Tugz4KrxIcWFukQ9Q2BBbYFm8qFGctkfGPwJYYk0HmShI4f8VyzBD2fS2auHUJomojL8yqoUfdRwfBUlSCaHJcUVsW1bztRstbqlJ87IXjTQYqbx1UOyzgJhA+fsErzsuaXpXeeFgdQuDF1BmcQZfNyW+ck/2Upx25QbG+ZaqSS+s0JY9hYEnBexoLHKTjRBL8eTkAZGSe044JmouRyJ8BbnSocRhVb6g== 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 CWXP265MB4186.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:135::6) by LO2P265MB5760.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:26b::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.21; Fri, 22 Dec 2023 20:08:18 +0000 Received: from CWXP265MB4186.GBRP265.PROD.OUTLOOK.COM ([fe80::5511:fe9e:afb1:d272]) by CWXP265MB4186.GBRP265.PROD.OUTLOOK.COM ([fe80::5511:fe9e:afb1:d272%3]) with mapi id 15.20.7113.022; Fri, 22 Dec 2023 20:08:18 +0000 From: Sam Staton To: "homotopytypetheory@googlegroups.com" Subject: [HoTT] LICS 2024 Second Call for Papers Thread-Topic: LICS 2024 Second Call for Papers Thread-Index: AQHaNRKaCluwxJkFn02FCnayX3iWuA== Date: Fri, 22 Dec 2023 20:08:18 +0000 Message-ID: <97F4CAE4-8490-4AE8-AA1B-E00BBE81F099@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: CWXP265MB4186:EE_|LO2P265MB5760:EE_ x-ms-office365-filtering-correlation-id: 8b36975b-6ad3-4474-49f5-08dc0329bd65 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: K7Q0MVzy5fDbWxpn1GyHKFg/gswT0ejCPcM6M17uWoL2RjZa1aOPr+GmnlDqqq7iS0IXDInPp/ZOZmQ6S94uPdRshZsFJd4xpt0pGDBa0SUCdMDOiSU3rw4ToncI1X2Htj6iuMKv5tUvbzDI+JvQ1nPLrNO6FyUZfjjPXbJ+EbCJnQK8FBpnwX4h9wP5z/OvfaYONxQzK3C5ctrb7Kg8mgYYllzO4WE7hNvFiDWi0HZMh70KWVUy/Pewkxi0oJZXCTCBvGaw8gH88CEAMsAlI9F24rhqLtQ1Gslei3+52x2O0xsza5ICFJfJbTzDj/zdSpUU1ChvKFJh23k/Kil4IUkjXM+jTvfJyLAlosHrzRCssRZk2ZXFFPtCHuVssrOPh5wmDAfg2vzT7iQxBLo12XJ6oqvPjS1qv0NBOksXg6tVTvJmo0HV34DG1MApXi1teBRnWECDc09ifqn3x4t5OW5/E3Yl1zFb4d4cMal4JbP3EHpUr3VMRsSDXf5qKUxu1/88AuZLnz0lTNGZuHVUqvA0eeqGsT0T5+S2NEGx4sHxfjNOE4LcaDipwO1byqzdmRJ3LY5Mw2Nsm80/m4QlbJDaFuf+naFLG7wfXQ0Sk4toR4j+JiHhCvC5YLK09h71z+YQCbTRXZRbqByn5xSo6bcsoKzf643WeenDhtNEHds= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:CWXP265MB4186.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(376002)(396003)(136003)(346002)(366004)(39860400002)(230922051799003)(186009)(1800799012)(451199024)(64100799003)(64756008)(66446008)(6916009)(66556008)(66476007)(83380400001)(91956017)(76116006)(316002)(66946007)(786003)(33656002)(38070700009)(2616005)(71200400001)(6486002)(8936002)(4743002)(478600001)(966005)(8676002)(44832011)(2906002)(5660300002)(66899024)(6506007)(6512007)(38100700002)(41300700001)(122000001)(86362001)(225293002)(45980500001);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?Fx9oZmQL0kzNm+imGEPJZeyuKVMqay7QX+3upMutWuZqIGRHhxP7U48hTmh0?= =?us-ascii?Q?huYzYHBFi2lniPY435IOHSEL1CeNzEBNCi/g1jwNPUlYJ86xwoBOxVIGV1Kw?= =?us-ascii?Q?UYe7R9wjlOI7PMdVBT6SHj47wsYMNCdWGYcgEDzaFlvxjQ4RytrRUtpK9QRk?= =?us-ascii?Q?3xD0zndl8f4jxsPpsRPJJd49ejvJjx8n2uF7lOj3U1a2/v6GpB3G9uD4t4Vb?= =?us-ascii?Q?ZMH2npxz+WrekjgMwey1w9mTdI0bJBNCJvKZiMgjKvscC79W3oUhx2lE8Tzf?= =?us-ascii?Q?7eNYGo86VG8CM+6nmT8965Ctrm7n1DDF7RQl8o69aGMXkFuaTuaTEutq5fzL?= =?us-ascii?Q?LIu3axZaMRX71+IDd1DhxX0sMfF6dlEe7sAftmJmBk/7X9iUw41Q5v7KWjpi?= =?us-ascii?Q?SnYYqkIuKtCj1ILI7EKCKXadjLLBNbrq6VOSDqfTd7Xc060Z1oqmB8m8Ja+Y?= =?us-ascii?Q?Z8BHofPWQoop5HHv9XrI4g6Cn6GM2YX+fesqY9WIK0HEEcD/RjA4zXpgWwu9?= =?us-ascii?Q?gj+klqnrmcNJSnObnMjxptzqJg8wPhDFOiUE8c26bM9PqfEHgcYDCp8iqPpv?= =?us-ascii?Q?Y0rlOjuQwrdzw/FG6ZzSr50THqvEYTt9nP83I5/N/2ZwLMgzZj0ArGNxruDZ?= =?us-ascii?Q?jd2MVyU8AqRrpnHydcR2vUnjXUOA6XCJr6GEx6+bVhq/Su/nRZwQpZbqtf/5?= =?us-ascii?Q?Qyjz9Dmw6gSfEShY9L5eq/3D9w5kGKGBYSF1bvneM/1fdX8ReEPjCph6AF0X?= =?us-ascii?Q?eNIuA4q50y+TMFSyJSqlzy17A3u9jMtU+2mGU952fDG8bb+QMw0TRy9jWQG8?= =?us-ascii?Q?XcicAazLS5UbvjX4GuM045hD4LJdDxo3WmB/NECnJ/9ja2/cRf83d8wFMo4e?= =?us-ascii?Q?U07AflSjELOgbXLXgErAlF69JrAsofj7TMmWQv2Mf9p5Vkbx68tZF1QD1cMZ?= =?us-ascii?Q?cuZi0U40022IWhflOlZzdUB/096u9VwhFH6VU8Eg/gU6UOkT1PH0h0yzrhSp?= =?us-ascii?Q?J6F0wTxq50IMbi9d8XQqHMwF6jZOxJhNwj8tbkIZ6zvNvuC7n3ebRi9AVjoL?= =?us-ascii?Q?hLzNQz5ulGb3W3ayE2PPdlYRqyy7xeRYs439S4N17iI0V+DgRE8EVmFsyV/9?= =?us-ascii?Q?aWedEneMFT3mLrERjdUxgD8kv4dSywka0GqSqvD49kkOxd1Py6UQZMLnkhPH?= =?us-ascii?Q?YNjx6Y7VhqsvkYceTQWxn8OPCT3dMa2Sl/CS2fWtjVkdz9XEnXYmeKgC82wh?= =?us-ascii?Q?lN4EKFHdiMdU8nGL97dB4ccIt0mfGwRM5AaolFRpoxhRxigpFKfKxta0a3n8?= =?us-ascii?Q?rxPpqxeqTohKnjEfUqXbxQcsfVyA1ETKgCbMXGEmGdmXUzp7b10kE8aClEUA?= =?us-ascii?Q?tofcNLmjo+V+/RoU0LWdVSJk778iO3XtJHCRxg6J5JB3Qp06+4a5N844198f?= =?us-ascii?Q?djMjF8uqaslRB/scjzkGRzz1ji6KvtVSSyfFKlVUKI3ZRPHHRaMC5KjyOYXK?= =?us-ascii?Q?h3g1+zUD3X7e0OY2Qdr5yJPQ13wpxvKcWod1kAonvEPDPA1cH9oLi4bOVDXn?= =?us-ascii?Q?qXjPtW2pV64UP3x29E+f/eVvGZ1slPp29MLc+ZdynE9D9Ubt4/h7rmtqDusa?= =?us-ascii?Q?NEQCTm5he82Eic75toHtSXkRktpuNkdjft/B3XGXvLq5?= Content-Type: text/plain; charset="UTF-8" Content-ID: <343ED714BD4CE3489B76F89AFE931E36@GBRP265.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: CWXP265MB4186.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 8b36975b-6ad3-4474-49f5-08dc0329bd65 X-MS-Exchange-CrossTenant-originalarrivaltime: 22 Dec 2023 20:08:18.5460 (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: mLBPB3FOGfx4AuyeT23AHp3FqW5L8LreTgCkQz9C5YdItZfdYNtECOH8B2+MblBTwgL8gsVeXuDag+NWQu936A== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO2P265MB5760 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.165 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: , SECOND 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/97F4CAE4-8490-4AE8-AA1B-E00BBE81F099%40cs.ox.ac.uk.