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=-1.1 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-ed1-x540.google.com (mail-ed1-x540.google.com [IPv6:2a00:1450:4864:20::540]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id ec0da3ae for ; Wed, 3 Apr 2019 15:13:01 +0000 (UTC) Received: by mail-ed1-x540.google.com with SMTP id f2sf7731242edv.15 for ; Wed, 03 Apr 2019 08:13:01 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1554304380; cv=pass; d=google.com; s=arc-20160816; b=L/pCsYc2Rzidp4vrRT6l63cOFNKA1uas5u04oSv8+XT+tvY2iQCZaiV0rSMxOgKD3A ytLj2QzSFEMIQQXWHRXYawgMGPRdxnqLfueExx0gczHme3qm5cReLVYP01sYzCigrqJ3 EEpldQXGoLeEvq7b5EXLNODFR9BkUZaFpzkRb0cdLE3wdcyzAb5w5MtDW2ELk19bswHe Pa0syhfUzxYQYJywIAGFtBAvI53vRvq6kksGDwbO88yw8LEf+Wtv04Y+KzCr64LnMeYb 7MaIEnXm8P8KRPK85VLP0GyScjoDV5ElG7EHega9YtsRpuw0Y45ux3s8MfKSlrjt0cp9 czLA== 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:message-id:in-reply-to:to:references:date :subject:mime-version:from:sender:dkim-signature; bh=p6dpdhhlEspnIwnarav+7NzkjwOH0OQ86bgpXlFqLrs=; b=nuTjTlUvfy/gcparxlCCp6CKeJyPo2h++sHOfKhWeiZhDv0+lW/LwPdc+U0Ut4D9aT 8GxTbVGLF7L+Hum472sRYa0eKd/iFGUkTW2krr3PO5QPHJYzIJ70XIINhtJ4rMyGDZgc MVUh44N9ylKZNXpF6jHi/YQwItWvtOO5IvYhKN8RGp4RS67oC1grTpcB9N3APYpNJM/U cJ+16o97j7w3bzNHOazySpP0HrKic/qy8CIFmikwmezvE34wneL2T3aASctFoPGxrbM8 PM2r9qLc6R5a7V9Hs2r5VyizN+m5i359KERf7TUy8JojqHIZa/ymoNmds9rmL5pKqMTg hmmw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=Gt6TCxPn; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2a00:1450:4864:20::12d 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:mime-version:subject:date:references:to:in-reply-to :message-id:x-original-sender:x-original-authentication-results :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=p6dpdhhlEspnIwnarav+7NzkjwOH0OQ86bgpXlFqLrs=; b=i6+up3aJI3X89eGxEH2OnMUxDEk08/gAIG79LLG0owMaAs3cIQCv8603Wie7gUnp4G WJvBjwFvj5UPcX8Zf16JCbD/iEkTqGFSH8UELsrsaCs8zD+xoLcSIG6slzlze7RxVfbv QgoBUwml5wF44cJClJRxU45WJSKUhH3BZ6iradil15PmmiFbrcizR5E5aOu0B2a0XfVJ I9UIqsVKWQwd+CdgIDpFIh9tMYvU+5k/Rhd2HU1TT0WlZIkaRJPug1E9QU6ijfOyYJeg lHeqMFWD6p3Z+Z7UaJhAHyN8bUqQb/9VjzRz6OpI+zIMzBcN1L8+hxVd4Med7kJB6gGE Q1ow== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:mime-version:subject:date:references :to:in-reply-to:message-id: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=p6dpdhhlEspnIwnarav+7NzkjwOH0OQ86bgpXlFqLrs=; b=LV4RXNEtHr/qDvSGMBcEhaxp9CfbbdnVGirw3F8gqy7xNHAulwJdr1FbLWYulTW7GO KPlRkdMdvHPq03UTgRVtyZE9I3MQ/qkFkpYWdWcb6X2LWY3eNBlscAwsXKQaqWetEgqZ omGpZ7EhCbkwNRNjJFdbC4/ZP/v+mZmsGanNWA83Gs9dP0DIRbMbSV5prBp+b6Eqyt7S 9O4B4VPOy9dKA+nFa5DICvqDJf3ppK+Gz63HbsSLscfVqQji1R4QXqAkT/JnLXCTKAu9 2nG9nYzy6RAc8NH/kpcbGtI9hbqc2j4M3T6JTPNo87vjLMMCpVTpjPxNWjRcH2IRczm+ +AdA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAVr5ZjdxpNAD2ujvtmnZgTbEeh8LDOqpxq/bh6lzlx6ZNe8kFEc 1jlzkQ2s1LbTGSdKI8tlh+Q= X-Google-Smtp-Source: APXvYqyd79lY86GicRYgmGDrLI6bgflHR/IkBlmsJk1vecdALl4NutEA2WlnuyIMjRS1h6EXNWjSiA== X-Received: by 2002:a50:8818:: with SMTP id b24mr131074edb.86.1554304380049; Wed, 03 Apr 2019 08:13:00 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a50:9029:: with SMTP id b38ls398741eda.12.gmail; Wed, 03 Apr 2019 08:12:59 -0700 (PDT) X-Received: by 2002:a50:a4d4:: with SMTP id x20mr6524edb.6.1554304379320; Wed, 03 Apr 2019 08:12:59 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1554304379; cv=none; d=google.com; s=arc-20160816; b=UUlOw0Bjk/Za02QX/88YrRvmDu4B4n2xob8rs+HCAYJEScpZRO+B7mfaWisQIGX7yT OfEeH0RenJ4U8Ml6MeIimq7EqOKKl5TaayhOc3oMyxL5I5YzAfaXEiVRAo/43bZpWfu4 FeI0iiyZ7IjyU5kS2+0xlVCsjJ+xT5MSs6DdqRIsmr4sYMd9ompTu726r5EYfSWFjjXH ESeVhRE1hZKyv5x+rX2xBRYdM4JFzmYUUs1UIZCGGN/HuIbjrpTrkLeTmLomoZrEBDVD cwxx+y7ntRcjZdQsLBSlRhDxs2UpMWNUCrfQ1WS18e28V+a82TqXGrL7E4xRcyncccON WL8A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=message-id:in-reply-to:to:references:date:subject:mime-version:from :dkim-signature; bh=fVXvXoaS/RPuj0yxlJv43TysV2s7Tgpf1t3vXN8GL8w=; b=SBhhe2cZfIFQIkenBI584RMIeJ4ta6EWtQhvtEzs0oHFC4pFrXz7sXfIT+4o2dxuBX CZKU4s8wchUI3utQWrL5jaRO4PfsUIX0yom5a1Lm5i2rsl6YE5EvLXUNrVesl9hUiyLg 4YU8aFQYftE1MJkFbZG/yzpUzDh+wX94xraSWKW+CWROat3MhLIbDCZgKI7Dke1t74OH 84Ex/0cQJA/gZh0yh6NOV37J2UNjr28dQFSDy+L24sbKKuCUFwOBejiMHJrO97Yuyc0n cN5qcsWG0czvdt8CcczoPMPKzuj9ovXrKTRLGSQ5KZgicmltMhwcc2bbexubcyR/qA4U IWsQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=Gt6TCxPn; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2a00:1450:4864:20::12d as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: from mail-lf1-x12d.google.com (mail-lf1-x12d.google.com. [2a00:1450:4864:20::12d]) by gmr-mx.google.com with ESMTPS id ck11si689274ejb.0.2019.04.03.08.12.59 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 03 Apr 2019 08:12:59 -0700 (PDT) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2a00:1450:4864:20::12d as permitted sender) client-ip=2a00:1450:4864:20::12d; Received: by mail-lf1-x12d.google.com with SMTP id d18so11999062lfn.3 for ; Wed, 03 Apr 2019 08:12:59 -0700 (PDT) X-Received: by 2002:a19:c0d:: with SMTP id 13mr167346lfm.132.1554304379038; Wed, 03 Apr 2019 08:12:59 -0700 (PDT) Received: from eduroam-193-157-117-235.uio.no (eduroam-193-157-117-235.uio.no. [193.157.117.235]) by smtp.gmail.com with ESMTPSA id c7sm3587879lja.90.2019.04.03.08.12.57 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 03 Apr 2019 08:12:58 -0700 (PDT) From: Steve Awodey Content-Type: multipart/alternative; boundary="Apple-Mail=_2C2E36E5-4D71-4B1E-9EEF-50697BC55707" Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Subject: [HoTT] Category Theory 2019: call for contributions and participation Date: Wed, 3 Apr 2019 17:13:22 +0200 References: To: hott-uf@cas.oslo.no, CMU HoTT , Homotopy Type Theory In-Reply-To: Message-Id: <1C341130-6D4F-415B-BFFE-C2C464977547@cmu.edu> 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=Gt6TCxPn; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2a00:1450:4864:20::12d 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: , --Apple-Mail=_2C2E36E5-4D71-4B1E-9EEF-50697BC55707 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" *************************************** ** THIRD ANNOUNCEMENT=20 ** and=20 ** CALL FOR CONTRIBUTIONS ** ** 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 *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) Moreover, there will be a tutorial lecture on "Graphical Linear Algebra" by= : =E2=80=A2 Pawel Sobocinski (Southampton) and a public event on "Inclusion-exclusion in mathematics and beyond" by: =E2=80=A2 Eugenia Cheng (Chicago) *Submission* for CT2019 is handled by EasyChair through the link: https://easychair.org/conferences/?conf=3Dct20190 The *deadline* for submissions is *May 1*, with notification of acceptance = on June 1. To submit, you will need to make an EasyChair account, which is = a simple process. Submissions should be in the form of a brief (1 page) abs= tract. *Registration* is independent of paper submission and can be done on the co= nference website: http://conferences.inf.ed.ac.uk/ct2019/ The registration fee is =C2=A390 for early career participants, and =C2=A31= 80 for established career participants, and will include tea breaks, lunche= s, and the conference dinner. When you register, you may also apply for *fu= nding support*. Successful applicants will receive funding for accommodatio= n, but not for travel or the registration fee. Registration is open until M= ay 1 if you are applying for funding support, or June 14 if you are not. De= cisions on funding support will be given in mid-May. *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. --Apple-Mail=_2C2E36E5-4D71-4B1E-9EEF-50697BC55707 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="UTF-8"

