From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: homotopytypetheory+bncBCP2XK6ZZEIRB4MH5TOAKGQECMT6OQA@googlegroups.com X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS,HTML_FONT_FACE_BAD,HTML_MESSAGE, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,URIBL_GREY autolearn=no autolearn_force=no version=3.4.1 Received: from mail-yb1-xb40.google.com (mail-yb1-xb40.google.com [IPv6:2607:f8b0:4864:20::b40]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 47bcc9a3 for ; Fri, 14 Sep 2018 00:42:27 +0000 (UTC) Received: by mail-yb1-xb40.google.com with SMTP id i14-v6sf5674424ybg.14 for ; Thu, 13 Sep 2018 17:42:27 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1536885746; cv=pass; d=google.com; s=arc-20160816; b=JCRYuqhtup2iF1suzcISRR3Y4vwGbJ3yONr6laprYYNjMxfiQY4XuVX06hQ3T+Givc fPdOO8X5Jni7fRuxxpnG9FoJD/u5zUeEhc83IP3pNJuclje3zzap396R7ZkuoNNRq9j/ enUYCsDs+CVJvF+xbB+uefIkRZ1rwYX6Nq8hC97cDQFgDhR8rO6qinsd6C7M4KVtTYVN 3zo+Ps9g2UdJ+f/AvAR2me0zX6s2ywPrEATFqBafIl8rLb8u5ECU/c7sQ5stmvTRYI6Z p1nyQFNsDGe4O7Gx2K55IrTXviggXjNGcxUgMgY2qSrO1fV5j+iOVa1nxpsD5ySmkM9D qVoQ== 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:mime-version:to:date:message-id:subject :from:sender:dkim-signature; bh=SY8dEaWg2NTaOanhclkJFFbkCpXEMpfB1g3QNIPJMFw=; b=dRJbFNUcXC5crdavNUcwUZoOf6IMxF83VyEWTQ1QU9I6vZGWAc+RfoJVoO1wOYMxah Our7WGiHSRylRPi5KARa8S2SOKfkLLFz1rifVjwRD5Pyo5dzrxae0NpjjQA+t0QcNH9O RsUUd5Z8jJg87YGAmkP8YBY/6kYRQzPX6QJR8n+/Yor/OL2lmm+NajJEX6aneGeQgzk+ L0AYyrgKjzZqcO9G8VMQz3cvehrRjd90KhVN0OuYv3154Oxo0v20/HdTUjlR8lzJq6v6 k0rc6/2VCmYWTFtYCeXHFFZseFtogZ1vUcvMsF598fBU47u0qVz9ADVwgjqHV0ikN6CW 3Y9g== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=neutral (google.com: 128.220.39.129 is neither permitted nor denied by best guess record for domain of prvs=78829f987=eriehl@math.jhu.edu) smtp.mailfrom="prvs=78829f987=eriehl@math.jhu.edu"; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=math.jhu.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:subject:message-id:date:to:mime-version :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=SY8dEaWg2NTaOanhclkJFFbkCpXEMpfB1g3QNIPJMFw=; b=ncN0I2vTHJvrJ8ph2R5grblZ6ATZznKDJZfd68RG/Jcau/RJSh2f82bPMFRhnjqIKk bdStu5RMfmLMGuWHv6NwNdRgZoTDADXkRG3RCNt2RBpzHyevdxYxmW2p2MLeYwKFEGdE YbvNKWlNCRq8WzUx6PBQ5ZfHlmKP94V5PeoEpONYl0Tnzeg6wBf9Z4oP9plG5Xbnnghk YlS5vJuefBuFVcfB7AKFaL1OMI328opegqE45P5o6Qgp6mF/gkBZ/HCe1nBrUZW/5wLh 86+4vpp88AerXJ/wnAHbxOEtEP5HJ5+4Nn569cWJlqOqCsIs3VlhwewuyjfWB518F/S7 SRBQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:subject:message-id:date:to :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=SY8dEaWg2NTaOanhclkJFFbkCpXEMpfB1g3QNIPJMFw=; b=BobhrrZh7HFzZc7QlQj1kJRCGJoZfTRlpVK8ycEPeQnj8y/+sAnSUgTi3icKnlwWnR tYIo/KAhp5abWNpCtrxRWNLE0tlgtMB4v2fYX6psYYTI1PToOnNpQ+gv1C51oRMvgr8t zyEgz7ND3NGv8lNhMrKiAARgK5JpfbWj64uKWZa1ZqUDg55H7b/jtYJVVIsYLa7gEtnc nyTo2jXw/sQqXBMr6FT0wPCVJuNKZTfqvSLE/jELyiIM0ZyhLRCkO7vHgYZmD1pLgl9a lXrsL/jxy3xdPUa5zKDvQWd4mPuP404/YLkMVZI1aboeuq0R42Olm5QmE023HqpY3bN2 kpaQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APzg51CIAZ/V49dRc/gIjtlR+ZPVjZfJ4DSnImTBRWKpz+/Va5u2EkBK Y90EmlUAIOdmRaCFYkL2zMQ= X-Google-Smtp-Source: ANB0Vdb0ugeuz/SRNi5CadkQI2iAh57228QxSIEunINnr27wBFrdF0iITPU/diHCLHQI3KhgxNrimg== X-Received: by 2002:a81:9285:: with SMTP id j127-v6mr4897ywg.6.1536885746093; Thu, 13 Sep 2018 17:42:26 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a81:9246:: with SMTP id j67-v6ls862572ywg.34.gmail; Thu, 13 Sep 2018 17:42:25 -0700 (PDT) X-Received: by 2002:a0d:f8c2:: with SMTP id i185-v6mr2184412ywf.211.1536885745640; Thu, 13 Sep 2018 17:42:25 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1536885745; cv=none; d=google.com; s=arc-20160816; b=ohK4Xi+V3OmhtgEKirm98rCOv308Gk7jJtRrCVuObS19ThuDVUyeWFemX2yYbO9n1p 7QUBNqfXZ/eJ8ZUsM+B2y78vFG1kU58OCNZ+yPzBqNLT4p01vEgUDDLVGvwqDXE9S94L G8IVNxUb01LPqFTXw4NgZKlkJhn5R17WrtcJfuPmPCQ8VW3n1YTtjsvFVs8loVZ2RJEs flZXDrIk+GyfnHhkAWY6CcekjNzFSDgrvn8KO6Mtywp7OWdUJRnbaOl1r4vlIa20zM5+ +xueVU8N9TasoiZiCpYXZWFONRPNiy3zLD0QE1c3baYodmAPtkJYzT/jfIeiCotCRnID fmhQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:to:date:message-id:subject:from; bh=tPUSusgHqJ6F9Boy4ol3kaNZkwcyfJikRMQZxSfZVU4=; b=CXKNoArtWrJLslwhkr7/OKNNfLiA111nM6+G8UwkyKmHwPAYTU3JZToe4/M6W/9kj1 sLQsRyBKt77IZ9VdQkFYvVW+TOvNc+b4GHK5KLSSvlUIqF8gpJB7crTV9bQAHCD6gvWp iu8fkdWrxa/id0hUv2JRVBJChsFClomczdcvwo4cL8vYpJ3vvz5j5zKesJ7M31ZsGFk1 bfKO4GRzzuKolOU8VRCnCVBXQl8RLGPYc/8A3xI46+RNu97hH/a4gjGIntg1nRM+hZQL mOiXFZpI62+FKsMZauXI3EWcaCutGH5LhXcQkx80BAR/ewB6XeTymA3HXeOl+9W+bavZ bCJQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=neutral (google.com: 128.220.39.129 is neither permitted nor denied by best guess record for domain of prvs=78829f987=eriehl@math.jhu.edu) smtp.mailfrom="prvs=78829f987=eriehl@math.jhu.edu"; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=math.jhu.edu Received: from smtpauth.johnshopkins.edu (smtpauth.johnshopkins.edu. [128.220.39.129]) by gmr-mx.google.com with ESMTPS id p4-v6si298526ywm.4.2018.09.13.17.42.25 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 13 Sep 2018 17:42:25 -0700 (PDT) Received-SPF: neutral (google.com: 128.220.39.129 is neither permitted nor denied by best guess record for domain of prvs=78829f987=eriehl@math.jhu.edu) client-ip=128.220.39.129; X-IronPort-AV: E=Sophos;i="5.53,371,1531800000"; d="scan'208,217";a="146124722" X-Amp-Result: SKIPPED(no attachment in message) X-Amp-File-Uploaded: False Received: from ext-244.ias.edu (HELO emilys-air-2.wireless.ias.edu) ([192.16.204.244]) by IronMTW2.johnshopkins.edu with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 Sep 2018 20:42:24 -0400 From: Emily Riehl Content-Type: multipart/alternative; boundary="Apple-Mail=_7AF82147-8F00-4FD3-8071-178175E130D6" Subject: [HoTT] MSRI semester program "Higher Categories and Categorification" January - May 2020 Message-Id: <0BF66219-7800-4D8F-96B6-CD9BDD0656DA@math.jhu.edu> Date: Thu, 13 Sep 2018 20:42:23 -0400 To: HomotopyTypeTheory@googlegroups.com Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) X-Original-Sender: eriehl@math.jhu.edu X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 128.220.39.129 is neither permitted nor denied by best guess record for domain of prvs=78829f987=eriehl@math.jhu.edu) smtp.mailfrom="prvs=78829f987=eriehl@math.jhu.edu"; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=math.jhu.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=_7AF82147-8F00-4FD3-8071-178175E130D6 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" Dear colleagues, I am writing to solicit applications for researchers who wish to attend a s= emester program at the Mathematical Sciences Research Institute in Berkeley= , CA to take place from January 21 - May 29, 2020 on the theme of Higher Ca= tegories and Categorification. A complementary program on Quantum Symmetrie= s will be happening in parallel. More details about the scientific plan for the program can be found here: http://www.msri.org/programs/323 You=E2=80=99ll note in particular the program=E2=80=99s goal to bring toget= her both users of and experts in higher category theory. MSRI supports research affiliates in three categories: Research Professors (applications due October 1) http://www.msri.org/web/msri/scientific/member-application/research-profess= or Research Members (applications due December 1) http://www.msri.org/web/msri/scientific/member-application/research-member Postdoctoral Fellows (applications due December 1) http://www.msri.org/web/msri/scientific/member-application/postdoctoral-fel= low I am happy to answer any questions about MSRI or the application process. L= ogistical questions can also be addressed to Chris Marshall, the MSRI progr= am director (chris@msri.org). Regards, Emily Riehl PS: Considerably more may be found at www.msri.org View this email in your browser Follow MSRI on social media: News from the Mathematical Sciences Research Institute September 2018 =C2=B7 www.msri.org CALL FOR APPLICATIONS 2019-20 MSRI is pleased to accept membership applications for the following 2019-20= Research Programs. Holomorphic Differentials in Mathematics and Physics August 12 - December 13, 2019 =20 Organizers: Jayadev Athreya* (University of Washington), Steven Bradlow (Un= iversity of Illinois at Urbana-Champaign), Sergei Gukov (California Institu= te of Technology), Andrew Neitzke (University of Texas, Austin), Anna Wien= hard (Ruprecht-Karls-Universit=C3=A4t Heidelberg), Anton Zorich (Institut d= e Mathematiques de Jussieu) =20 * denotes lead organizer(s). Microlocal Analysis August 12 - December 13, 2019 =20 Organizers: Pierre Albin (University of Illinois at Urbana-Champaign), Nali= ni Anantharaman (Universit=C3=A9 de Strasbourg), Kiril Datchev (Purdue Univ= ersity), Raluca Felea (Rochester Institute of Technology), Colin Guillarmou= (=C3=89cole Normale Sup=C3=A9rieure), Andras Vasy* (Stanford University) Quantum Symmetries January 21 - May 29, 2020 =20 Organizers: Vaughan Jones (Vanderbilt University), Scott Morrison* (Austral= ian National University), Victor Ostrik (University of Oregon), Emily Peter= s (Loyola University), Eric Rowell (Texas A & M University), Noah Snyder* (= Indiana University), Chelsea Walton (University of Illinois at Urbana-Champ= aign) Higher Categories and Categorification January 21 - May 29, 2020 =20 Organizers: David Ayala (Montana State University), Clark Barwick (Massachu= setts Institute of Technology), David Nadler (University of California, Be= rkeley), Emily Riehl* (Johns Hopkins University), Marcy Robertson (Universi= ty of Melbourne), Peter Teichner (Max-Planck-Institut f=C3=BCr Mathematik),= Dominic Verity (Macquarie University) Applications Deadlines Research Professors : Apply by October 1, = 2018 Research Members : Apply by December 1, 20= 18 Postdoctoral Fellows : Apply by December 1= , 2018 =20 More information on how to apply =E2=86=92 MSRI has staff to help you:=20 =20 =E2=80=A2 find housing in Berkeley =E2=80=A2 obtain a proper visa =E2=80=A2 find schools, day care, etc. MSRI also has special funds to help women with the care of their children. = (Learn more ) Questions? Contact Christine Marshall, MSRI Program Manager, at chris@msri.= org = . Share Tweet Forward This message was sent to chris@msri.org by the Math= ematical Sciences Research Institute (MSRI). To change how you receive thes= e emails, you can update your preferences or = unsubscribe from this list = . Mailing address: MSRI, 17 Gauss Way, Berkeley, CA 94720 -5070 Did you receive this email from a friend? You can sign up online . --=20 You received this message because you are subscribed to the Google Groups "= hcorgs" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to hcorgs+unsubscribe@msri.org . --=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=_7AF82147-8F00-4FD3-8071-178175E130D6 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="UTF-8"
Dear colleagues,

