From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,URIBL_CSS_A autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 13560 invoked from network); 31 Oct 2022 17:20:27 -0000 Received: from mail-lj1-x23c.google.com (2a00:1450:4864:20::23c) by inbox.vuxu.org with ESMTPUTF8; 31 Oct 2022 17:20:27 -0000 Received: by mail-lj1-x23c.google.com with SMTP id q5-20020a2e84c5000000b0025ec9ff93c8sf5004282ljh.15 for ; Mon, 31 Oct 2022 10:20:27 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1667236826; cv=pass; d=google.com; s=arc-20160816; b=JSrN8GWz9W/i8mYbpTY3t4HFYIDawjD8A3lDFHoEA5kUn3WZN8d0aJB73hVgyu69pg VlelGwJKYiLntlKA2RSJ4OSVz6WpvHrTl5oZDYbBR40G5Ba/5BBhl4Vub1JB2FCiFDZG vGRMiy9q9SuanMO3qiaysUqnXw2Py8uW/1aRSqGThjS9LZbC2A7qIgHnJAYAc8WwUQBB 3cAsQCX17yxf23PBy6n2Lzav94jHcOVYiV/7ofnY0y13bVsfUtGcfXh0jLkWSh8YH9bz rhEQCr6L1cHESieW9ZnUhffWu0vXo4Uovyy90HlZdMS27u/75EM2SBMxTOtUXb4OXIfV 24Xg== 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=7OvnhttwbHHqvg1zDUxLMoJq5qXx2FyFEkgkeOJsCQI=; b=HMD44LPMj3m5FQ6Owy8YrvHfV/o+wOnKSx7MbBPYLX8GPn01Rz+caorXHvojn8tgtH /VPmYQlg/nvBKM+sGrJw+O92AnJK10jqEPprHk/F2Ig3w6Pi6wpaPI/bh4qbg19cHsnq Nzn5Syuwx1fkGH5VahM+k3DKzl7m64+dugAML88dvTfmwhp6fLBp8mTjHRdf3lin5inN jT9AgSQaoV7tNWR96XyzXgx/+xH1Hy+GkyVKP9BOlCMXv3hWZJIFjtiCO0FSY+DdGq0e vMO3WocFG981wfeGD6UrFqJZC6EkwfMYrwKPPcbkuQ+6jF/aBe4UYdZkpMa5r/6c8/ne 4DMw== 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 129.67.1.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=20210112; 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=7OvnhttwbHHqvg1zDUxLMoJq5qXx2FyFEkgkeOJsCQI=; b=i2wJK/lOV9FRlBtLrtAhGV5DmFO3rT6DguufhhgNQdyuI9bSMK3r7471psejec2AeR Zt0D6pvyY1uze6d5Xy+Hh+/Ihm9KsJ2RDfkLTAALmhGM22NP/h8tAFIh4LJp9dAdpSDF 7vA2LUPrY7DCTf3YhgLHgqc8idhWFnAV/t7ZtXBwt28r3wfLwKxtV7TLhkQE40pXIUr5 shP7hH4nPR4zfMfFRZUAZMHe3QsbvUVC4/TntvO0hnRIKx9WFfWM9Di/qGEOHcGEqIvQ 1HxI85KT6D84xQDV9JV5HpL+CJai3BZHXpjkzkY5qetzIzTU5wbuky6POmyM1J0VI5TT hgtw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; 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-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=7OvnhttwbHHqvg1zDUxLMoJq5qXx2FyFEkgkeOJsCQI=; b=l7QWPP52j9ZTnoXPvBneLbjhB15UcQhQUdFVt2shhJSbQM4VRqsJdxD7jxCtWybIRY 6ZKFJEszS5UbxsIsFmychbCOQPNTe5+ahNMc4ksRjgmzH+XOA0NxAWlrjJI6nedlMdrL JngLF/izTNdgL9UtST1hj9j/XrtPNbq4MBDiRgbWYHyDWrdQRgAzThfjZeSzeLBEQdMg Hv4rYDIgSksO0HCmodG2TvTgG5H4FBtPuLh7d80BrQf6y16peFgy843wghAT5/ZSCKzA cy5jMKeKRYhEiJZmPm9OhxYwAxekXAsgAULoLOlvday1ggDllW3K3dfNSTUgQ9CqN/9Z GoOQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ACrzQf2fItU1CjqmKUumh3AHf+azfKEo7C6w9i8nQSJ3Bbo1OHwnwfGH kdN1DF+xpW3I2xkP0ULm1Ns= X-Google-Smtp-Source: AMsMyM4BTyEcFo8jrqfCzZjAOt5WHPAwsEInKJ8NOjcOd/G8H2WHM7OkDBAnDTGnU1i6l/hpSmmBsw== X-Received: by 2002:a05:651c:b1f:b0:277:3c85:3c35 with SMTP id b31-20020a05651c0b1f00b002773c853c35mr5570632ljr.382.1667236826491; Mon, 31 Oct 2022 10:20:26 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6512:3245:b0:494:6c7d:cf65 with SMTP id c5-20020a056512324500b004946c7dcf65ls927605lfr.2.-pod-prod-gmail; Mon, 31 Oct 2022 10:20:24 -0700 (PDT) X-Received: by 2002:a19:640a:0:b0:4ac:3f59:2959 with SMTP id y10-20020a19640a000000b004ac3f592959mr6333400lfb.274.1667236824315; Mon, 31 Oct 2022 10:20:24 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1667236824; cv=pass; d=google.com; s=arc-20160816; b=yY7vmX46ryWQolH/CgW7gCyIGY0xQ/eklgKSbj8D8RKI0EMbZj/D215AFfWmaFHXD3 wqVRcWYYAX6e6fzP63ueq7l9V8dO+kaagPw2mUzjrPuGw5zdTGEMRIuy3BoVFLckFpOP 6gUx2Wcplm4kx9uYmLWtqZ+BI5bhr7aeHAmXS8Hm8AuPnDsOoYbx8SLZ3VzM+zDpzHRD GdYeTGzujEwJbta5nu4heSydtjSwlwmiFUOWiJaokgnxFaQrZ9mmxGXy1CgFds6zgZSU 6osfBjfodzrQXbswrq7n7Yh8EFHvHaIUbkhEBpuUHL+LsFrZbFC8yAJCDYryxzsOwzxZ qBlg== 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=TJE5tqhgxXaIww2lUSg3AMrijxoCy34XqYAFPTUGNBU=; b=hDR1L/JrtufxggPZkEy9WB0FTDXNGfPGdLgDMKKy12/NqM5E4kSI91r8WjyXlAEHAe 76NgWQcRW9IDT3kdDIDHgDX9inMYGm4tYMwicu4rNtnJXTSY9cVdIHgNN1hTWji7eB6j zlTMSrImaaXqFb39YlSHkPh/7z15/7anc+UkavFfMZ5cJKFP8E1f406TE3uu5jHk2gpP iN8rjflvbPqwylWxO6wgq+zgLLyucrnGzg7xhIKNwUdAduGm47bkaa0aj/XekaFoX334 whBLhyLM8IvJ6CJPPnp30ne8tdDhwE51SzbWq5uDTdZ0pBX6YPAkHdtL5izU7MVSxqiA cxvA== 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 129.67.1.170 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk Received: from relay19.mail.ox.ac.uk (relay19.mail.ox.ac.uk. [129.67.1.170]) by gmr-mx.google.com with ESMTPS id u9-20020a05651220c900b0048b38f379d7si196285lfr.0.2022.10.31.10.20.24 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 31 Oct 2022 10:20:24 -0700 (PDT) Received-SPF: pass (google.com: domain of sam.staton@cs.ox.ac.uk designates 129.67.1.170 as permitted sender) client-ip=129.67.1.170; Received: from hub04.nexus.ox.ac.uk ([163.1.154.215] helo=Hub04.ad.oak.ox.ac.uk) by relay19.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.92) (envelope-from ) id 1opYST-00040a-A0; Mon, 31 Oct 2022 17:20:21 +0000 Received: from GBR01-CWL-obe.outbound.protection.outlook.com (104.47.20.53) by smtp.nexus.ox.ac.uk (163.1.154.215) with Microsoft SMTP Server (TLS) id 14.3.498.0; Mon, 31 Oct 2022 17:20:17 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Si3oRpzzbNCEqO6UeNN1xDTr769z5o38PQclW5w/EyF9bhqOvRwG3vJCVTOkd5uFOcnF3aKd8Acw4ZRJ3lI2bDTPAv0G3nMKuVsblUoTHce8piW+be5BfBBgzcCaT8w3JhK+TL6H5bZ9iJsLG0iIn7cU8ziHRUOpq3gsndGXZ50cBE7aApcNM5zU1zo7d71XbqimZrfvBDkuSuz+K2okZk7TiJyeyMqkJQ2uAg9+BZsopSl9oBw/zySd6by9wUw0RdwVpKrVrABKH/C1jQf22o/i7Moqu/jXyaLIuuwtWjQCZIPmKs7lXeui2Uyo19eroEpBkPw6pbC7TJYN0sTYZA== 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=TJE5tqhgxXaIww2lUSg3AMrijxoCy34XqYAFPTUGNBU=; b=kRUTvsSba+LnMVr9xnr5mPS+2SmHl3quQ/KXGLNe/FoNjFMrwpLfSVRa5LSM+E9SuEuKxDPAuwrPAnTSl98KsdOEqm9TJk0oyisydgG/EWYR5FojpixoeM0IoI4OOiYVB+RD7AMJXCpLViXXlJzC6kdnx2Ap5unQxN6RiuvYROphchw8jeboVinX7NjDJhyY+egF+Od2A+59ocvHzLAxv5ESSQVjK87PP04NbOZkciy+IMHGEF+y8Yjb9bk6tWHB9Vg6zSjNpQNXsm0uk9wlFgroOScxBcp3v1jgJAHQx3OXHP5iEjEY/I1u82SFjZxE9kN55KBrp7KGBEXBd+fSYA== 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 CWLP265MB6019.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:1d0::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5769.19; Mon, 31 Oct 2022 17:20:16 +0000 Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::aa7d:88ae:d4b6:72a3]) by LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::aa7d:88ae:d4b6:72a3%7]) with mapi id 15.20.5769.019; Mon, 31 Oct 2022 17:20: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" , "fom@cs.nyu.edu" , "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" Subject: [HoTT] LICS 2023 Call for Papers and Call for Workshop Proposals Thread-Topic: LICS 2023 Call for Papers and Call for Workshop Proposals Thread-Index: AQHY7U0L+SKI/uKapUOSpRu6yiNjjA== Date: Mon, 31 Oct 2022 17:20:16 +0000 Message-ID: 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.1) x-ms-publictraffictype: Email x-ms-traffictypediagnostic: LO2P265MB4182:EE_|CWLP265MB6019:EE_ x-ms-office365-filtering-correlation-id: 2bffc0f0-bf49-4dd1-f7e4-08dabb642d85 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: 1G336+YBhyAKgaCQbqOkrTVFDdM+6ZvzGgicmZ5MnxSru1sd51bvtkNMicRiTG+A8Rty7L4jQYB5IgSgEGAErzseU/9E0ObaXLlMNRSJNf77a6vu7uzQcX7flKMilRC3IyDTxLgqgSwjT46Mj87gKK6q/izX4EyZiya/YyN3LlmTSoCmtur3bjckErS0wy8BL67gTS1Iu3ag3nqLu9fwnH4GimxKV/3oKGn1FV4/sXWYx2R9ZIrHh5qySaodaJtl+G9dkfghwLIEF5rXxa8rOt4y/Vd1uXH8LC4XnHpVX87JkBIwSRVUarH5FG+0Km6D9PJqWR47rycf03AcT7HzcUp7M3TWPDiuEI4TRHiPy/OgCDsJ64EzMlU1gQ9hr/3M5qhZDN16jv/bJ4o+00tWPwT4YvIdfQT7uJrrXMwUU3OlPwGna6JqD4XYqxjqsKxa0ObxkiOJuyFE5pLK6Qs2sXhtjU4BYa8GF0F0G0xXBvRtAq29HgOoUqNc+EJYCjknIxspD4Kbg8BGDkqUhYTIBtyc54Ylp5ulD3cxfG1vfq9F15H3fTOs8lGwXPiNr3Dgeyb4whpLf0oRGI3+rdu+kr4lTf+b0kpeNcLSIMAnGtD+V5Kbb/nN6sVRSkZY4QT6Wj0dU1F1eL+XbBw/UKw3oMCBsqi9yyLLCtj14haW+71WRTbUp4INc38iD/FQYWCs63AK/e4NW+Pi001NrndBBgRuczy72T5fF2oa9pfqbNYXQ3ORjm7kOof4F4vGmwlNiX7Z3U2w2u1istobNJhqyBRq7LYbTXxRLGTM5QbTkcPvWM6Y38/YR2oX3mNxAKTnDcEfnk7ZeLDTxOGSzxoN7kgdfPs9nQr2Rl9eixkttcz684BzvfT5Q3Ki6CQT1mSR 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:(13230022)(39860400002)(366004)(346002)(376002)(136003)(396003)(451199015)(2616005)(6512007)(478600001)(6506007)(83380400001)(186003)(44832011)(2906002)(41320700001)(110136005)(786003)(71200400001)(966005)(296002)(6486002)(7416002)(8936002)(64756008)(8676002)(41300700001)(66446008)(66476007)(66556008)(66946007)(76116006)(5660300002)(316002)(66899015)(86362001)(33656002)(38100700002)(122000001)(38070700005)(921005)(225293002)(45980500001);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?6lqjXf1TauOviycRnrDa3k2XB8bAlFa6axoAzXRKMnX338rKcd+bQINJiNz9?= =?us-ascii?Q?Da6EAF9BXDIQPqBxeFrjLqRCZj6f6yI0MXGQ/vsThKu9XmUIwM4YbgYqOrc7?= =?us-ascii?Q?cyDIcruDmVYDY0LFDGB54vgsDaJ1JK+0x1qush8Kg+ph1CZSWy7xocNmrgA4?= =?us-ascii?Q?FvBWGYsq04jk+kYqz1RHwKZ1/1ksOtw5iZ7f8npPOw0Lqj7kUdgrVJkeexfZ?= =?us-ascii?Q?a9YtDzjoHJafCnz+gqr8OmDg8HPjjqjnYQxfeivGBrsGeuI53oCD5nbfF7Wd?= =?us-ascii?Q?cex0Zq+wV+Ec/NgUJwkrJAmpOuauF/geSIhQDl4G8iwL5suz0fDImukEEcl0?= =?us-ascii?Q?RJ5gwFUpoI+QHXO2hIR40aNkMHWKNyOR8/SCgByTpQhyaEUszggQPyirHcPg?= =?us-ascii?Q?LPamYe203eN7fd6diiByCPHggcUHL2pksl+aIPH/mQmeaFMihFrM5xAQ0ym4?= =?us-ascii?Q?w3iXGeGQ3DmsEFui2BNUQCXe19MImkCMxVlC2a9L8XnSry00gwSjH/AtQ9Nb?= =?us-ascii?Q?2hKxeJONExcUWoCzI3W8OETbAHn3OZYHhvx1bcH83yAo2j+Z8kZUlHDDChtL?= =?us-ascii?Q?YcLt/dd/NlQ6Wzcabyonqnob55NyyqQ6XViTmC39wCJncBaUrMKm8lpoV7Hn?= =?us-ascii?Q?BtORceehkm0t6TrDPDKZCXJUS6dBjShliCEL0yN4l6DHqSfD1UaqKKBTB9bm?= =?us-ascii?Q?VfSu27b4W5zfCoSHJshI/cv7hiS21e9S3bNYDyd+SZ9N4KGGoirpFhBIClk8?= =?us-ascii?Q?l1F6jgaE/8TgcIMYkIrygFPFmEm22RCwY59Lw01VBvAkBIzCRnuLfhyoe229?= =?us-ascii?Q?mm/yEzzp25uz7W5gHVS+zI6PEsCve92x+fehOit6LTamgbVWBZ5o/fXAnHuo?= =?us-ascii?Q?TW2pZp+6MiksF5NWix+ji0mBT3QF7VZ4iEKFbHYyFPgTC/C88D6nQzxFbGJx?= =?us-ascii?Q?7KvSVdTgE1Ni0ynR0B6vEr/nSM+4R5WSgRbFDxDlMkJ97/3LWVTVTaulJpAr?= =?us-ascii?Q?92jSpB6ZuuAXRYY9eKB6luF9m29lO+1DbFrTQtu6MlfseOROELOyeYTSKfiz?= =?us-ascii?Q?f29PEmM49Adcsn3iAemmSu+bwPWn1YxNTlgHKRRtMeSs2vdxMa343vCwWNPV?= =?us-ascii?Q?VBNMXR84cpTX9nnJ3kUKXYK/oVMXGQ8B0rha/Ce+SVkivVxjraD3EehtTdqN?= =?us-ascii?Q?YumL+oUm0/cWvXUWcYLPv+qF24OfggmXTK/jUk5OmgukAoxFuZjpTNiymJci?= =?us-ascii?Q?XrGSc5Mi0NOrFp2JbzTbH7kA4HmT6Mbo5Yzud8TVuVhqt6WN6ffAyA8EnB7R?= =?us-ascii?Q?n54cYTAqOfTV4JQqbrc1xcijsgVrOgeTkrZCk1qb5Ks/qHnNcASh0ZV2qWOX?= =?us-ascii?Q?EOCEy85+CtHv218r0PyOsJ0i13T/jfS7ViWqcKSL49erva6/h7AKI/imUSLZ?= =?us-ascii?Q?y7Z/i0DaXNL62Vlvq2NQJnC6nd0XEBI1oNlfSS08fssmuPA2hxKYOw3oPBI+?= =?us-ascii?Q?ZQnV/JqIzsNDBvKirMmlhbUFAZ/OzchvDJqAmDXkOxaPEtmfyK+3VrNLhjlj?= =?us-ascii?Q?KZcCVajhmRP7LVgReBK7Qcx+WH8sJojDMSJIYB9ob1rH0aVp6FISGqgYL0Da?= =?us-ascii?Q?qeCYjPRn5ejKPSKtJrlEhsu2UyTHMjODxI9cjS+/9e5j?= Content-Type: text/plain; charset="UTF-8" Content-ID: <83EBC2DC03DDFF44BBB3AEBC2542BC68@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: 2bffc0f0-bf49-4dd1-f7e4-08dabb642d85 X-MS-Exchange-CrossTenant-originalarrivaltime: 31 Oct 2022 17:20:16.0912 (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: BLOmDgblQyDwQ832D5rjUPwQDTZh/xouKRMnUcfPKiwwRekbAZUhWtsYl2rcSxSBxUSYpjE4v17KvOudTrXvfg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: CWLP265MB6019 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 129.67.1.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 and WORKSHOP PROPOSALS. Here is both a call for papers (18/23 Jan) and a call for workshop proposal= s (30 Nov) for LICS 2023 (June 2023).=20 Thirty-Eighth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) Boston, June 2023 https://lics.siglog.org/lics23 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 given by anywhere on earth (AoE). Titles and Short Abstracts Due: 18 January 2023 Full Papers Due: 23 January 2023 Author Feedback/Rebuttal Period: 15-19 March 2023 Author Notification: 5 April 2023 Conference: 26-29 June 2023.=20 Submission deadlines are firm; late submissions will not be considered. All= submissions will be electronic via easychair. PAPER SUBMISSION INSTRUCTIONS Every full paper must be submitted in the IEEE Proceedings 2-column 10pt fo= rmat and may be at most 12 pages, excluding references. Latex style files a= nd further submission information is at https://lics.siglog.org/lics23/cfp.= php.=20 LICS 2023 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. -- LICS 2023 Call for Workshop Proposals Researchers and practitioners are invited to submit proposals for workshops= on topics relating logic -- broadly construed -- to computer science or re= lated fields. Typically, LICS workshops feature a number of invited speaker= s and a number of contributed presentations. LICS workshops do not usually = produce formal proceedings. However, in the past there have been special is= sues of journals based in part on certain LICS workshops. Proposals should include: - A short scientific summary and justification of the proposed topic. This should include a discussion of the particular benefits of the topic to the LICS community. - Potential invited speakers. - Procedures for selecting participants and papers. - Plans for dissemination (for example, special issues of journals). - The proposed duration, which is one or two days. - A discussion of the proposed format and agenda. - Expected number of participants, providing data on previous years if the workshop has already been organised in the past. Proposals should be sent to Valentin Blot: lics23-workshops at valentinblot= .org IMPORTANT DATES FOR WORKSHOP PROPOSALS - Submission deadline: November 30, 2022 - Notification: mid-December, 2022 - Program of the workshops ready: May 24, 2023 - Workshops: June 24-25, 2023 - LICS conference: June 26-29, 2023 The workshops selection committee consists of the LICS Workshops Chair, the= LICS General Chair, the LICS PC Chair and the LICS Conference Chair. --=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/C89F0494-ECFD-477D-9550-99ED2E9DF1ED%40cs.ox.ac.uk.