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,HTML_MESSAGE,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 28509 invoked from network); 8 Jan 2024 08:54:56 -0000 Received: from mail-oo1-xc40.google.com (2607:f8b0:4864:20::c40) by inbox.vuxu.org with ESMTPUTF8; 8 Jan 2024 08:54:56 -0000 Received: by mail-oo1-xc40.google.com with SMTP id 006d021491bc7-59864ad2c51sf194897eaf.0 for ; Mon, 08 Jan 2024 00:54:56 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1704704095; cv=pass; d=google.com; s=arc-20160816; b=on3deFvPZWR1FLG58jcyjNhe3aEFZTf8wEGiW4vqkX1/ZJYNa5AtOrdyHtM8AAfnU/ 17Pcnnw4P1FC7wUI2Bf21pM1yK2D3DedLSE4BlMKcKYt5hIkmqrZTzRLmvf2D8OEGnY0 kGFDcl2pPQ5JvEUNEmM6njbwep3jqmxZZjOpQnd1rlbP/XeaeFk/TNNuPydp37AgZtqI /VTzxgwLOGNUgP8opbcgiiKcu3Y0XkUYr4GQtzlAPYQeDjfzFkodti1osQDTeO+5WnWi 87ZjfQwHloSfRYg4AvOUtQ4CJ1t93FkCVMLr6+5ct3FDD7EHNT8qGgjMcuCt3yMKM4RL BgjA== 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-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:dkim-signature; bh=LR7agvJXKisQgiAceUYJ0wkW8/ck3bP+u35gOos1dUo=; fh=mYpKxymPxZxoJGC+eJa85ha9PrdoQ3YB8cM30Cn4BNM=; b=F6FaWAXXE8Sf3O/13vFk40eCBQxbi8XHU5YevTxbjKkORhtwtqplQ/6AhgeFdv+5fo QVBK8ix9nI8x81j5azoMssmR4MOUaVb4tHd/dwQBOrUq+Ru8Nf4iD9bc+fL49UE+8IMU W1Q2JGda8oTNRyS/Zs+zSlbdXpV0lO/2+tZJzh1GPm/U3Mmd9luI6ZrY5UmIarGQ0BCr RBsHmD8BvUuKAFxBRSrvgByOrSNFcsxDHc4rxrocV+ySYEzhozVpSuAuclBs/lIoT0f9 YN0+riP6kQCAFIS7sSahz6LhX/rrR151w1ldlyI+rHtN3izxjgNnNzFkhjN8IDb53gMJ q97g== ARC-Authentication-Results: i=3; gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=manchester.ac.uk dkim=pass dkdomain=manchester.ac.uk dmarc=pass fromdomain=manchester.ac.uk); spf=pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f403:261b::601 as permitted sender) smtp.mailfrom=Nicola.Gambino@manchester.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=manchester.ac.uk DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1704704095; x=1705308895; 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-language:accept-language :message-id:date:thread-index:thread-topic:subject:to:from:sender :from:to:cc:subject:date:message-id:reply-to; bh=LR7agvJXKisQgiAceUYJ0wkW8/ck3bP+u35gOos1dUo=; b=lGMuDXiNjv2uOMqsl0Ng7aDsqsh+Hs6HSO0zjgkwKGst2+9BdeL6xbp/gJ+lUNUxhl iMG6XuvKGNdUh+AIZHnpmQ6zyso13hg67QFZyz++tULM4GMOMNet6g6ishTCSukTTDMM PY8PMQO+dl8TY7C9YPuWJQWnq7Ev4iGMBLoJ25Bc6hQzR9Hw2vjkwy8inpi2AV2zGnN6 257dGqN2xXo7i/fiZKUMdcIw3ccyxZcLp0hZ9eRT70bn2v2/hRkfpSP4CYH0cY4O/y9x Ekh+gm/+XvhUcXnlGHmuVbZ1AYhEahyK/u7TNQY4C8J+dKiFrLP6qhi7IYQ5LdoFmMJa gwtA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1704704095; x=1705308895; 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-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=LR7agvJXKisQgiAceUYJ0wkW8/ck3bP+u35gOos1dUo=; b=j2679g46ZMsI8K31vrDCk3+hjl0xy6SF+IQH9HNAnFHAXrOj8eOvDf6ajDDBg225DV acmzCVZe5EbDEEpDWP72OOUhcGSF5yCuxcrgA3AOipdHIJA/yWCPtKyl7wSIhj9AF6HL t9JUiW/sG4KSodrxttJ7I+LOrL5ZXZRYjWibx/+UICyTQ678m5CPZb+KYMA20Vy/Kmw7 K/hsSd/V3Qc0ArKL6mHKlMicaiepSGlTIogWk+qtUJR9IcF/t95hOvRX9/F5X4XB0rtj K7qKZF5S2jlUXeQzcXGctiMRDvvoa+JeSTsoRvMZcgPDhh7DC6tLibQHLpKToTzksMXd HU7w== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0YyUqOYFeVKd7s64p6RzSFcBQxmWVubMqquufNx46Bnee73G9jnN PfSdfeLlQGd+6Jz4mDL4xjw= X-Google-Smtp-Source: AGHT+IHcyGZI+S/aAc0VpK4r9j06gw1+jqUc1lygCMSS5IwfPruDn17kIj/5FYfXNdfwhvQqpM25Cw== X-Received: by 2002:a4a:55ca:0:b0:596:3b20:acc with SMTP id e193-20020a4a55ca000000b005963b200accmr2116679oob.9.1704704094658; Mon, 08 Jan 2024 00:54:54 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6820:388:b0:596:373a:15f7 with SMTP id r8-20020a056820038800b00596373a15f7ls853049ooj.0.-pod-prod-03-us; Mon, 08 Jan 2024 00:54:53 -0800 (PST) X-Received: by 2002:a9d:69d2:0:b0:6dc:8d5:e8d3 with SMTP id v18-20020a9d69d2000000b006dc08d5e8d3mr1432352oto.15.1704704092925; Mon, 08 Jan 2024 00:54:52 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1704704092; cv=pass; d=google.com; s=arc-20160816; b=0WBP8dMC9k3li3phbpltLy2KZ/zKIh6h5ePfhuAuoYC2D7LR0KVaogf0XPzZNeZYyS dumPZYOqKgJ0nYQ9ppD/F22AI563XfutT4NMs9LlLmZl6lt1lx+ReoHlk9YwDnBcGNBV owC+lTuEszSMSAW/o91ExLHorvreFU5Nr7o1EnZJZudiN0TNpk1KtCisimNA7YYr8HRy wTi5xRQLkgYyYa1qYOKi+WU2RE7IPH//VApxwXQ9+ydCTEBcDBIXi3sbaqYuVu5yDqto fZelFXGMztA+a4efqKO24NoxycnRm+sy11XmQLsYqVY6FBICiq8NmmWRBrtAFy0v/d6T TaoQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:to:from; bh=vDj+UVZm3KWr7ZrD1EUiQlojmAVhcn6oHBkoQtJs1rU=; fh=mYpKxymPxZxoJGC+eJa85ha9PrdoQ3YB8cM30Cn4BNM=; b=Bvl2X1Aa8+4f4EUaeybSNNjx6VWNllhUvSM0ubatEnZk3Y2owJWUWGb5d4bOTkZXr5 4LKTsV9AV2aY221uHnWdio40s84w2VaHrSfrJo+0P+FkJ6fDyUTZF5sMQNMONnZMnAUP URLG+rS+UgQwXQex/n+oMPA5keqAi/HI0MWcE4J5SqQQiLhtAQgZkY51jtyO7pClUwII K42zYBOub05wDxOFULq5LZ32zWXclpasKtAppX7sKAqICK7yidwL5sfsJtFpOh8WAMpr vvd+fXnMuaUose0r6R2Lxp+GmHBxBBzwl73YvGJtJ2v3UwwadZN1pnaAJWFTWp54rzHF tm6g== ARC-Authentication-Results: i=2; gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=manchester.ac.uk dkim=pass dkdomain=manchester.ac.uk dmarc=pass fromdomain=manchester.ac.uk); spf=pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f403:261b::601 as permitted sender) smtp.mailfrom=Nicola.Gambino@manchester.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=manchester.ac.uk Received: from GBR01-CWX-obe.outbound.protection.outlook.com (mail-cwxgbr01on20601.outbound.protection.outlook.com. [2a01:111:f403:261b::601]) by gmr-mx.google.com with ESMTPS id bf13-20020a056830354d00b006dc77225494si455640otb.4.2024.01.08.00.54.52 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 08 Jan 2024 00:54:52 -0800 (PST) Received-SPF: pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f403:261b::601 as permitted sender) client-ip=2a01:111:f403:261b::601; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=S5zkL8XeTDkJlEX8DXokv+C0o2e8uJamtJP7abgQhdeRrdGLANyYcWsbmluTHJBAJl+EcF04JNIgWpzicwaeALzLUkycMTUygzdGz0MeNWv+zQFEKTGlXpejJp64R+UDWJ2MFeHqW66YanbztCc+8X1ym0VFbdgwN4zjLZ6ySBi17mJble3JPbN13MqBRlgGbQbpYhpKvO7u5ufnnxDlIC0TcNxG9NNAidT7Ujh+3UvedsqUGbiwRfgwkAjWiChYdg9STG2578hnLHCjnEt/D97TKCYTZBdyC7MjE7xLIE/jmlpURcbk0Q7inVpkqTD0+8M3auhXeDEEmBcDPJLK3w== 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=vDj+UVZm3KWr7ZrD1EUiQlojmAVhcn6oHBkoQtJs1rU=; b=MlRI7SISagsd6oWMpWQi8LVAlyW/UP4yUIOGN1z1vbb1Um4D8iW7Q8O7KCpQpeqTFQ84RJJtZlKrS9yLZwu+m4EvmbD+04T4XA4geECjQydTXawQRRCwkcUnkF73nVEjEfJ8fVcpiq7BAgH/Cf4UaNmIrZdcJ8hzLnWll4em2/eYvtLkJt6SZilqNlM3uac4hxLo/PrTRLMPMdjY6uUM6e1g7PrV632QXcZquxQOCyAUxXgXL4ok2wibVZkfVL9igrjjNc2m/FI85zsoHE9WnI9KEcXV3Fuwj9iXbnjJ5thoLM3iz371Suf24YOYi3fDOaere8LH/gRiM9ynp+nBvg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=manchester.ac.uk; dmarc=pass action=none header.from=manchester.ac.uk; dkim=pass header.d=manchester.ac.uk; arc=none Received: from LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:22f::7) by LOYP265MB2368.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:112::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7159.21; Mon, 8 Jan 2024 08:54:50 +0000 Received: from LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::b92c:120c:f7ed:760d]) by LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::b92c:120c:f7ed:760d%6]) with mapi id 15.20.7159.020; Mon, 8 Jan 2024 08:54:50 +0000 From: Nicola Gambino To: "categories@mq.edu.au" , "HomotopyTypeTheory@googlegroups.com" , "constructivenews@googlegroups.com" Subject: [HoTT] MSCS Special Issue on Homotopy Type Theory: approaching deadline Thread-Topic: MSCS Special Issue on Homotopy Type Theory: approaching deadline Thread-Index: AQHaQhBWod7z20H0p0CaMChVbijLjQ== Date: Mon, 8 Jan 2024 08:54:50 +0000 Message-ID: Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-publictraffictype: Email x-ms-traffictypediagnostic: LO2P265MB5040:EE_|LOYP265MB2368:EE_ x-ms-office365-filtering-correlation-id: 0159bd6f-63e8-47fd-f636-08dc10277958 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: +NrRgi7APH6gnDX2tKcNs3mJwVW8GawXpyUB6xxBpAW60c/4aQmhfor9JQJz2DaZg+ElRjMdmsJisGTlRLJvDz5xqmaJFH3Fq0WVm2/KeDHAlAByWMHwoh43xhGPDowZ9kSRFa2vlsLQFi3eUXzZeq/uWOqAzki6/XOY3sja5pJg/OOydxz1J6Cg3gcR+D/qT7T0CzJ7TI4O8XcK28X93mxYtGJi6McDLcnAMyZXyvf9PeR8t2UV0hABtoeAt55rcKxL5CkHooQOuocWMNthI6iqbAQ40oXcu3Wy/Q7cYmGwa8hBzT9PCSq9kGc0Dc50GV5+Aplx+skrQe/GQZ/voPCPwehcoE7GaGpZEWZaEt6Hnoi3fAhcMzbsaKbA/A8EMozQoa5lfvIeXYSVpkFpfC7cKuSLBZdpzNDVV86jsgiQ78PW7B6fJppRaz+3x5ZTe+RkW8cXTw6f7L5hgQgRVry6c0kyx0KH2PQk8AtIOKN+HO51Rj+6GtrRZfQYc+jaduy/0V3V57w3raMLgTmaakJzEeDuKOv+EGjPCgIGY1umsbHCOW2cSpfjPLSkpdv3rrgZ2nY8b9DSDWu0iqVbQsiJfZB7fFkEKStPnC0RTUItdbM1VAKtcHwRw0hWE/TKobDJzTgY3HsVq84k75JNgg== x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(376002)(346002)(136003)(39860400002)(396003)(366004)(230922051799003)(64100799003)(186009)(1800799012)(451199024)(41300700001)(86362001)(8676002)(8936002)(6486002)(66899024)(38070700009)(4744005)(2906002)(5660300002)(166002)(2616005)(36756003)(64756008)(66446008)(66556008)(66476007)(110136005)(786003)(316002)(296002)(66946007)(76116006)(478600001)(71200400001)(6512007)(83380400001)(33656002)(6506007)(966005)(122000001)(38100700002)(45980500001);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?utf-8?B?YnlrbkRGYkFFZlpoMUtWbkFMOW0yOHZpMkd5b1BmVFNQTVVoSks0SmpIRDU0?= =?utf-8?B?cWRkYzg4YTlqS0VXRlNjMHJWQm55MDJvZC94VlRsZHJNdnJFL3dhbE1jcGtZ?= =?utf-8?B?VVlWV0c0TzgweklodXBXYmJQbFgzQ3h4SE0vUVJINzNlZ1dNYzdCb1U3aTMx?= =?utf-8?B?VHlDZVhJMVU2RmxHbWw3TTZ3ejBwSGtEY1RzY3pJOEl2RjVYZFlFU3lucnhw?= =?utf-8?B?M0t1amw1ZWRDNEQwbTNKZWlhZWxoL2QyTjRzb2YwcWpxYmFnVXhhcFgweGVZ?= =?utf-8?B?Ri9zRU11N3RXb1N6OTBDVzJjZmtZTjA5clZ5cmE4MWdOMlRzMHMzcFJGZGFJ?= =?utf-8?B?bFN5VHFmUXFTSHZtcHJ0ZFdRenF1eE5SSmtERTYvUTljU3ZldnlZMklmN0tC?= =?utf-8?B?bnZUS3lhRTVXblBPRVdyNXNYZ2tTb3VkT0xZV3QyZUxpbkVubjVldnJJVENk?= =?utf-8?B?WTc0YldYL1d2UFBuSmVnVm11TmxWSlo2VTJ2R05PeVNJZkNHK1dOQ3FXOEkv?= =?utf-8?B?cjQxZk0xR2JiQ1NyaVM5Qnp1ZUNjN0NzTnpBRUo4RUVqOWplVDFGK1RHVXU2?= =?utf-8?B?bWQxUnk0ZTdyVi9ibUoxcXA4dlV3b2syWE9yWnNzaEd3OVNtM210dzFYL05R?= =?utf-8?B?dnREYjg5TUFQQkQ2di9lWG9ick5MN3Ezd3ZOS3ZjMlcyMG1ROTRzN2dOdHIy?= =?utf-8?B?NUp6SVNIdWZuOXlxMGFzOGpJaEt5TkliNkVSZHl0T1MvYlJtVHN4YUx1NEZm?= =?utf-8?B?dkRyM1BmVVBlMHNnK1ZRdW0wdTZHdlIwREVtQWYrcTFLVklpN0NHMVI2V0NL?= =?utf-8?B?OGZueXl1NHg0L0lqMmtTcW4rUmdDOXpXMFd0eCtwRXlGem1JWmtvSHlPcExL?= =?utf-8?B?T0VkSjF5Wk1jNlFUWHJKKzNvVHJvdFdQSVNFZ2ZaOEFaUjdFNnNkeTB2cnJn?= =?utf-8?B?ZmErVG8yVXFjQTloWldSb1I2TUJ0T0VtdjZRTC9TNEt1dkpaVElpT2MwNmp1?= =?utf-8?B?L2ZPcmlOOFlLcWhPRjFxbFdYazI3MlVJRkEzbEJDT3BzckRaVnRNT1gvb3dE?= =?utf-8?B?Skk5Y0I3VGRiZkZsY3Vnd1FDNGJpWUd2eEdpNUh1cVpPQ0ZweitmNHZTWmNW?= =?utf-8?B?ZjNlVGJiaG1lNGF5aUwxNUxkTWNSdlZjLzJmSUtqQnhkNkRzZzB3Q3VWaTNE?= =?utf-8?B?MzB5VUdvek9pZUNtQlBGTE5LNGo0Z3Q5ZTZESnpOUWJsN2RRMStvZFpBT1Zo?= =?utf-8?B?aStpZE5uMjhabnhVQU5UTDJneVRFRUNhUXFZb3JHN1FHQ2hqMHVIMGIwYWZt?= =?utf-8?B?a0hvTzJyVHRLa2tOOFFMSmZTQUMzVWU5R3N3cjlEOHIwTHZ2ZjJWT1VHVmhk?= =?utf-8?B?U1h6eUZ6cGRpSTBubFExTjlldmR3VUs1aWRJbjlGKy9WTmxPMFBzTm5LUlVI?= =?utf-8?B?UGUzdU5UcHUrZ2VOWjBNemdHeWVZT2VQdzVTWE1xYWVITndlbGQ3d3Y3V1R0?= =?utf-8?B?ZVE1M1ZhU1pZVCt1TERydUFDaStYdVVZODJnQklsS2w2elExVEVtd01SL1JL?= =?utf-8?B?QkphU2t1d3BIRGpEbm1sVk1ZNzNRTTZBYzR4T2hkTlVLYmd6SW9ZWTVEdHhl?= =?utf-8?B?VXp1VzRkK2t4Tk0rVWlkaTYvM24wOWpQMDMxOGZZYlhYNnpVUXVKbGVQemlq?= =?utf-8?B?VlZOWCtUUFpvNXpXL0YrM1I3cXVpdE1zWWxXa2FGWVp5UjhweHVUMEpXeXdM?= =?utf-8?B?VzZlbWlqV1BEV1hQZ2FkTG1yV0F2ZHBpZWVQV0VKVlA2b1VrOTFhUHVRSTY0?= =?utf-8?B?a0FvcTdVNVdXY1ZQdXNVNVdZN2g0Z1NSYWhmOTIwdlJiWjNxWFVCQVNOV1Vy?= =?utf-8?B?MWtkbWF6WE5KUWpZdGV2OHFmdnpPV0VuVDIxOUhxN3ZtY2lhY0NRSjkrK2VG?= =?utf-8?B?RE5uMkhHVGp6QmRucFFvYWlqMTF3VVpZcHdrYnU5alZEbWFqS0Vyck1tclhE?= =?utf-8?B?cmhGWkNKejJEWWJXK1BXK28rWFNrMnZYdkowU2hvMCt4a3pwZFp6akVvUEIz?= =?utf-8?B?ZCtIdFRyZzFpZXNNa0FKbUVOS29SMVBMbXMwOTFxTDVDV0QxdmZxYnJNcm5L?= =?utf-8?B?VG1wM0tOclYrVkN0aFBsTXNZU2dOL3ppcmwvazhYajFoZUo0R1lNRTZTYXdC?= =?utf-8?B?TjdEWXJ6WFgzUlVHczg5d0pJYlZucURpWlMrb0lDSHhGeFhrdUZlQW54djlX?= =?utf-8?Q?nrMiZ17qmHP3o/UtS2OrxL1wfCimDarm8uFlM0RH7Q=3D?= Content-Type: multipart/alternative; boundary="_000_BA34FEB5F1524E73BCA6B7623DE50B71manchesteracuk_" MIME-Version: 1.0 X-OriginatorOrg: manchester.ac.uk X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 0159bd6f-63e8-47fd-f636-08dc10277958 X-MS-Exchange-CrossTenant-originalarrivaltime: 08 Jan 2024 08:54:50.5196 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: c152cb07-614e-4abb-818a-f035cfa91a77 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: yt9H7dGTIaAsy1j9blDj1RxVcR7npUBzsYrGkUrMEiaYObgGgTKoCJrToIQUs/ZtzlXz3P59C3uUt0aVfbA0+s/GfLBA+Jd58lDQcrnQz5A= X-MS-Exchange-Transport-CrossTenantHeadersStamped: LOYP265MB2368 X-Original-Sender: nicola.gambino@manchester.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=manchester.ac.uk dkim=pass dkdomain=manchester.ac.uk dmarc=pass fromdomain=manchester.ac.uk); spf=pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f403:261b::601 as permitted sender) smtp.mailfrom=Nicola.Gambino@manchester.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=manchester.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: , --_000_BA34FEB5F1524E73BCA6B7623DE50B71manchesteracuk_ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear colleagues and friends, [Apologies for multiple postings] This is a kind reminder of the deadline of 31st January 2024 for submission= s of papers to the special issue of Mathematical Structures in Computer Sci= ence entitled =E2=80=9CAdvances in Homotopy Type Theory=E2=80=9D. Submissio= ns based on talks presented at the International Conference in Homotopy Typ= e Theory held at Carnegie Mellon University in May 2023 are encouraged, but= other papers are welcome too. Submissions should be made via the MSCS Scholar One portal, choosing the na= me of the special issue from the drop down list on page one: https://www.cambridge.org/core/journals/mathematical-structures-in-computer= -science With best wishes of a happy 2024, Nicola (also on behalf of the other guest editors, Thorsten Altenkirch, Ben= no van den Berg, and Maria Emilia Maietti) --=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/BA34FEB5-F152-4E73-BCA6-B7623DE50B71%40manchester.ac.uk. --_000_BA34FEB5F1524E73BCA6B7623DE50B71manchesteracuk_ Content-Type: text/html; charset="UTF-8" Content-ID: <45B7FC699311DF4E9A7FC81E1027705A@GBRP265.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable
Dear colleagues and friends,

[Apologies for multiple postings]

This is a kind reminder of the deadline of 31st January 2024 for submi= ssions of papers to the special issue of Mathematical Structures in Compute= r Science entitled =E2=80=9CAdvances in Homotopy Type Theory=E2=80=9D. Subm= issions based on talks presented at the International Conference in Homotopy Type Theory held at Carnegie Mellon University in M= ay 2023 are encouraged, but other papers are welcome too.

Submissions should be made via the MSCS Scholar One portal, choosing t= he name of the special issue from the drop down list on page one:


With best wishes of a happy 2024,
Nicola (also on behalf of the other guest editors, Thorsten Altenkirch= , Benno van den Berg, and Maria Emilia Maietti)

--
You received this message because you are subscribed to the Google Groups &= quot;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.co= m/d/msgid/HomotopyTypeTheory/BA34FEB5-F152-4E73-BCA6-B7623DE50B71%40manches= ter.ac.uk.
--_000_BA34FEB5F1524E73BCA6B7623DE50B71manchesteracuk_--