I am writing to solicit applications for researchers w= ho wish to attend a semester program at the Mathematical Sciences Research = Institute in Berkeley, CA to take place from January 21 - May 29, 2020 on t= he theme of Higher Categories and Categorification. A complementary program= on Quantum Symmetries will be happening in parallel.

More details about the scientific= plan for the program can be found here:
You=E2=80=99ll note in particular = the program=E2=80=99s goal to bring together both users of and experts in h= igher category theory.

MSRI supports research affiliates in t= hree categories:

Research Professors (applications due Octobe= r 1)

Research Members (appl= ications due December 1)

Postdoctoral Fellows (applications= due December 1)
<= div class=3D"gmail_quote">
I am happy to answer any questions about MSRI or the= application process. Logistical questions can also be addressed to Ch= ris Marshall, the MSRI program director (chris@msri.org).

=
Re= gards,
Emily Riehl

PS: Consid= erably more may be found at www.= msri.org

=
Follow MSRI on social media: =   
<= td class=3D"m_4108762129622132565m_-1929305588234985026mcnImageContent" val= ign=3D"top" style=3D"padding: 0px; text-align: center;">3D"MSRI"
=

News from the Mathematical Sciences Research Insti= tute

September 2018 =C2=B7 www.msri.org
3D""

CALL FOR APPLICATIONS 2019-20


