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.8 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_EF,FREEMAIL_REPLYTO_END_DIGIT,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,T_DKIMWL_WL_MED autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-ot1-x33a.google.com (mail-ot1-x33a.google.com [IPv6:2607:f8b0:4864:20::33a]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id c0f52e7f for ; Mon, 24 Dec 2018 15:47:50 +0000 (UTC) Received: by mail-ot1-x33a.google.com with SMTP id g4sf7606073otl.14 for ; Mon, 24 Dec 2018 07:47:50 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1545666469; cv=pass; d=google.com; s=arc-20160816; b=I1tyTzr3WJszOyLXCrc1Ei8Cnwjkx0PHvH8xtzrWZCIBV/wo9lB3XG+tMMpqGrVJPP MnC2XFXKiX6nEdKE2oFbwtAPlOrIWB+9FR7nD6uGVPez5PtGLOgXGXO22zwcXdmG7WV3 TFXYscReMoGuLeQ6XnLiZq2oLgMyczBogoMmUTuyoPcKOMfRWLLL5xCITF+Al6lj6POf UoeK04g0aQ5Ba2reD6GRkVKGx3F5e9XZQJ0kjOgR+VVSAUMdWmndMYZFFDM3lvypotwV +RKcb4v8oH2Cmtj6T5+UNJZ/t6HMlJeJmB/T7lCI/3Zu4mGGjRhP0FtyoxKSPYuaNBeK 0ysA== ARC-Message-Signature: i=2; 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:to:date:message-id:subject:mime-version :reply-to:content-transfer-encoding:from:sender:dkim-signature; bh=KPw+3nw846wIEgV26HWu+aQu+pMbTnxj2gRM587TsfA=; b=zSXQLkPHA1pCTTOKd9HZwv3YkCC596PyPUzdW2mueloAVxbH9g2i4nCrD+Ch4y1VJl NDFESTrmACLN4nadL57zPmkcABjo7wEzdj+GQ40nGgxE5HAgveLSEGmfqsz+QQsCtkxQ TOTfYXzsvk7gFD2or/DnJQI1W/pdCL+//jaowNBU4GHbYLG4Pv3zyTx5wD/9yq9ulr+4 yMLv4gUeHRoK/G9bVnwuAuth5L/yenO5nr+6QIeCJWSNlN/g3InzAh1MWqNC3ByiyiYe HRwIpXZtl8Bk3sFsoTsBpqWqTLazTSIvK08sCKky0lRWFHTuPYKSsiOdL9CGRBLfIYnp rNkg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=SBnentKt; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::733 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:content-transfer-encoding:reply-to:mime-version:subject :message-id:date:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=KPw+3nw846wIEgV26HWu+aQu+pMbTnxj2gRM587TsfA=; b=MYfyyrgHnBymI3TLeevKjyN3pCMbLe9If3A9AwxT7eTRiGiTsByDVQ6VegjU4fzPrO j7IOnMyOScsE1j5RlwKzCXHiPDO0FOFfiOCdsIfmP4wCjvmFDnS63ClRLR+E2k+F20GT PWdEGwJNOaLifpYn0fnt2XnsDfuZOSM1G26fqZLnMPne6QpbeDhwKGl7marhm3lIxsjO UPqKo+rSgpp9P6ahNX+c9iRHaCRZKvFyNVjhzANlkghNa7renxyXYIO1XEJ/uaRoFDzr RAKz/TMOITE/ZJgo7ZOQolsqd+KJRiy55D/4MM9n7NL+IxxoGXF18q4elbSTAP/COolF AqYg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:content-transfer-encoding:reply-to :mime-version:subject:message-id:date:to: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=KPw+3nw846wIEgV26HWu+aQu+pMbTnxj2gRM587TsfA=; b=opyejzLlV9i+KWgfKsoqITkIWvhERNOKXCa5MTSt3mWrmLBJExSZk5GqTa093arqIh Q8kdhD9lBRf16OdCV7SNEXuWVHzi/2lRgGgAfxZ941cRaXjbDBiv8FvKOyeO6Sq1zBen ypUtDXB4nK+6Rvq/esOYmPOJe7RXNQGrUhnVOoiKlLYS13PAy1mwqQufCOWl/PYCxpIg pZSTeXI1snvsZDzlOMWiinyAHDYLLsOJRWMvo1UlXi2qkl4HVDwgW0V+bx9GqRYljjWm 0S5wa0EAKmGFH17sVoye/M69NXA3XhVH1RR/ugPS+TDvcsmWVm5Q4Vrx5JmmTvcStTf7 azzQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AJcUukeVAmzoUA2Hlpl/BJ0ag0rS5Kr1uS6LrY3pBkgWkXo1/wwydm/2 IrjzbGj0nleTibdKbsC/dXQ= X-Google-Smtp-Source: ALg8bN7/NVSWZTm912NhxuEwiJS578VohCC8svt9fRyMzZxvR5NB2EnJZxPbEKpl2eqWgObHzy3Yxw== X-Received: by 2002:a9d:24c3:: with SMTP id z61mr272989ota.1.1545666469189; Mon, 24 Dec 2018 07:47:49 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aca:4387:: with SMTP id q129ls985866oia.2.gmail; Mon, 24 Dec 2018 07:47:48 -0800 (PST) X-Received: by 2002:aca:da8b:: with SMTP id r133mr10736432oig.56.1545666468803; Mon, 24 Dec 2018 07:47:48 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1545666468; cv=none; d=google.com; s=arc-20160816; b=rLwuOwgWGHnZL0NwnjEZxkez9CzrpUjT81WPwSx7mg4nSD/qOfKNU3MaIW/nhPVJ4b c27AcdOxEu//RXjkZtjzIND+owcc/QqApbGgBx7YHLojW2tW3lhRHGuLrtkKSNJqvIcm CRdHMn+HtDI9vpddzFhJA0mUR1QxOhRN9M9RAnrJGG51drCekyR82XITmwK9OpE5FZLr 2st6/A3SQf5sOhf8FmJM9pE6AZleeJ6CBrVxf3cPD+2J7AWSowz2Erl3hz13N4+Q44fQ 9yoHq3+fD6ZB17ueYP7dQBslJEgQF3lR++DLpxAgDw7uNPKNSMHTUfTBKHqv3G8AIkHH 8g4A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:date:message-id:subject:mime-version:reply-to :content-transfer-encoding:from:dkim-signature; bh=12TC4Pr3w+nHE2N2nADvEqG9kBozHRGlsaOxnqrw4KA=; b=Buh5W115vddsY8wiNsNrEcizKGmCTKxvNk2U4BLE4onyNuKXvr2Az6AyXLgxgzY2wq YhbNj0/TVa7VS+MWRedZ04DZw42JkF5sQ0/019Cxnkpjgl6VTaGyN+tcQgL1Fu5GO9xP TzW2XauzDvVPSRKbPf7gT2PPc4tbzr2G/pwIEj6XrUcqUwQgcw0gLnkZMQ2OEVJrypGm 1hDmYNgoANW6modO92RyrLnW4uEnLP7TGBpb7BSaqTdI04kWsQ2TlcrzRR231oiWCIpR kbkwrpzrzJDbI0LwsL6r9Nqaud+qgUgHxqDGEXQ+KRqeuKiCBp0TV3XtSz6+QkN6n9VG NzWA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=SBnentKt; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::733 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: from mail-qk1-x733.google.com (mail-qk1-x733.google.com. [2607:f8b0:4864:20::733]) by gmr-mx.google.com with ESMTPS id p66si748382oib.5.2018.12.24.07.47.48 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 24 Dec 2018 07:47:48 -0800 (PST) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::733 as permitted sender) client-ip=2607:f8b0:4864:20::733; Received: by mail-qk1-x733.google.com with SMTP id q1so7167687qkf.13 for ; Mon, 24 Dec 2018 07:47:48 -0800 (PST) X-Received: by 2002:a37:a053:: with SMTP id j80mr12096522qke.277.1545666468387; Mon, 24 Dec 2018 07:47:48 -0800 (PST) Received: from steveawodeysair.fios-router.home (pool-71-112-191-224.pitbpa.fios.verizon.net. [71.112.191.224]) by smtp.gmail.com with ESMTPSA id d193sm12715041qka.91.2018.12.24.07.47.47 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 24 Dec 2018 07:47:47 -0800 (PST) From: Steve Awodey Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Reply-To: Category Theory Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Subject: [HoTT] Category Theory 2019: call for contributions Message-Id: <377F7A29-011D-4A06-91DE-6D464A9CCA90@cmu.edu> Date: Mon, 24 Dec 2018 10:47:46 -0500 To: Homotopy Type Theory X-Mailer: Apple Mail (2.3445.9.1) X-Original-Sender: awodey@cmu.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=SBnentKt; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::733 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.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: , *************************************** ** SECOND ANNOUNCEMENT=20 ** and=20 ** EARLY CALL FOR PAPERS ** ** CATEGORY THEORY 2019 ** (CT2019)=20 ** ** UNIVERSITY OF EDINBURGH ** ** 7-13 JULY 2019=20 ***************************************** Dear Colleagues, We are pleased to announce the 2019 International Conference on Category Th= eory (CT2019), which will take place at the University of Edinburgh from 7-= 13 July 2019. The preliminary *Invited Speakers* are as follows: =E2=80=A2 John Baez (Riverside) =E2=80=A2 Neil Ghani (Strathclyde) =E2=80=A2 Marco Grandis (Genoa) =E2=80=A2 Simona Paoli (Leicester) =E2=80=A2 Emily Riehl (Johns Hopkins) =E2=80=A2 Mike Shulman (San Diego) =E2=80=A2 Manuela Sobral (Coimbra) Further invited speakers to be confirmed. We are offering an early round of submissions and decisions to allow for th= ose who need an early decision or want preliminary feedback for a possible = resubmission. The *Timetable* is as follows: =E2=80=A2 Early submission opens: January 1 =E2=80=A2 Early submission deadline: March 1 =E2=80=A2 Early decision notifications: April 1 =E2=80=A2 Submission opens: March 1 =E2=80=A2 Submission deadline: May 1 =E2=80=A2 Notifications: June 1 *Submission* for CT2019 is handled by EasyChair through the link: https://easychair.org/conferences/?conf=3Dct20190 In order to submit, you will need to make an EasyChair account, which is a = simple process. Submissions should be in the form of a brief (1pp.) abstract. *Registration* is independent of paper submission and will be open at a lat= er date. More details can be found on the conference website: http://conferences.inf.ed.ac.uk/ct2019/ *Inquiries* may be directed to the following email address: categorytheory2019@gmail.com We look forward to seeing you in Edinburgh! The Organizing Committee: Steve Awodey, Richard Garner, Chris Heunen (chair), Tom Leinster, Christina= Vasilakopoulou The Scientific Committee: Steve Awodey (chair), Julie Bergner, Gabriella Bohm, John Bourke, Eugenia C= heng, Robin Cockett, Chris Heunen, Zurab Janelidze, Dominic Verity --=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. For more options, visit https://groups.google.com/d/optout.