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 29014 invoked from network); 6 May 2023 08:32:01 -0000 Received: from mail-lf1-x13c.google.com (2a00:1450:4864:20::13c) by inbox.vuxu.org with ESMTPUTF8; 6 May 2023 08:32:01 -0000 Received: by mail-lf1-x13c.google.com with SMTP id 2adb3069b0e04-4edbdd8268bsf1492589e87.2 for ; Sat, 06 May 2023 01:32:01 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1683361920; cv=pass; d=google.com; s=arc-20160816; b=zATLhALFDY45iiSqIHL5tKGrdLPoKQlZ8YJ6wbFLDpvNs1hUuZLxtq8XVSYDKVdiJX SBqCKvL+8kdGwoolW5qx/KYGqg/1ZCfmgENe+f/A8JE5FRr0202SS5PfPoa8AIlUV3us pv4egZojtMkBI/HFsBWEnmdl669krZN2kgQPQ2o7hvaJaT3t6KbSdcgTKe+L/fLA2zVS OGZdAGrL4fs45w8HhYNZTE5TIkvQ8WGo0uN+MwB77bVjUKz7QSPKx38/R0UVkjBqqGzE JByTHDsj9mwQZGGxUxrV+M30XhsxjuL73NH/Egz66nQ749BbktScGHF/cF2HYTakps1u Qm3Q== 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=omntxaA1pH48gvn+bvbr+n+UprJZQT6Bs4SeLiCIpW4=; b=hWieR4dmS0lpy/xHawN45P02g81SDadS0wPdUZSBGRJ1rwk6EYOgNQePsJk0/Zpqg1 X3dMAavm+f5nggAU3KCmKD3w/Wt+TG9pzPqH1G3jTxZMo9SXrVg0VfnCAgSskQm9XfNK L9lFjAHwJvZAQMhJopG46paB+8caMRDLsAC0x14WV3vi3A+k0RydYBfAuFWgqx81U1XS QNHEA0ZcvTAS+B20DapA+MTiEea8VSJgNnLUjEvASvyUs99CNM7BPyyxq4fZJi+Q3rIk 6qr0OqgAPY9hVvN7udWk4COtZD7KA5UOIER2AryNywlL1HnmhttoE7wI1hA+RknP7hF8 /WKw== 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=20221208; t=1683361920; x=1685953920; 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=omntxaA1pH48gvn+bvbr+n+UprJZQT6Bs4SeLiCIpW4=; b=qW8lRCq1BBMrj2M/tO3AQAIRJQcM/69lKXHBMupojdtKNdhWzp4wDxvnO2Hp0G0TYE M5AF4vstVd5AvKlxhGnZkpw8vAZ/9uyRgGuRbbT03Ycfr3rePYp9nGinEinMhche5Ylg m/GEOVvkamMcD/t07lzE9/7skCeZYnfj7gdJeh/ANn2I5xc8o/EiWMyXvjeJ1ahm04EP bynHI/HpQxmddTKzWvBTZTqWMqI/KENevwrBmhqoIAn1vqgShOZ1Ku7667fme5hUDoar J3ZSk+vjzNgxwD3YoyPGu6TxVKeReskEPQjxLllfFUJp0sFwnc930XINbQ+veNWOhd/i N75w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1683361920; x=1685953920; 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=omntxaA1pH48gvn+bvbr+n+UprJZQT6Bs4SeLiCIpW4=; b=L70yWdxod5ZvfvYCZ0fGp2X+kKkfThQz+ybsJ5ob6wGhVPt0jypgbDSkKKa4y0WsCC t2UOixToJPsZy9Vp933x3HCLwSDCk853jH6PyaBSTg8Wb8BxoFp3Yc3LJEG84AHjdjeM y9H2YjwdWwIkyeSnsc+cmV1E2l5D1mzqdU3sGxAuhm0Xbn+P8/TH1zW2kzKvsu9rnfDN PQgQHKE9pPo5bFsfTG/Hzk+h4DizdlxXhPAY/Sopte1BUr8XgsDYU9PcugnqppHuzXAC 0A7ucCUyPgjWMLPCIrM+/WbgSXXCJ1J/ISFYDvU+SDHMhNzZzz53ild0jWyrjyXRIWqr novQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AC+VfDzY7KfQqXDIo5t2QYI5QEh11lxRNduluaM3fBC5/2l5fjpGmPlS YHHCyYZGt/BvqoPY2z17PCc= X-Google-Smtp-Source: ACHHUZ6JBo/TgZwxGN7maMTS2Jvp06glqQouSnYEFMeYKQWl2GP33CisajKP4SAFwn1Ra/cGKLKdqw== X-Received: by 2002:ac2:44d3:0:b0:4d5:ca32:6fa1 with SMTP id d19-20020ac244d3000000b004d5ca326fa1mr1024945lfm.0.1683361920695; Sat, 06 May 2023 01:32:00 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6512:39c2:b0:4ed:c108:7214 with SMTP id k2-20020a05651239c200b004edc1087214ls2191118lfu.3.-pod-prod-gmail; Sat, 06 May 2023 01:31:57 -0700 (PDT) X-Received: by 2002:ac2:562f:0:b0:4f0:6a4:1386 with SMTP id b15-20020ac2562f000000b004f006a41386mr1093407lff.2.1683361917708; Sat, 06 May 2023 01:31:57 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1683361917; cv=pass; d=google.com; s=arc-20160816; b=IJH2DNoKKZqv4kdVQyHTGZsHA7iclCccDg0xxFVvehDKl8Pgvuj0rYLm6XBaouRIbV srLQLunK969Jl4btWWKTCYpQZxgnpjCoFUgecNEWAQ4NGNR8n6tm3OrdkwHqAf0329kY UemP0ukAvUqnfYcDv/cyIJeezt/oXr+JHid+FpBami03WgGrTAP9LFvB/zAblMfnfH8g udf0fPtD8yax4lp8UCUYi3AdvesgTuE8+rVUbdB7vtO7+i0/BczJCjgAXho9/hZRygxQ dK1X9b+Mouif9219TsSR1CwSLmkU+PmJ+FDvvprNxJYOqEyf0rncftGGVY4U6ilaE7uO qvXQ== 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=3KliuHwMFnrT6oM+dCk7NM1XYugnRc/HGQzOi0C2gQ0=; b=ubj/GyjabisrOJYw4PF+nJc2097WHfsYCstB/Oa2SsIPe5bQlVLGlIkKuBzS3m1R3V OyOvnky/Q1WQ1Pm7yskPcrnKGApcZstXOxg+1plsVFKlrm0eJBXbFQinCBBkL+rQXecR g6RMQX+SP8DjkbRZ1CNeGjXygfKBFwBbXGVTVPXuUjpIOvmqWYwO7Cpf20tg7MXw/7EB q6fbwqUE1XkHFq7iRniCcUF8PNr4qC78zfeQNL4ltHNLLXEdifoUyjEH4IIXSNfjITnz tuplHLZtx0aGMBo/d6U5oHWQ0YOKLwc1YfRgvInaaKT/TbykHD7ExzURR8IDzZmWqtL8 uYog== 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 k38-20020a0565123da600b004f13b703015si277547lfv.6.2023.05.06.01.31.57 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 06 May 2023 01:31:57 -0700 (PDT) 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 hub04.nexus.ox.ac.uk ([163.1.154.215] helo=Hub04.ad.oak.ox.ac.uk) by relay17.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.92) (envelope-from ) id 1pvDKc-0004A1-4L; Sat, 06 May 2023 09:31:54 +0100 Received: from GBR01-LO2-obe.outbound.protection.outlook.com (104.47.21.54) by smtp.nexus.ox.ac.uk (163.1.154.215) with Microsoft SMTP Server (TLS) id 14.3.498.0; Sat, 6 May 2023 09:31:50 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=LD6v6G8G8FQsWEAy3k6oMmUQjRNB9HCowKePUjrhr8JoyHz/zJeIyAyry/DKfDvYntv5al5Z3oL63fNJ/mZ90EKMjgXDia4kqTQ7YqXiQfGmeA3w0pcFgUtxCBMT2cNd1FfAoJND3OkU3QOAa7ofLbol9gHgGPInSAFh2h+MCkv+hkroWpmx185veesLydaWEWxC+oDzvQzwZM8DuDiYYqbkJ1A6LXP/vna+byEhl6Q6X5lTEHSYIzrJ1s1SiYPxMyU072fruce5IQlJ/ltOp/v5lh9bLGj/Ep8Nak2P+mbHonYizh9IN0WuVxVDeDTRMJP0qgfy6T4+OHsvgKCCUw== 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=3KliuHwMFnrT6oM+dCk7NM1XYugnRc/HGQzOi0C2gQ0=; b=k9S27kiExYslAQ/c5gsIZgFNkFRF2eZFGRcWftM4W4Op3V0572mznh45/xdUAXRWoR8VCd77DONvLMda87UVtMU/vJ3Crw9Z8j8UlJ3/0tRFeh7c0eJc/31z7wuUMHM+aIy8cAyFjDnB6Y9b0+wVF4NLCRH91dWUXogVMXF33+e1lL43hAtEQp10hZIifohoNH49hz9gxVbycbJd/uvCE8eYocJPl6s5umada16WVuWSspSoNAsjBqqtRuLkiFPlBghyAEnDiQWjQdiqq18GmQFsPywbl1tC9nFMe5D+jAkYy7QMkVPTr+FXP7jYTH2jkqbk0Cq+GVllhami/TqkFg== 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 LO4P265MB6730.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2f3::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6387.14; Sat, 6 May 2023 08:31:23 +0000 Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::2a21:41cf:fc3b:54ae]) by LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::2a21:41cf:fc3b:54ae%7]) with mapi id 15.20.6387.014; Sat, 6 May 2023 08:31:23 +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 Participation Thread-Topic: LICS 2023 Call for Participation Thread-Index: AQHZf/Uk+Rkxh9W+CES2OSxW7Azddw== Date: Sat, 6 May 2023 08:31:23 +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.3) x-ms-publictraffictype: Email x-ms-traffictypediagnostic: LO2P265MB4182:EE_|LO4P265MB6730:EE_ x-ms-office365-filtering-correlation-id: 4b2514f2-64a7-4981-3d17-08db4e0c46a8 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: uSrxwItHt2CmzggoCM9G0zKo64UHWSeP+VaSVpufWSkzl87glh5/IvujGyjObUh5cvsb+33d7RTzl8LnZl5MORt3GLT2sSjow6UE9omzxDrDR8RjBBJgtm65Z1yoPdtmfMOVRzyhdhbQCmP/pF7LATWq/+rkvWsbna7VMrw+/g+bke9vikP2ozBqC26XRzawzIGQ08jEPCfOqedIZvjHE06WBNEBpmpMIa0E8xQXGAy+HvOffNBdkEfDc4E8R/y76CX7R91iVJhr9yzNOd5O+JsTEmB6PPsLpJGVOK7IQRAyF8uvAi/7JHy2C643R7u2++0VHBdmTJONNf/uz1j7WvbzEzKFuD1a6mUTfQ0jHWcVmQjdbcpuhm4VrVLbgUF4AhYERX3JR8WRH05R1kjHWOAKWZk0r7LfvcJF4QcNfDlKnMVu4rtHVFADhQUekz/jtvhi6fu8t5F6+Y3/8vbnixW0ukLbhZtFmlb48gHh3YInI6K7HoZYkpq1LA8VeWRkqSXkKP7+VBIqAbMZkV4/TlVDCjPRe48r1nx/SBgdIOCthrTlSrYhqxW3VjvM/N3YkTkQXnax5ZW5pW6i0/As5SF2ehnYrxz4MF4/cRtbi1vjhHd7QTD9XRwv8jH3fjJ/AjV2ARRMgRJ5yiQpK8r6sw== 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:(13230028)(346002)(396003)(376002)(39860400002)(136003)(366004)(451199021)(110136005)(296002)(41300700001)(2906002)(4744005)(83380400001)(478600001)(44832011)(186003)(6512007)(6506007)(786003)(316002)(33656002)(2616005)(41320700001)(7416002)(86362001)(8676002)(8936002)(5660300002)(921005)(122000001)(38100700002)(71200400001)(966005)(38070700005)(6486002)(66556008)(66476007)(76116006)(66446008)(64756008)(66946007)(45980500001);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?utf-8?B?b0NTR2NuMUpUaFZ4ekp5Y2NadGZhNkFMQlg3dmlGRmFmVDZiYVZhOTJoOW1x?= =?utf-8?B?Uy96eXpacGdndUcrWSsyLy9rNkVsc2NvcHRaSm9VTmVpRGlWQVFmVWFJR1Vu?= =?utf-8?B?UVM0T0VNMzBTNmhscFRKMHBja0Nhc1FlTkgvM1VuZk9Ma2JKNkxRVTdGVE85?= =?utf-8?B?MS9ydWZEYUdHVDIwc2EyaEFKSDF4c1k0MmNpaDJXVEVYRWp6RzNWaE5Ndk1O?= =?utf-8?B?b0M0K1NmMERlalZOdWk5WCtJSy9ObmJBa3lnMklMQWRBVnU3NDllNHNKYTFO?= =?utf-8?B?d3BVaFNQN2pTR3JGRHN3c0JuV20zS003ZzVKSmRiWmx5RHYwTURUR0JVSVRq?= =?utf-8?B?bit2OHlUMFhCTzZWZEFMVFdJUERwbW5DZSs4a2NvazNnN0RPeDQyRHkyVzlM?= =?utf-8?B?WXpZL0JXZFVwSEN1T3Z0L2VtdW9GUlRmZTk3b1gvM29BNHZad0RsenJqUVdS?= =?utf-8?B?ZDU0SFdOcmNDMlhHNzAzTWdYSFUrdUJyY3hiSzc4SisvRzE0Qmloc1RSYVdh?= =?utf-8?B?Z1pXUkIvZGI4SUhtVWJycUxEOHF3Tm1TdUxoRWNyYS8yYU9HQXNYZVZVa1NP?= =?utf-8?B?S2c0WDdqV1Vtc2ZPcTVQQkp6Q0Ywaks5U25DaFpYcE1zV29VTHgrSjlab1lh?= =?utf-8?B?eFgxZ3psZVRhaEJEejdEMkNVTmpEM09GekJ3WTF4ZDFLb2FqYUZJdUp5NEE3?= =?utf-8?B?UkhKTUVjc2FQdjcvQnVjS0ZDOFF4UGs1V3k1MVo1WElBNzZJOExXOUlrYUxu?= =?utf-8?B?MGorWXFNcURTSFpzMlRJU04xdmdDNEZHb0M1OU9qUW5pZGE5MjVOdFpmUTQ1?= =?utf-8?B?VVNyejhGbGFRYklvd05TMkdpN1p1R3VyeWNNUVNsdkRNTVNZRVJNQ3VjRmxj?= =?utf-8?B?dC9HbVRpNmlsWTk1a0hIWk9LWkZaK3lsd0ZEK2l5b3pjSjh0cjFFeGNhVmpi?= =?utf-8?B?aWlPVVNJbXF5cnVQVUE5OE1SWnhuWnZBcXZvSUcrOGFKQ3FYeUllWjEvWVl4?= =?utf-8?B?Uk4vQmxCYXpKc0IzdEt2YUxrc0N2QWU1TFJpM0RkRUh2YUE4U01ubnJVY2FQ?= =?utf-8?B?dWdUMDlJMEZHRWhnQllnbGc4YmhkdU5xamNxN2R0dFdUeVpoRkw4K09SVlRs?= =?utf-8?B?NTB4b3k2Um4yMEZCRlczS3VkWExha0pncFR1S3lKOVdBVmVZaFhUNmdlVnJ3?= =?utf-8?B?eGNRV01qOWhyMU5RNUozS1QxUCtzWFFOQVRqV0JOWGpyMXlzMnFsQkNESm9F?= =?utf-8?B?QTM2YXdvWDRkcVNjQS9QSFMxeCswai8rOSs4V09YTTd3MmZ1MHd2WWlGenNv?= =?utf-8?B?ZjQ0WDMzRjVqUUl1NUNqcmhPSElYUmVJSUwwVm1ZbDNYSk9jYndXTEhUQW9z?= =?utf-8?B?ZkIwOHMrc1IwcW1aRjBncy9DY0JUZmxESnE1S204SVQrQmo5TWJiUHE1V2lx?= =?utf-8?B?d3phUnl3a3N3UHFmZTBHQzVOa1Z1Y0kwYzQxK1VqSWw5NGVqdGt6WjllRVUw?= =?utf-8?B?OEhZQmF6TkJDdlo2QURBZTFZYjNzUlg3bXAyaE5FTlY3a2UvRC82NXplSUQ3?= =?utf-8?B?aGFWRGxRdjJtVmJlQWx0VG1rVXJMR2pBbjBDK0ZsallOVkhnMi9WL05JN1py?= =?utf-8?B?TU4vQUZFZWwxNnNLL1l5dUYrbUkxZXZVU0VOWE9od2ovZUp0Mzc4Mm9nNG01?= =?utf-8?B?SWozOTh6S2xIVkZmVVRHdzViN0F2b29iVm4xYnhFMHdTc05FY0NzeFRXRE5V?= =?utf-8?B?aGg4N3RhUWw5bjZ6a2pKSFZXSjRpME94MGJERGpnOUQwL1hQcFArSVkxOVRk?= =?utf-8?B?Njc5YlRZKzlROCtpcjJXN1ZXSVV5bHhMK1Y5R3NFaitrSUdTOGtUWXA0U3J6?= =?utf-8?B?Y016bTBvZkFYL3QvVEo0WnlDOVdYb1J4bDVqTkloeTF1VG9PWmxGWld1Y1M3?= =?utf-8?B?c1A5SlJnMlZzU2xXdy9UcytqSUpWUThGWUdCelNwR2hjY1lQYkd2OG0yMU4y?= =?utf-8?B?YnJ2Z05vN1RKcXZIUUVUbnAwclh6ZHIxN2tKemxDUWJBM2VlOXdGY0lndkdD?= =?utf-8?B?djVqUkZ6N2N1S21mUzU4U2FyK1Z1Z044QVduL1RiOTJjK1hWbTk2SnYrblg4?= =?utf-8?B?eUU0YzdDb0pmQUZPdnZ0Rk1ZYWNkbkYyazYzK2s5aXUvUTBNUzdOK1MxcXR5?= =?utf-8?Q?Q/Ovy78Q6JXsV1bD7r6MmVDAMPhgQLWVjD6qD+pLuUBh?= Content-Type: text/plain; charset="UTF-8" Content-ID: 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: 4b2514f2-64a7-4981-3d17-08db4e0c46a8 X-MS-Exchange-CrossTenant-originalarrivaltime: 06 May 2023 08:31:23.4731 (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: btuU9kHc3ijx/BYuwlHuH11ZxEt/IyBmFrvjy7ZEMOtBtfyTl01KET0Dx5Z//QFH1L4km3iES2cTD8oSZkrWWA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO4P265MB6730 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: , CALL FOR PARTICIPATION=20 Thirty-Eighth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) 26 June =E2=80=93 29 June 2023 preceded by workshops 24-25 June 2023 https://lics.siglog.org/lics23/ Early registration ends 12 May 2023 Student travel grants deadline 8 May 2023 Do book accommodation sooner rather than later. Boston can be expensive and= there is another big event on 25 June.=20 Invited talks and tutorials from Adnan Darwiche, Azadeh Farzan, Dale Miller= , Toniann Pitassi, Dan Suciu Full programme at=20 https://lics.siglog.org/lics23/program.html Workshops: Combinatorial games in finite model theory The decision problem in first order logic (DPFO 2023) International Workshop on Quantitative Logical Methods (Qualog) Structure meets power Logic mentoring workshop (LMW) --=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/DAD4200E-6036-4BFE-BB8A-8001DD3899C3%40cs.ox.ac.uk.