MSRI is pleased to accept membership applica= tions for the following 2019-20 Research Programs.
<= tbody class=3D"">

Holomorphic Differentials in Mathematics and Physics

August 12 - December 13, 2019

 
Organizers: Jayadev Athreya* (University of Washington), Steven= Bradlow (University of Illinois at Urbana-Champaign), Sergei Gukov (Califo= rnia Institute of Technology), Andrew Neitzke (University of Texas, Austin)= ,  Anna Wienhard (Ruprecht-Karls-Universit=C3=A4t Heidelberg), Anton Z= orich (Institut de Mathematiques de Jussieu)
 
* denotes lead organizer(s).

Microlocal Analysis

August 12 - December 13, 2019

 
Organizers: Pierre Albin (University of Illinois at Urbana-Cham= paign), Nalini Anantharaman (Universit=C3=A9 de Strasbourg), Kiril Datchev = (Purdue University), Raluca Felea (Rochester Institute of Technology), Coli= n Guillarmou (=C3=89cole Normale Sup=C3=A9rieure), Andras Vasy* (Stanford U= niversity)
=

Quan= tum Symmetries

January 21 - May 29, 2020

 
Organizers: Vaughan Jones (Vanderbilt University), S= cott Morrison* (Australian National University), Victor Ostrik (University = of Oregon), Emily Peters (Loyola University), Eric Rowell (Texas A & M = University), Noah Snyder* (Indiana University), Chelsea Walton (University = of Illinois at Urbana-Champaign)

