From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) 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,DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-vk1-xa3c.google.com (mail-vk1-xa3c.google.com [IPv6:2607:f8b0:4864:20::a3c]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id fd4e794b for ; Sun, 1 Sep 2019 12:28:52 +0000 (UTC) Received: by mail-vk1-xa3c.google.com with SMTP id l3sf5144915vkb.15 for ; Sun, 01 Sep 2019 05:28:52 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1567340930; cv=pass; d=google.com; s=arc-20160816; b=loDvwq6ccq2A3+vJpSSsO1sISuqA3BCsTNJt7tOE/CJNThcUdOm+JMyc9Hx06BX/Gp Lk2u42AGj44RQgjo4zv7WcoPl1s891ij0luphYZyz5rO7HyLqZmAKx3YWLShSgn2Xpoc bbpogcWScBDDHOKV8JNKlxYV+7fqWtvS+Iw4w5AFfDlK33evzQGHMVupugZ85vZOE2gV QLo+U8+99doO1/TAQoJieozoA37SNHN+O0jcKvrt0VPaOhAakWJpo1khF6uqut/blMas UxCjVd0DWzpBfXp0FPTu3JfOkk2iCa0ur2YY/1WQQ+bXWQf7+az1+ArpXcTKQqKtqukw IUQg== 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=PkK2rZROmpEdtvDTJ8ArGDM9YkKQylOxZGYhrOY0q8E=; b=Jub61/0RP3T65IdjFrWBxB+94Adq6hiRujMcLFTe8Dpf0T82fGpVwYvGCZ1nq8FZTy GHX18UsSsNXOqQ6DP4rXLGgV0+GQHsZJSdJhyWcE+aUQy0gaOkbIL5JhPsMXWws6d32K 4KzgX/67vy5MhV1ECd7kuUxtQdFDYpG5YpnXrBAF9jTIaZvjFD/8CMdB9hqdmExe1to8 TPFM0iFV+PnMtDai3GaymUrFmXecAqu4rQ/iyEFsbyIPaMadc+2pZ/RVmbaRwJsFU1oF 1NehEBDjVsGYXRQypJx7erS2NGuPGZzIKp52dX2IwsPMFPMcJFkSaJXOkh8VjhKzAR90 YJiA== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@wesleyan.edu header.s=selector2 header.b=D4DOJwDc; arc=pass (i=1 spf=pass spfdomain=wesleyan.edu dkim=pass dkdomain=wesleyan.edu dmarc=pass fromdomain=wesleyan.edu); spf=pass (google.com: domain of dlicata@wesleyan.edu designates 40.107.69.135 as permitted sender) smtp.mailfrom=dlicata@wesleyan.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:to:subject:thread-topic:thread-index:date:message-id :accept-language:content-language:content-id :content-transfer-encoding:mime-version:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=PkK2rZROmpEdtvDTJ8ArGDM9YkKQylOxZGYhrOY0q8E=; b=g1V2+osm8JTvL35b1aPew8PYYmh5kmGftjwwOnDYvo1dtFSeIumYcWPut3RimhkEXa WPC78ALkTMbB6VgquIT23pbwhEJcMVmyFbwMVzi86Bd8ltxA0+9SWxBQ8kpd1CtkhUaq G42/6rxk1PlyZfWYYxL5Sn8rbwWVXX84ut16KoB8HW/k0pjNNUz9ZdPmJC3kENJi2g86 2X85B3NfcClRw8kkXr4O73E/kK61IL9Cn4Pibz9wpXrli6dhC2eVQGtf+2VZZaxbSAMV wNBdhd/gpvDw+mpaUvX+lYdD4PP/XJOB6KV5RAlmLlXEHxKxSN6IN2danwrZq3E+GL9g 8R5w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:to:subject:thread-topic:thread-index :date:message-id:accept-language:content-language:content-id :content-transfer-encoding:mime-version:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=PkK2rZROmpEdtvDTJ8ArGDM9YkKQylOxZGYhrOY0q8E=; b=AaKshbyMcLcKay/Dgr9qjnycBNvv55WsIrYW4M5wjQoa5lPqXp64QBLXHQwEqfNTuh AAsNZNRXScS3uoRn4d/FeemkT5oKCy5ZMk4HzZ1xymzASwAaWwC/DFPaxBQqRKx5XFHz gaMGYfz20wrFA6tGL+tg3jq+tOgZ+4nMEybVhU0UnV6iF9+JuwHTXvYmdxESE3SYufHx uShZ95Sysxwy8+EbSU88l1WnpohfB9rUEGr4oSUFGd13yqDDXZW3TpFuanb0DI5VGMQ4 q9qLZQTa8QEsCrRtK2+ZfcNhE50mdUJrHIjyztlhYSRfOo2LI4RySNbaWmmlIt/JPtna Y0Ug== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAVUgxSPbCXPwHGEKloAPE537p4xfmONR/sW71GCjEJ6NStn4zB7 sIAEx8l6Bj6YeKuYl6/nqy8= X-Google-Smtp-Source: APXvYqygtJB7X3IiCwE2kMOlxtNAMikj8IppZuKT4bVejowqCDsv09KSkOcgxsX9eLml+PgU2VRabA== X-Received: by 2002:a67:2742:: with SMTP id n63mr1503715vsn.178.1567340930637; Sun, 01 Sep 2019 05:28:50 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ac5:cdd5:: with SMTP id u21ls355119vkn.12.gmail; Sun, 01 Sep 2019 05:28:50 -0700 (PDT) X-Received: by 2002:a1f:d643:: with SMTP id n64mr5055309vkg.34.1567340930187; Sun, 01 Sep 2019 05:28:50 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1567340930; cv=pass; d=google.com; s=arc-20160816; b=inExflC33DR4FU4/TB8g+K3O/b14kxDT3C/f4zYdqNnFfAuuwdEmm1OSAagIAO2YsE k7WOa5PrzXm1+Ex3wynigO/01HYA/Hwf5gzgIwyhQykwEhy46zs1c50HmbW3LDQSAAB3 tGDLsAuF0r6N6bapDSX7+7GNC0UKNHkUqSj5Y1vDf7LD6rQNicGrKbT0dgg7iO5N6nQH QA477dZmGipSwX0yXLcrgzv7+U2o1RN18JI5tJge/HzpFmh9bjIVkCkTKKBv4dIfVlV2 +TPVfwDTrr5Pf1eVFC5wZpdFnfBtt8y6gGvOCMQGdnt/oVxy3tm02ZNCf6tcFjcGcNJy oo2A== 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:dkim-signature; bh=dMDkZsX6kqhE7TzR4/AHjzDf20nGVAbhjmFS+r6Umbw=; b=xCGNhWQHG0cASTL1/tLKOL5KRc+aRFaGJQlT8X1ZRFFowdK/+XLzXmnkUQ0V7Y2hlH LaxzDRmBVbssR6qI8teM97UJAwXwXwmR9a1biroxIlMkk7YVKg9eVjjHxKXnYSNf4SC3 UShSibSMO6HW+2i5tk7N8jH2sSsiV54q+NWIwho9kOUCYfXSK7+kD92UZXc8ijlk1ke3 SV10HaOZc9BQpMbMSbZ4zI0AoJp+z3ZmopYI7gI538vy7UD/hTjH0ItbJWzJg+PvSnZH kOHX0tGWdLVPSJ6FpqiLfU1a7RGyW1vBB09pT+wVO2Gl0J3b5ZxRtHURmJCNcj1p+jjt Vahg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@wesleyan.edu header.s=selector2 header.b=D4DOJwDc; arc=pass (i=1 spf=pass spfdomain=wesleyan.edu dkim=pass dkdomain=wesleyan.edu dmarc=pass fromdomain=wesleyan.edu); spf=pass (google.com: domain of dlicata@wesleyan.edu designates 40.107.69.135 as permitted sender) smtp.mailfrom=dlicata@wesleyan.edu Received: from NAM04-CO1-obe.outbound.protection.outlook.com (mail-eopbgr690135.outbound.protection.outlook.com. [40.107.69.135]) by gmr-mx.google.com with ESMTPS id y12si186977vke.5.2019.09.01.05.28.49 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Sun, 01 Sep 2019 05:28:50 -0700 (PDT) Received-SPF: pass (google.com: domain of dlicata@wesleyan.edu designates 40.107.69.135 as permitted sender) client-ip=40.107.69.135; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Cc9sKDYotUdLAjgvMY2j+sVgF8OhZZ+UBU13PdNf70DNu0Y9NRSssJK2WK2n1gjg22MjGbeuz74tX97VBZdhZEd9FmtBe74DQucbBNHlDwRwVUzPBnllannUB4U/AFacre/up+zf8BuqbNs4mJQgBQxHEHCk8+WSkVgLF2ShFTYj96yDoZmRaH925H1jrbqATse6AKJHLtyH5E3tD2A4qUT+31QTeuNq7wzooXbTXEDbl5Yc8P3GdNqAXy1SmbfbzTn+hqrOvx/o9J4g2z5OeS8DQJhODlGoTwBhIvKG3kZ5z+HBCC35g8aSLJ0xtw/d+0c8j2HmrWjTDsaual6Iug== 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-SenderADCheck; bh=dMDkZsX6kqhE7TzR4/AHjzDf20nGVAbhjmFS+r6Umbw=; b=VYlx/a1N7eN87+axUT/uMvgxvpPBJoVaKKg4L8y+Ni8npDqTPwFyR0FVK3c+7gvRRqOgrOg7AfTHzY0lW1jwpN1aYKZJbojdKU9eyoaoNqRW2yUaDZ8FcwSXfcW+jBsMWlz/RzBksDjPPEyltPzajaV/kBaPcmfteGJmQVmxUTm/JJ4Ko3w9AVgQvVQWOWA1S8yUMawssnP60d2EaWZrxc7nT9wnsGaC9oj3VcmTy5LAnKx6NBm5M1eHFqFxMvTXgFpQBEy3SQW7glx9n37L4efigDXokRGbEdxIUoE4y5q80H7KXQU/oIklXdmgHd7wdl6Sx3nouvpilf1XmaVMgw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=wesleyan.edu; dmarc=pass action=none header.from=wesleyan.edu; dkim=pass header.d=wesleyan.edu; arc=none Received: from BYAPR04MB4597.namprd04.prod.outlook.com (52.135.238.74) by BYAPR04MB6167.namprd04.prod.outlook.com (20.178.235.15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2199.21; Sun, 1 Sep 2019 12:28:47 +0000 Received: from BYAPR04MB4597.namprd04.prod.outlook.com ([fe80::813e:a30:9cf:b7d4]) by BYAPR04MB4597.namprd04.prod.outlook.com ([fe80::813e:a30:9cf:b7d4%7]) with mapi id 15.20.2220.020; Sun, 1 Sep 2019 12:28:47 +0000 From: "Licata, Dan" To: "homotopytypetheory@googlegroups.com" Subject: [HoTT] Call for papers: HoTT19 special issue of MSCS Thread-Topic: Call for papers: HoTT19 special issue of MSCS Thread-Index: AQHVYMDNiEjahGazq0i7IGwT3onw4w== Date: Sun, 1 Sep 2019 12:28:47 +0000 Message-ID: <86F34F3F-CB25-43BC-8C82-9A8052F3597D@wesleyan.edu> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [24.60.108.192] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: fe5d4d66-e36c-4913-a2b1-08d72ed7f030 x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600166)(711020)(4605104)(1401327)(2017052603328)(7193020);SRVR:BYAPR04MB6167; x-ms-traffictypediagnostic: BYAPR04MB6167: x-ms-exchange-purlcount: 1 x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-forefront-prvs: 0147E151B5 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(4636009)(136003)(366004)(376002)(346002)(39850400004)(396003)(53754006)(199004)(189003)(316002)(186003)(6116002)(3846002)(5660300002)(256004)(2616005)(66066001)(6486002)(76116006)(66946007)(64756008)(91956017)(99286004)(66556008)(66446008)(66476007)(2351001)(6506007)(86362001)(102836004)(33656002)(75432002)(6306002)(26005)(88552002)(2906002)(6512007)(478600001)(2501003)(966005)(25786009)(5640700003)(71200400001)(14454004)(81166006)(1730700003)(81156014)(305945005)(7736002)(486006)(8676002)(476003)(71190400001)(6916009)(786003)(53936002)(6436002)(36756003)(8936002)(225293001);DIR:OUT;SFP:1102;SCL:1;SRVR:BYAPR04MB6167;H:BYAPR04MB4597.namprd04.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; received-spf: None (protection.outlook.com: wesleyan.edu does not designate permitted sender hosts) x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: z4vQS1u7qOHnElWE2vLEwD89apoyoTKqc58kFpU/FLtktdj4WkMc2xldXfORhP+40kOiC8XC2jUbNRsQ7UjVGAAUSufTrNH1dqR3qxyGhQnsRuWPn/j6o7210LySF8qn1T03uCcAuNuMYj1u9AXRmUlT09dpbrpKdRrvqwKDF1i3bMP2W1OTMpU00h3p/p/ip0Xx2XITactNYpXjv/OPuDiVZA8oXFIv6g5koIs5kRv3CEHQaZuzQGKdojeWWIVb59QC/gIsw3b3I2cQPSjG2fDvDbTg2Xl9Mif3E2tOkNVr89+nsMaJ7uShrgBVB8//9gOkVcB+WUVgOhyVRXhKOh+1UhsUClH6pYn7s4gzAvr+v7QIw1XFnvrGDSHOfRIRQ5vb+jtMqd27LhMolSlJlQqlK31dZAA5fhW6GmNpW1k= x-ms-exchange-transport-forked: True Content-Type: text/plain; charset="UTF-8" Content-ID: Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginatorOrg: wesleyan.edu X-MS-Exchange-CrossTenant-Network-Message-Id: fe5d4d66-e36c-4913-a2b1-08d72ed7f030 X-MS-Exchange-CrossTenant-originalarrivaltime: 01 Sep 2019 12:28:47.7677 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: a9fd6c79-6d71-49f3-9111-0c8e591dc3d1 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: L4NKF3SIZOb8MpKvVSWR9EVyVlZ9/enM6P8k1bFr5+JiC2dCaYbng9qg5ThVtpZjWIMJdwqczF9fFYTL9FBZrw== X-MS-Exchange-Transport-CrossTenantHeadersStamped: BYAPR04MB6167 X-Original-Sender: dlicata@wesleyan.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@wesleyan.edu header.s=selector2 header.b=D4DOJwDc; arc=pass (i=1 spf=pass spfdomain=wesleyan.edu dkim=pass dkdomain=wesleyan.edu dmarc=pass fromdomain=wesleyan.edu); spf=pass (google.com: domain of dlicata@wesleyan.edu designates 40.107.69.135 as permitted sender) smtp.mailfrom=dlicata@wesleyan.edu 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: , Hi everyone, There is a new special issue of Mathematical Structures in Computer Science= (MSCS) on homotopy type theory and related research areas. Specific topics= include, but are not limited to, homotopical and higher-categorical semant= ics of type theory, synthetic homotopy theory, applications of univalence a= nd higher inductive types, cubical type theories and cubical models, formal= ization of mathematics and computer science in homotopy type theory / univa= lent foundations, and new type theories based on higher-dimensional ideas. = Papers on work presented at the recent HoTT19 conference are particularly e= ncouraged, but the special issue is open to any work on these topics.=20 The deadline for submission is 15 November 2019=20 Guest Editors:=20 Dan Licata Wesleyan University, USA, dlicata@wesleyan.edu=20 Peter LeFanu Lumsdaine Stockholm University, Sweden, p.l.lumsdaine@math.su.= se To submit your paper, please follow the general submission procedure for MS= CS from=20 https://www.cambridge.org/core/journals/mathematical-structures-in-computer= -science through ManuscriptCentral. On the page labeled =E2=80=9CStep 1: Type, Titl= e, & Abstract=E2=80=9D there is a field for =E2=80=9CSpecial Issue=E2=80=9D= ; Please select =E2=80=9CHomotopy Type Theory 2019=E2=80=9D from the list.= =20 -Dan --=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/86F34F3F-CB25-43BC-8C82-9A8052F3597D%40wesleyan.edu.