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,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 7060 invoked from network); 8 Nov 2023 21:14:44 -0000 Received: from mail-ed1-x53a.google.com (2a00:1450:4864:20::53a) by inbox.vuxu.org with ESMTPUTF8; 8 Nov 2023 21:14:44 -0000 Received: by mail-ed1-x53a.google.com with SMTP id 4fb4d7f45d1cf-544c2881bf3sf57051a12.0 for ; Wed, 08 Nov 2023 13:14:44 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1699478083; cv=pass; d=google.com; s=arc-20160816; b=M69HVJCuwhG5ISGGZUzVT0/P5dMwqqIAUlUHmpySK7fN9v5qX+DRKLZrwa5jBoMszF A/sjWt0RgugbJylVXynPo4Xm39Mc5x8GUhcKnYYEkum5ORJlcLvwx5IjJN2CU9sTmbd+ xISsYsqHz6xcCOnjd8//t1mjCmtCOj+42ovBD268UEQYWGzJfzIxRYn5149O32Au5xvl 9Gk9ELfas6vsyc7Nn7s6+XXMCaUA2fqkNl+BnxKNmo+5Jx3jfhZvn8veZ7+ZYnsynrNS 7UDNPvS8gCmZvk6ws6F1bE/W7ypNZgVWCNN/fkzuXvIb1Syi/T9LMiZIszXjU7gO8UuQ g0Bg== 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-id :content-language:accept-language:message-id:date:thread-index :thread-topic:subject:to:from:sender:dkim-signature; bh=fMfFadRv3tYpNDfZGbxvZTiUM75yoPE+b0jxNjNj6n8=; fh=Vd0dY3d/ruxZQPX5UmsyNEMVaoFz/N6Butn4oPT3X/I=; b=kXcmJQGG8VY7ZZYVyfsBmthyxErRd8QcCR4iejXiz1jMM7NRSsTwzYnCe4RNrzSXQ8 r90PV2ZIkD7/9D8LXMkGef3IhanI/8d2ClcrpNLn6lOWq6zAWREBD5uH0Z6cMppYaJQh XfQip+BwmBCQxNCrgLE4lAmEnF7Vt0qB2Wq7ViwY3kdrnMFyVhbaDoVTS24KoCkzZCFL b5RyaDVW5FJtxKvhJypv8hgeAPjUg17QX/5DHeq1OeASwdsTcY96oCwYxEfJO3hlaqTP 8lJ7lCziF12uVCmDDxIm5EhkpMBLpLxrIykrwOD4K9mSM8rJIQncCYKhw/R/y8hiI72j xQZQ== 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.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=1699478083; x=1700082883; 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-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=fMfFadRv3tYpNDfZGbxvZTiUM75yoPE+b0jxNjNj6n8=; b=pkLJWHM+6da8BjKe0uGQyqI2dR1Ax2SdW/UK2Gjhh2zeLee9Chri+puw9HD00eaHTH g0twmVex+Ib9HpE3My+bPkJFKLycv+C70qgYcFF+wPjrL0Mu0xyJ9AGqxHilfGcCfUI/ CxeC20udjxcUkNZFZ08Vdr3NiZNmnd9Nl3qOCiQLSgN5DE+SG+I50/uWteEwaYHu9Pdv ZDazJ4FgBReqKORAa5mbIvqd6odJXRZoI7QFM7ILo7ZOGEGxba46XLzpItQqGTjDb13K KP+qbEFz8/syZd/o++KUF2yNvuhFncupDU4BjWw6ESDEzoyrzu6GAGAwKgjAztEcYw1G YHSw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1699478083; x=1700082883; 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-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=fMfFadRv3tYpNDfZGbxvZTiUM75yoPE+b0jxNjNj6n8=; b=F9xF7Cbra9tWZDVJRCAGBN3HjBFqrC1ZRe5oICrDm0x6C8aqHZYP+6rnU9WzI2BnZ/ rSf4JlqiRRVqdhtlmTsPRFURCp8ItUXQg0aK2PXIjwGf/H8jU223ByvE6q8Rs+Wn9ScA O+Byx0Y1BKBsjZr+70bmSEKHTbT+UsIJYzhX+HVnbf+NX6vmt/U6bWm7DG1qwkcvofJo fCsZ8Qh4vdW30NSufXECBI1zwMl14AJF6WsDs4tzWI+VZgC+o1HN75EgObm+B4af/pl0 3yzS4J7GDwygO7biZ/ZC9/uIZ0MzZd4poitBjwyB3alqkT83D3K3o4vkYuOvnxIfEq+0 lbyg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0YzDK5sMc+o+rf+y3AzTDUNt2uatptBa4qz4UlqE8iOwkUvmXFKl rYGxmDnzC8a5nITuPMc7BA0= X-Google-Smtp-Source: AGHT+IHzw3757r8gMwcCzYtkSpI31tmfl9XtqhpTfskUDIjHczX3Dzm6GaZ6Av0LHoz5czVaZbUS6w== X-Received: by 2002:a50:9e6c:0:b0:540:b524:5228 with SMTP id z99-20020a509e6c000000b00540b5245228mr2571311ede.33.1699478082752; Wed, 08 Nov 2023 13:14:42 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aa7:c757:0:b0:53d:b3c3:2123 with SMTP id c23-20020aa7c757000000b0053db3c32123ls82882eds.1.-pod-prod-07-eu; Wed, 08 Nov 2023 13:14:40 -0800 (PST) X-Received: by 2002:a17:907:2da2:b0:9bd:bbc1:1c65 with SMTP id gt34-20020a1709072da200b009bdbbc11c65mr2892355ejc.13.1699478079861; Wed, 08 Nov 2023 13:14:39 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1699478079; cv=pass; d=google.com; s=arc-20160816; b=UIAfWFOnbampWxxI2enRJqmEDwqk3lbPL78srkxrEFd6GksJCoBYSh0BqfA3Qgr3oK T2XbVOTWUpMn4utFPs/uSvLSNqmTC3f6zsIhP9sTwtorU/K92fqWGrGPFrjgDPuchOMh SnMTccqR2EgakwjOyH9ybFwsiFwqMKDT0VallUNXRmQRESmtpwJjTwAAq82KPGBzUBkt Nrp4i6NcyAcMd9Not/HRjbYA7l9mYxZwxMwn6q5+k0DzkOx+ybztsMWWXqt6jCDTNbT9 aRyjNYsrg2H4WHTRAsoedwlli4c8xkjJd7gD/E3RNZr+s3wLvH62r2ir0e4l4L0kEsyG knPQ== 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=/6qd8pEdh/zI0IPBdN1OQe1XaL+52gZJuGnOgDVHcBo=; fh=Vd0dY3d/ruxZQPX5UmsyNEMVaoFz/N6Butn4oPT3X/I=; b=k+OyOiG6pd5qSVtmbaKAGWpvgMRorjOSraXQV2Mtk1uz1zShUX0J0uc+MJM853hKur qs7zjOfVfO8fhlCT0MelGI/8oRZr+87hZP28e5Qb+9FyXZv+KPq/8mdJsOUOvq++NDZk J/7mz0SQLt6ZyxZjhMLUY9DlcopncTqtcUH71YHiGwho5eU4L562+9HiuHhm497hk8Vs /V0/R7tYVPFHIZnf7SlijIWOhOEsxVy0oy0ivth/BNW+xPKgX+LJ3davpBtRtg7xJTJn 53hBaD1Yx/5jP47In4rXOBXHr7Bug/3kj9MZlCPiTpdhAcxaOFtFYIeJqTAew0SKurnf tEMg== 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.165 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk Received: from relay17.mail.ox.ac.uk (relay17.mail.ox.ac.uk. [129.67.1.165]) by gmr-mx.google.com with ESMTPS id ti4-20020a170907c20400b009bf5b91411esi627310ejc.1.2023.11.08.13.14.39 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 08 Nov 2023 13:14:39 -0800 (PST) Received-SPF: pass (google.com: domain of sam.staton@cs.ox.ac.uk designates 129.67.1.165 as permitted sender) client-ip=129.67.1.165; Received: from ex2016-01.nexus.ox.ac.uk ([163.1.154.141] helo=Ex2016-01.ad.oak.ox.ac.uk) by relay17.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.92) (envelope-from ) id 1r0psc-0008nO-3F; Wed, 08 Nov 2023 21:14:30 +0000 Received: from Ex2016-05.ad.oak.ox.ac.uk (2002:a301:9a91::a301:9a91) by Ex2016-01.ad.oak.ox.ac.uk (2002:a301:9a8d::a301:9a8d) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.2375.7; Wed, 8 Nov 2023 21:14:26 +0000 Received: from GBR01-LO4-obe.outbound.protection.outlook.com (104.47.85.104) by Ex2016-05.ad.oak.ox.ac.uk (163.1.154.145) 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; Wed, 8 Nov 2023 21:14:26 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=QJffhj7AuKBkDeNrYRIFzt0ApaPOzUr0jw5ZUzn8pR12wtyI29pz26niXUlEoao47LcJZSoaX3yMe5cbmoKwtVKscOfwNeGODhR1xLGmoqjPHvs2kw78LZO4KxM/KZ1wY/8BYX0jTqJXr0UWpxVLhJhZoNvtKqqlda1bx92JYk41es2DxwCrw1rbSGGjz5U2DsoZggO+WaSydvAxpQWm8T6GuGVti7axiT6tBJ4f2XGuJO5eRYjqhH8gFYuwTKemv1ks6LFX/iQv2/LxKpYTk7j+4eI4ViQ41k10twXVswdyvhzv25X1z9tpcnVRP5c5Ui3p73wp3FWYz5K9fZsa6Q== 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=/6qd8pEdh/zI0IPBdN1OQe1XaL+52gZJuGnOgDVHcBo=; b=hCOZ06zDnHlNkQ684DxJRSTCtBQhvbL2MGeb3132OSUj28GbiUTgtJ14NpdGU5d/RV+/ZTe8KXPctnS/ChUCreUEU4tORLAMtnETcZRvZLRqY73GI4c66xX4RlKqbxDrgZaB7X9yTPTQz9xzIKqU6PwcrsorAgNtfCGeSPMptJ9kvOAzYutw8jhLixLuoWgUR4pSz6lckLivgkdKcA7s8hzymUQMcK2ur/YehIwiyQ2FC5eCzzESIcQ3XckPd4M9JJhsNDXlANMAxfExNdcYiPVXYTnNswE6pNZTpzkwslE27HEMxhU7EK9oKSQS5fkduWF7WbodiAVtBNyfgOfEhw== 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 CWXP265MB1894.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:38::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.21; Wed, 8 Nov 2023 21:14:24 +0000 Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::40de:a72c:ce2e:8d4f]) by LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::40de:a72c:ce2e:8d4f%7]) with mapi id 15.20.6954.029; Wed, 8 Nov 2023 21:14:24 +0000 From: Sam Staton To: "categories@mq.edu.au" , "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" , "ProofTheory@lists.bath.ac.uk" , "las-lics@lists.tu-berlin.de" Subject: [HoTT] ICALP-LICS-FSCD joint call for workshops Thread-Topic: ICALP-LICS-FSCD joint call for workshops Thread-Index: AQHaEoiMf8s/f0YU8UmkfErVJ3rc0Q== Date: Wed, 8 Nov 2023 21:14:24 +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.4) x-ms-publictraffictype: Email x-ms-traffictypediagnostic: LO2P265MB4182:EE_|CWXP265MB1894:EE_ x-ms-office365-filtering-correlation-id: b1511522-7b82-41d4-33c9-08dbe09faf26 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: KEpUUezItvefY+RGzaorASv/8m9JOjfqox2Mvk2f3u2Cw4jaQtxy3br0mXF5M5WIFs458colcwbaU6Vef9PhkiM59Dj+Y8s/M/rkqky/BXBMXYmHtEv3uiHjktrV1WtiSj1GqsH0sPLsZfT7F7WfG8UHmRGsDoXQgDgpwniSu6PBCnUiJ712E1kaWQc4RSj5OS7ynTj2p3vkF6cZeVcjN1riQ5YwbHUd59nit/NAQqyPnrjejjd46C4K8LOFR8bYjyxNB9UyArPL+YM3tFmc2NoFoSYVGw5F+GJERle7/onh1xUuDvVD2WLmpFnAk7E8/9GLLC1AwXpyWSUOLZxsFNi2ey5xpBCJk+JWIdTXUz4hiffrG/Qv+W9NkzuWRC/DVZNrFDQsv5owhBJ+j+IKDqQl/17gVxuscB7OLDgvP/AFtsrXsLmDyFNdawi/qu9tONjkYBxowTu3iRWYK6utkWhSsCqWIkcEarfNpnBTkWWN3s0Gnz/m2KuIiv0lGeGSD8uNcLTaHMnajhcNj3tb1H6QjN5I4ZJ7HDgEXIYgjmwcHaWYvYQE0uyGfug5dv5MguL052jsQBy8691zezHGqwohyaYkcHZXr/GBPWndYmJw9al0XHC7HNQ3HHi0mQgCzc1kiTtzx0SpiXRX61/f3g== 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)(39860400002)(346002)(396003)(136003)(376002)(366004)(230922051799003)(451199024)(64100799003)(1800799009)(186009)(4744005)(966005)(2906002)(8936002)(66946007)(5660300002)(66556008)(8676002)(296002)(66476007)(786003)(76116006)(316002)(6486002)(66446008)(7416002)(110136005)(64756008)(71200400001)(478600001)(44832011)(2616005)(6512007)(41300700001)(6506007)(83380400001)(921008)(4743002)(16799955002)(38100700002)(86362001)(33656002)(122000001)(38070700009)(45980500001);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?E8CUPZuGpERmuushoKWkwp4AItbu1XNBgEom2pX06/KyMUtABB80lgV9i3Sc?= =?us-ascii?Q?HUz0Alciw5Xznl1MjPEtD/dj5sRPEDk35nR9O6ZnVA5O94KxZwbCh7xSRLxJ?= =?us-ascii?Q?9SUUZVf1kmYIUB1+3KcTLWFUlOqZyJSEcCQWXGhH/+xLxi5d72Pk5+OCrkn8?= =?us-ascii?Q?p0guJju9x1cGQLfHyaBt056WmawV42y7d3EnwxUI/a7ynUqcekI7zxR2DqMB?= =?us-ascii?Q?EvxbFaJqu/Q6QD93gN97htNjuHrMZ6iVYCTeI+q0aUVm0CHf7haFf7jr1Lrs?= =?us-ascii?Q?zkFPrbjAIzNn+enhwUa+9VMYe8GqmmZZBc4DqVWtO9c/EpUguL7a08ydZKAr?= =?us-ascii?Q?J4rBe1K7o5Gi8sF/uA7YRKvF3a4nb/j3NgS4MEqdue50D40AOLIrbA1oARSI?= =?us-ascii?Q?+pY6uLo1rZ0nTXg6f10Q7WzIUK6YFxYEG9F/oMGbnmscKKYL2O0/FG9q4kLA?= =?us-ascii?Q?qslpkILWZ8WhBMTac2iKJDXX++rVyyLUOti9dTGwlpUAj+dJbb4rOc+/2Bxp?= =?us-ascii?Q?5TNzGkhP/shYogqDQursYVTDKxsF67A3jzJG5Nx0bZ4zc3PiM2zVBIWVFSR9?= =?us-ascii?Q?MSAYBgMU8pf1Fgq6P/f7/CHxi4LW33GqvXjehYlwwqLJm5AcXPlHMhSYvG44?= =?us-ascii?Q?s40W/F5FNhi5FNyZti9QpmW+WoQv1IoIn1iZ0m+w2SoVEAqIgohschwNOpPJ?= =?us-ascii?Q?ybureRVxVReDZ4vVX91ktm8O9MKIlZ5DuGEJpbAiv8u5IbGz685RxyNJovP9?= =?us-ascii?Q?ywHczFZMMPX+xHLb6B49XCZe9tANz7TvCb8YUn9PXKKGADNaSy1wo/yQICml?= =?us-ascii?Q?h/a6foP3WMOtvUolz+qCgq7Qcn/LNPHGj14enVBkeKf2SIgUK62ghL7H4u7a?= =?us-ascii?Q?9DofvUwzyMzv7Frdivy5nhnTZmQHzZYM9ol2cyTpyW1AHecSHAn+pmnC+pWl?= =?us-ascii?Q?nFCFJvHAJpNmDX+6OPbey7Mp9YUKW1Rz0BrcbklXFPLyVaK4gZbjUWRMBTvJ?= =?us-ascii?Q?YuQIAcyaOluNK/Do5FaipHnMn+iqeqesu4Say2p1T1uCEppOIXyYdcknwAQC?= =?us-ascii?Q?+yRtVNz+0uGybhaZzHiWFHF5zA1LOX7abnLBFgzqxj+s0BnubAJbAC0d6ixS?= =?us-ascii?Q?KeBwgTB3j1xrw5m+mudDDobGiTVGO9DUng7wP/ejC9EPlyxb4SZGvnaqYMDW?= =?us-ascii?Q?nHEGnIlCf44g4oEkZgTrNekJzfEM8qNxNPapmJnn+lNENaMFZC0BV914FHx0?= =?us-ascii?Q?2UWqC+2Dt0+/uZyad/68FtrtzGTyOlVtX+tboy8MaXacDSiPkyQDmopFRapd?= =?us-ascii?Q?i9mProXnxSrCVUVVBdYCkGa6LseccxQgTyocq9ASvpJfwa9lDCN0+zkOxNnV?= =?us-ascii?Q?0V1bjiKCn6RObABS/vzYzsy8mgzD6+jhknMKBtHSm7AeuUPS/UhCrdYr28Yu?= =?us-ascii?Q?eXvZl16FcH4HGxYvSM8F/RjMS/Q0L/QvTMRP4cMzrwIRThc5DvzkBr084rDu?= =?us-ascii?Q?KXY5tw0mAv8JQnRDrt/ohF1K3ByMSTNrJRQyf2vYnTFl7Is53jtOnjt8DYeQ?= =?us-ascii?Q?Aks7wMbK2ZyODcH4XXC5akC2LW9ecebSPctK9HQ2ON4f/b7pdltQzSZFlej0?= =?us-ascii?Q?PMdoI6sYEPefi8tOJjbCpcKD5rvRs5WAXpxOzimnOsUq?= Content-Type: text/plain; charset="UTF-8" Content-ID: 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: b1511522-7b82-41d4-33c9-08dbe09faf26 X-MS-Exchange-CrossTenant-originalarrivaltime: 08 Nov 2023 21:14:24.5582 (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: 3rkEvO1H6Masbh1QtXyWMSp2wxBSgAmhm8PQXW38bCQqhEBsVpOBgnyzryAGlJkb9yIdzt6ZK7ZFctmWXlA3iA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: CWXP265MB1894 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.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: , List-Unsubscribe: , ICALP, LICS, and FSCD 2024 will be colocated in Tallinn, Estonia from 8th to 13th of July. We invite proposals for workshops on topics of interest to the ICALP, LICS, and FSCD conferences. Note that workshops for ICALP track B and LICS will be joint this year. Proposals must be limited to three pages and should be submitted to icalp-lics-fscd-24-workshops@inria.fr . Workshop proposals must include all the information listed at: https://lics.siglog.org/lics24/cfw.php The organising and workshop committees of ICALP, LICS, and FSCD will determine the final list of accepted workshops based on topics and time/space availability. IMPORTANT DATES - Submission of workshop proposals: 31 December - Notification of the accepted workshops: end of January - Programme of the workshops ready: 31st May - Workshops: * ICALP track A: 6-7th July * ICALP track B / LICS: 6-7th July * FSCD: 8-9th and potentially 14th July - Main conferences: * ICALP: 8-12 July * LICS: 8-11 July * FSCD: 10-13 July -- 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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/AB63C04E-0534-499E-A816-D320444EA2C1%40cs.ox.ac.uk.