From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.36.190.199 with SMTP id i190mr8276395itf.15.1475703901888; Wed, 05 Oct 2016 14:45:01 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.157.56.29 with SMTP id i29ls1821771otc.12.gmail; Wed, 05 Oct 2016 14:45:01 -0700 (PDT) X-Received: by 10.129.86.136 with SMTP id k130mr2806134ywb.125.1475703901391; Wed, 05 Oct 2016 14:45:01 -0700 (PDT) Return-Path: Received: from mail-qt0-x236.google.com (mail-qt0-x236.google.com. [2607:f8b0:400d:c0d::236]) by gmr-mx.google.com with ESMTPS id v21si3131258ywa.7.2016.10.05.14.45.01 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 05 Oct 2016 14:45:01 -0700 (PDT) Received-SPF: pass (google.com: domain of k.kap...@gmail.com designates 2607:f8b0:400d:c0d::236 as permitted sender) client-ip=2607:f8b0:400d:c0d::236; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com; spf=pass (google.com: domain of k.kap...@gmail.com designates 2607:f8b0:400d:c0d::236 as permitted sender) smtp.mailfrom=k.kap...@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Received: by mail-qt0-x236.google.com with SMTP id q7so436554qtq.1 for ; Wed, 05 Oct 2016 14:45:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to; bh=nKn3lCY+GsjvR7wKapyU3IGclxNw6tZoNNtVx4v31nc=; b=l9/7Cm3Fp2jFaXRhDRvspG5slw5wL8j3hZxsfImWmOqUtfkv7/E3q2a9VOCmJLOyb/ BKI29sjAGeIhsqz3XhyM68mAmYRkIdQ+coUaMn03MxTh3XnieaYIRCdIQMlxLRtmTBrz v33+TN9i69BF4o6zWta27U19Fnba/WDf2qwmAXkWk9LmVtbMX5wMSni+hUSSS7CeaIwH 3axblM60qend2/rhgMejvYz/LegvFTkVrkY5Gjqclt60aZ/CotoubIbZy6d3o1IRYyfa 6UpFY7mjIRLqAzYql4cMEZ9zDZ2CmDghcscz7/JW5RAH8a3PmunZE8F1ESNkCfjJ0CRV Z7Gw== X-Gm-Message-State: AA6/9Rnyv5tmlSm+cd6cV8s/rf9HFD9x9bZEcUFoHsmlM8tvx2FeJZceUn+DpPsSehlz+x7oc24AXsJAP/ORnw== X-Received: by 10.200.37.52 with SMTP id 49mr11731229qtm.62.1475703900857; Wed, 05 Oct 2016 14:45:00 -0700 (PDT) MIME-Version: 1.0 Received: by 10.55.127.5 with HTTP; Wed, 5 Oct 2016 14:44:40 -0700 (PDT) From: Chris Kapulkin Date: Wed, 5 Oct 2016 17:44:40 -0400 Message-ID: Subject: Math Research Communities on Homotopy Type Theory, June 4-10, 2017, Snowbird UT To: Homotopy Type Theory Content-Type: text/plain; charset=UTF-8 Dear all, We are pleased to announce that from June 4-10, 2017, there will be a workshop on Homotopy Type Theory, organized as part of the AMS Mathematics Research Communities program and held in the Snowbird Resort in Utah. The goal of the workshop is to bring together advanced graduate students and postdocs having some background in one (or more) areas such as algebraic topology, category theory, mathematical logic, or computer science, with the goal of learning how these areas come together in homotopy type theory, and working together to prove new results. Basic knowledge of just one of these areas will be sufficient to be a successful participant. For more information about the workshop, including the list of sample topics that participants may be working on and the registration information, please see the website: http://www.ams.org/programs/research-communities/2017MRC-1 All accepted into the program will receive financial support (room and board at the Snowbird Resort and up to $650 towards airfare). Although the application deadline is *March 1st, 2017,* early registration will be highly appreciated, as it will help us plan the event and ensure that everyone gets the most out of it. The majority of the positions are allocated to U.S. citizens and people who are affiliated with U.S. institutions, but a smaller number are also open to international participants. If you have any questions, please feel free to contact any of the organizers. Dan Christensen, Chris Kapulkin, Dan Licata, Emily Riehl, Mike Shulman