***************************************
** THIRD ANNOUNCEMENT
** and
** CALL FOR CONTRIBUTI= ONS
**
** CATEGORY THEORY 20= 19
** (CT2019)
**
** UNIVERSITY OF EDINBURGH
**
** 7-13 JULY 2019
*****************************************
Dear Colleagues,

We= are pleased to announce the 2019 International Conference on Category Theory (CT2019), which will take place at = the University of Edinburgh from 7-13 July 2019= .

The *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 (Joh= ns Hopkins)
=E2=80=A2 Mike Shulman (San Diego)
= =E2=80=A2 Manuela Sobral (Coimbra)
Moreover, there wil= l be a tutorial lecture on "Graphical Linear Algebra" by:
=E2=80=A2 Pawel Sobocinski (Southampton)
and a p= ublic event on "Inclusion-exclusion in mathematics and beyond" by:
=E2=80=A2 Eugenia Cheng (Chicago)

*Submi= ssion* for CT2019 is handled by EasyChair through the link:
        https://easychair.org/conferences/?conf=3Dct20190
<= /div>
The *deadline* for submissions is *May 1*, with notifi= cation of acceptance on June 1. To submit, you will need to make an EasyCha= ir account, which is a simple process. Submissions should be in the form of= a brief (1 page) abstract.

*Registration* is = independent of paper submission and can be done on the conference website:<= br class=3D""> http://conferences.inf.ed.ac.uk/ct2= 019/
The r= egistration fee is =C2=A390 for early career participants, and =C2=A3180=20 for established career participants, and will include tea breaks,=20 lunches, and the conference dinner. When you register, you may also = apply for *funding support*.=20 Successful applicants will receive funding for accommodation, but not=20 for travel or the registration fee. Registration is open until May 1 if you are applying for funding=20 support, or June 14 if you are not. Decisions on funding support will be given in mid-May.

*Inquiries* may= be directed to the following email address:
categorytheory2019@gmail.com

We look= forward to seeing you in Edinburgh!

The Organ= izing Committee:
Steve Awodey, Richard Garner, Chris Heunen (= chair), Tom Leinster,= Christina Vasilakopoulou

The Scientific Commi= ttee:
Steve Awodey (chair), Julie Bergner, Gabriella Bohm, John Bourke, Eugenia=20 Cheng, Robin Cockett, Chris Heunen, Zurab Janelidze, Dominic Verity

--
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.
For more options, visit http= s://groups.google.com/d/optout.
--Apple-Mail=_2C2E36E5-4D71-4B1E-9EEF-50697BC55707--