From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.157.34.108 with SMTP id o99mr3199288ota.50.1486088618270; Thu, 02 Feb 2017 18:23:38 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.157.12.97 with SMTP id 88ls3963694otr.34.gmail; Thu, 02 Feb 2017 18:23:37 -0800 (PST) X-Received: by 10.176.91.8 with SMTP id u8mr2476474uae.33.1486088617737; Thu, 02 Feb 2017 18:23:37 -0800 (PST) Return-Path: Received: from mail-ot0-x22d.google.com (mail-ot0-x22d.google.com. [2607:f8b0:4003:c0f::22d]) by gmr-mx.google.com with ESMTPS id n132si754853ith.0.2017.02.02.18.23.37 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 02 Feb 2017 18:23:37 -0800 (PST) Received-SPF: pass (google.com: domain of k.kap...@gmail.com designates 2607:f8b0:4003:c0f::22d as permitted sender) client-ip=2607:f8b0:4003:c0f::22d; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com; spf=pass (google.com: domain of k.kap...@gmail.com designates 2607:f8b0:4003:c0f::22d as permitted sender) smtp.mailfrom=k.kap...@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Received: by mail-ot0-x22d.google.com with SMTP id 65so4921795otq.2 for ; Thu, 02 Feb 2017 18:23:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=vY0jhiwiucBSgpholD+g8K9Rpca7YYbNmMKPzaLtzCM=; b=owvRaBKSe1Y8GeM7OPooAF/9E9gGO4Hf8UuINjZWuPutl32g46w3LaYTU1BSSBhZu7 qvi9QYHNWJ5gdEfk1qxpL3QhRxAq8rsPalKNpbJRsf4Av4/EE4waRZKvWbss1AkJ+tJn GGCaClHRIdkMfArzVrH68TPeI1ceqeuxGSTbWXgI1O45EVI46FE8CxyKBEdrytMbWdZj uHJ5kgNHGQsL4EyQdqHEZYt0tQGb/BufuQ7GCLt3kJrqDZbXkSymKKneZIQNDu6bgcGA q/OVKZuvzV3yawP0ateYCiIv50XPHQyuk/Z5Tq8tYJ0sFqFyyBsYT8IcbWubw90jXDdp WLow== X-Gm-Message-State: AMke39njHmixWRRi64RK/eYJw8te1Y2/jzVIk/RdQG4LLFbsUzIWy147BAz4evVpyJTFVpeX/u7grYypEz+Fyg== X-Received: by 10.157.42.193 with SMTP id e59mr5359985otb.127.1486088617064; Thu, 02 Feb 2017 18:23:37 -0800 (PST) MIME-Version: 1.0 Received: by 10.157.60.68 with HTTP; Thu, 2 Feb 2017 18:23:16 -0800 (PST) From: Chris Kapulkin Date: Thu, 2 Feb 2017 21:23:16 -0500 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, This is a reminder 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. The organizers are particularly interested in using this workshop as an opportunity to improve the diversity in the HoTT community in all aspects. 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). The application deadline is *March 1st, 2017.* 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