Higher Categories and Categorification

January 21 - = May 29, 2020
 
<= div class=3D"">Organizers: = ;David Ayala (Montana State University), Clark Barwick (Massachusetts Insti= tute of Technology),  David Nadler (University of California, Berkeley= ), Emily Riehl* (Johns Hopkins University), Marcy Robertson (University of = Melbourne), Peter Teichner (Max-Planck-Institut f=C3=BCr Mathematik), Domin= ic Verity (Macquarie University)
3D""
=

Applications Deadlines


Rese= arch Professors: Apply by October 1, 2018
Research Members: Apply by December 1, 2018
Postdoctora= l Fellows: Apply by December 1, 2018
 
=
3D""
MSRI has staff to help you: 
 
MSRI also has special funds to help women w= ith the care of their children. (Learn more)

Questions? Contact Christine Marshall, MSRI Program M= anager, at chris@msri.org.
=
<= tbody class=3D"">
Share
Tweet
Forward
This message was sent to chris@msri.org by the Mathematical Scienc= es Research Institute (MSRI). To change how you receive these emails, = you can update your preferences=  or unsubscribe from this list.

Mailing address: MSRI, 17 Gauss Way, Berkeley, CA 94720= -5070

Did you receive this email from a friend= ? You can sign up online.


=

-- 
You received this message because you are subscribed to the Google Groups = "hcorgs" group.
To unsub= scribe from this group and stop receiving emails from it, send an email to&= nbsp;hcorgs+unsubscribe@msri.org.

--
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=_7AF82147-8F00-4FD3-8071-178175E130D6--