From mboxrd@z Thu Jan  1 00:00:00 1970
X-Received: by 2002:a81:61c1:: with SMTP id v184-v6mr659914ywb.119.1528471876420;
        Fri, 08 Jun 2018 08:31:16 -0700 (PDT)
X-BeenThere: homotopytypetheory@googlegroups.com
Received: by 2002:a0d:d5c8:: with SMTP id x191-v6ls562466ywd.13.gmail; Fri, 08
 Jun 2018 08:31:15 -0700 (PDT)
X-Received: by 2002:a81:5789:: with SMTP id l131-v6mr1958776ywb.158.1528471875523;
        Fri, 08 Jun 2018 08:31:15 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1528471875; cv=none;
        d=google.com; s=arc-20160816;
        b=0JyqtC4gOQbkEMfdrviADPgMTSrUxj0wmXber52E8ney0IzBptNdP8MBJw0PS2vP3A
         GsngOkvoed70WlDFNMCAWzSBIh8l8kcVnavp+Jvx4M3vKKkb504+jZFBL3k6QQg7uA+V
         TN3SYL0QUIB/MJ0c3d2Oa4FDDOvpawyr58NFzno6UMQfahE1xiK72e2r1vp0W1c0t1Yg
         w6kFtjI8WM/p/1iScXq2AwOv4DWZR3GoLfQbNY9VcNe6dpf94A46m2yParyuAPw8Wh7e
         pwchVYyDFdd/upiXuCjyg2RRyo/aoSh8KHOXVZiWltX4ZdsOE1AR722K8naXIA7fZ+B7
         /jRQ==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816;
        h=to:subject:message-id:date:from:mime-version:dkim-signature
         :arc-authentication-results;
        bh=VYwrT25CmpVmY1uBzWu9h1omrMw3+yz0nqE2H6/olUY=;
        b=igwr06MhReCPXlSGFS2VgOvbjRhEHAxTYm1ePg48Jh+vlxpONq5ToBAIMd2P1Y+iNM
         K+MTybi/zaXD88medLekaKvUuTvEXIGLHKpfxJASMX4FkkUCsqjBXnWdcUC9v65TO4Wp
         mhtTgHLfP3iGd3ZRh3IZ7q9ATrPnSh3bV+dSkS1crCRrMcL5xy4ifpVf6LCIt6KEUjY5
         19WWLsdjRqbzKPWYawQV+yzGrgmeImh4GOkYmwzZjIvx6qhvWsKTl5C8MFWHehKokf38
         6HsYF+D/DC0NSIKy2guAUD4GaBWBTNhXrTpsxvhUognk9RyFX14FQVIB29uhqs32o3xB
         gD8w==
ARC-Authentication-Results: i=1; gmr-mx.google.com;
       dkim=pass head...@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=VPt88RXF;
       spf=pass (google.com: domain of awo...@andrew.cmu.edu designates 2607:f8b0:4003:c0f::242 as permitted sender) smtp.mailfrom=awo...@andrew.cmu.edu;
       dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu
Return-Path: <awo...@andrew.cmu.edu>
Received: from mail-ot0-x242.google.com (mail-ot0-x242.google.com. [2607:f8b0:4003:c0f::242])
        by gmr-mx.google.com with ESMTPS id x4-v6si609795ybk.2.2018.06.08.08.31.15
        for <homotopyt...@googlegroups.com>
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Fri, 08 Jun 2018 08:31:15 -0700 (PDT)
Received-SPF: pass (google.com: domain of awo...@andrew.cmu.edu designates 2607:f8b0:4003:c0f::242 as permitted sender) client-ip=2607:f8b0:4003:c0f::242;
Authentication-Results: gmr-mx.google.com;
       dkim=pass head...@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=VPt88RXF;
       spf=pass (google.com: domain of awo...@andrew.cmu.edu designates 2607:f8b0:4003:c0f::242 as permitted sender) smtp.mailfrom=awo...@andrew.cmu.edu;
       dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu
Received: by mail-ot0-x242.google.com with SMTP id n3-v6so16145875ota.5
        for <homotopyt...@googlegroups.com>; Fri, 08 Jun 2018 08:31:15 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=cmu-edu.20150623.gappssmtp.com; s=20150623;
        h=mime-version:from:date:message-id:subject:to;
        bh=VYwrT25CmpVmY1uBzWu9h1omrMw3+yz0nqE2H6/olUY=;
        b=VPt88RXFGXoiuh31d9wyhILwNkqcM1LWJjF8yxytA8tvE2kTfjoUc4LP7SjCMT6T97
         haou5Plh7Sbws/3nXFU9aQJmlUe/QMxo2tNHjc1833fYEMMlluUAbbvIqHpJRjCk34Ja
         JJTCsdan4/f/go5LVVRV0WW77QApdaP9mnOS0fFGC7+XuZJqZHTbusz39bS9e1Uz0Uu7
         TtMEeUDAo07LBxqFGpAPDNc6dlQPBLCMbKr7/wfJ+6cez1Bc3zueBSRnRfrghEvikW0q
         yk055NYWq2Aks636Khk7q946lBPhxcvL4DbpSg4y+0sQn0WeiFI1N/p20/8SrNcPfQjr
         JYzg==
X-Gm-Message-State: APt69E26m/4raQDqplvAqgTYkv0LyuFC1hPqTAOnNnwqtobF6PHj7Tr3
	bTaqZKtK+Vn0Nx1xAfLdhk4MIElRVu6xIU+XkahICxbxws4Rfw==
X-Received: by 2002:a9d:2525:: with SMTP id k34-v6mr4225472otb.180.1528471874872;
 Fri, 08 Jun 2018 08:31:14 -0700 (PDT)
MIME-Version: 1.0
Received: by 2002:a9d:71cc:0:0:0:0:0 with HTTP; Fri, 8 Jun 2018 08:31:14 -0700 (PDT)
From: Steven Awodey <awo...@cmu.edu>
Date: Fri, 8 Jun 2018 17:31:14 +0200
Message-ID: <CABeZCiaWELh8bV_DD2VXaBRjnWM5E6Ra=WSyMoV5ynk2XUm7gg@mail.gmail.com>
Subject: Save the date: HoTT 2019
To: Homotopy Type Theory <homotopyt...@googlegroups.com>
Content-Type: multipart/alternative; boundary="00000000000026bc49056e23173c"

--00000000000026bc49056e23173c
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Save the date!
Next summer will be the first:

International Conference on Homotopy Type Theory
(HoTT 2019)
Carnegie Mellon University
Pittsburgh, USA
11 =E2=80=93 16 August 2019

There will also be an associated:

HoTT Summer School
7 =E2=80=93 10 August 2019

Details to follow in the fall!

The program committee,

Steve Awodey
Andrej Bauer
Thierry Coquand
Nicola Gambino
Peter Lumsdaine
Mike Shulman (chair)

--00000000000026bc49056e23173c
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Save the date! =C2=A0<br>Next summer will be the first:<br=
><br>International Conference on Homotopy Type Theory<br>(HoTT 2019)<br>Car=
negie Mellon University<br>Pittsburgh, USA<br>11 =E2=80=93 16 August 2019<b=
r><br>There will also be an associated:<br><br>HoTT Summer School<br>7 =E2=
=80=93 10 August 2019<br><br>Details to follow in the fall!<div><br></div><=
div>The program committee,</div><div><br></div><div>Steve Awodey</div><div>=
Andrej Bauer</div><div>Thierry Coquand</div><div>Nicola Gambino</div><div>P=
eter Lumsdaine</div><div>Mike Shulman (chair)<br></div></div>

--00000000000026bc49056e23173c--