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=-0.7 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-lj1-x23e.google.com (mail-lj1-x23e.google.com [IPv6:2a00:1450:4864:20::23e]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 4ad33e94 for ; Wed, 22 Jan 2020 22:10:47 +0000 (UTC) Received: by mail-lj1-x23e.google.com with SMTP id r14sf261087ljc.18 for ; Wed, 22 Jan 2020 14:10:47 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1579731047; cv=pass; d=google.com; s=arc-20160816; b=slmWkt2BwSzzHbfXUZ5Qa8kw/1yR/7JPsRu6RzX6B4+aDAzuO3Q4BlFb9ZsXRJBJmz gM9QBlB56oT14el0weAje8Qyp59KJTqY/K+PIjf09qF1aBdzHWmAlH0amTgD1M8Vwcqo 5iNalwPndcnd4QSaoOCEn+55nb8GXhWIRUNBKmB7jhgExFhaCHXDUcQFFKxtI37tAzuy grp3ocjsq07SBzd/7OEWc8zX6+fjMx3CZXBEHiyaK0oikHw+tOritDE3OJBHsfjwWYPb FsA1CwKuam6NCXQwChoRI5v42ZhEmLBtAvGWTL0N7JWNy4aEZZcjgUZgn/53PO0kVB2i T6lg== 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:content-transfer-encoding:to:subject :message-id:date:from:mime-version:sender:dkim-signature :dkim-signature; bh=JMt0FPobcwlA32hEdZWWBQIgkmD0ZtZwmTrX/KnrT3w=; b=yTYQN3N95hfmRxKXmYtSPf50i349UanJdl1iyg2m3JESOmObVEaBZQd86MYwECP40N AvuH0tarOGYtCM5PgbJEgUE3ooVTWC+SQ8ilmprqGvbmkfZ7Qv6MpEJQuH9B2bl903xK zntp4D5onrmqlfYCV6XSTGL2pvwzu3NMOlHB5dI7E9jVROpN3ImoAGLOlR4iUUjIs2M3 My2X3L5vBbUbjHw0oVh2rhl8mgxHvn3kQuYkHeUehbwZ47iteSLbAITvYzE7ubXxj9NK sS7wta7sHtVPs4P7OtypNJXKPPI9QwyIhQwxzi/hgiKasX2OoCm+krklFSVBVxhgo3Bf GXng== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=h2Tr3LPz; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::533 as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:mime-version:from:date:message-id:subject:to :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=JMt0FPobcwlA32hEdZWWBQIgkmD0ZtZwmTrX/KnrT3w=; b=edZzfBSFW+pJmIvO/4ka5QMUqI2yRFlK/s/RKYmL14dclZmvv43ROG8E5IlxV+lM5V 0Ig0JpquBsdCXpquk6mfJf+tbgIbBRVmjCB/abCHtXO2hOzeOP4AP3IWuEgngucUV3YT dGwSJ8qzDBKdJl3wDZBWonU0Ps+4Z3YCuV6B0Zwg4duQ1hdCh8lfmXJaQ3V9xRZrlMKM BzqcRtGQ2mGt5MvsyHco/U+h1IFqNz7KpBgJzPSclFEmH+iklyTwdBFxDjr+0eG0i/3u WiUY/QO718YdnI33vPGC6+FsiiTv/GvKrFLrzpilbvwoqrbHyoeZ+U55e54A0vixQXiJ GJig== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=JMt0FPobcwlA32hEdZWWBQIgkmD0ZtZwmTrX/KnrT3w=; b=O1nS+CrxdIac3+KAbkCcNYxxIKNIB65Fv1d0Oo7IylBn0rq1cglZ2O1WfXmYM1e3zD 129r9tS78SxhR4qtZ9o42Ncl91LLcbA5ygGzHOAL8/35EHz9SwaOOjwDa1Z8QnrWl1Rw cHHsjMr1pBBrZNRzWqNSUN+drBhq4NxcM5nrhMswOjJCQcamy8Z+5bfz57UMJm/CH4LP x45gyojvOkz+RMtfQN2e/s6snqOfgKGslkjpKve4LYK6Jwl5X2ZPD3+RWuJdVV9F3OTj EwFsf/4AXuap87P7INyzpX4ute1VYYt03yq9cyDeJkzoGPlVPL5/QlJfQ9Lx51L65V5L xSDA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to:content-transfer-encoding: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=JMt0FPobcwlA32hEdZWWBQIgkmD0ZtZwmTrX/KnrT3w=; b=h7Gcdms25pYITWcNVKjpjYmPQnCLgV9qnyF2rV2p2XMagftZkBz9oeNp+RL9oJzZ8F x/ipR56EqXqxq0miOJkxo0UMFYyfdhxytj4JKmPbyCCC3TzvjDX/U5OO2BL7zYk7mAHX 9xLNwjc5EHMqmGEiQoEyiRwQGSBqpFF5d6/VgioWVXVn07zfJZQNUqAhJou4d3YJboVz zY9t2PpfYRrbAAJDWXdGvzBzToZ0ZlVe1SXkV9u7rJv8z4HlsupHvQuJZJUwO7ZO08yn aHlBeK4n7G+9bezHNYrGXIUTjQijYGwRa+7V8LXFf4a1p4XWydFzftBGJ0iX0PhZd7Ns 7sTw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAXtIVOH1mgMDyc6hRxpaYdCNuiq6k7qXb1TVl7aRcTZIuZ2P+/A /CVKaj5m2UBuWc0M5E3FYcM= X-Google-Smtp-Source: APXvYqy/oqF8cEwzHRhzXK8PDkm00cRjV0XLx8We5TqM/9Q/oxbRIuqO3X9E46ncDJJNRf7umWOhkA== X-Received: by 2002:a2e:9284:: with SMTP id d4mr20949714ljh.226.1579731047230; Wed, 22 Jan 2020 14:10:47 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ac2:518f:: with SMTP id u15ls4180295lfi.3.gmail; Wed, 22 Jan 2020 14:10:46 -0800 (PST) X-Received: by 2002:ac2:531b:: with SMTP id c27mr2927004lfh.91.1579731046247; Wed, 22 Jan 2020 14:10:46 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1579731046; cv=none; d=google.com; s=arc-20160816; b=GD0GzC+Mg5QQ8H+ZOk8MjlcOSaXZcZzaxzrRCn87nIMOMt8EOhbOfvyjqg0PcTe4jr 5Rh0pZvEgM1d86/7t6bGf/HmDuZGTSXTHa21U/RYBmKMYxIUaZNgg5jzII5DonTwPYS/ CYPkE/fWrj5jUPNay8XGcRhMbGvw1JPjFzxAgkkzL3tHBL8BkOlPi7l4IA8mNQ3eqhT1 2AnR62cxscuvnG7YvZF9EYY7sTF88//Xs6ujjJbvqB4lfm5K0nt+WywUwtWp0DT9o+qL 3Mfj98uS7yksgS/GDlzRej1WN2wR6NIMEH88FbwevtT0bqnonDHZwzv/47ADaVqRcx9A ek+g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature; bh=zR0q2RTkRy9OPCE4UmB5LnYrk/3Gn9rK7KbWnrgbUT4=; b=lr8xi5u0Jnlz2R8DyiE9oJa02UsxZKzBRGy8zb/cj7wI1dWYUzWZH1ydN2J9wzGD4F lWw1MLdD0zTxHIhDSK4to/+Ca5+jWGcsSMcCTRQfRPb+a61RkUglZaysJ4oSzsZYaEIC eZr4pNpJgMC9RJ6enKRhmQSm32Q1Gs+d4ngjwwd39KTV+kVMBAg5OHwfmuRT5s3f3Fnx tVVm2uQTownIHB3E5xByMLUVVuZVUhjT/isIpt78vCsiiJs0SpA4iqEXq0uK1C05BXaG e3kO+aPFpjFdyD71QEppueQ+6SbknjZ/Ugi9ch6oGgLrzpw7WcivOcZ/kq2m8SXr/K+P Wc8g== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=h2Tr3LPz; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::533 as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ed1-x533.google.com (mail-ed1-x533.google.com. [2a00:1450:4864:20::533]) by gmr-mx.google.com with ESMTPS id u5si9659lfm.0.2020.01.22.14.10.46 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 22 Jan 2020 14:10:46 -0800 (PST) Received-SPF: pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::533 as permitted sender) client-ip=2a00:1450:4864:20::533; Received: by mail-ed1-x533.google.com with SMTP id j17so1257666edp.3 for ; Wed, 22 Jan 2020 14:10:46 -0800 (PST) X-Received: by 2002:a50:9666:: with SMTP id y93mr4772268eda.4.1579731045665; Wed, 22 Jan 2020 14:10:45 -0800 (PST) MIME-Version: 1.0 From: Chris Kapulkin Date: Wed, 22 Jan 2020 17:10:34 -0500 Message-ID: Subject: [HoTT] Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) To: categories@mta.ca, Homotopy Type Theory Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Original-Sender: k.kapulkin@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=h2Tr3LPz; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::533 as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com 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: , Workshop on Homotopy Type Theory and Univalent Foundations July 4-5, 2020, Paris, France (not Ontario) https://hott-uf.github.io/2020 Co-located with FSCD 2020 https://fscd2020.org/ Abstract submission deadline: March 25, 2020 Homotopy Type Theory is a young area of logic, combining ideas from several established fields: the use of dependent type theory as a foundation for mathematics, inspired by ideas and tools from abstract homotopy theory. Univalent Foundations are foundations of mathematics based on the homotopical interpretation of type theory. The goal of this workshop is to bring together researchers interested in all aspects of Homotopy Type Theory and Univalent Foundations: from the study of syntax and semantics of type theory to practical formalization in proof assistants based on univalent type theory. # Invited talks * Carlo Angiuli (Carnegie Mellon University) * Liron Cohen (Ben-Gurion University) * Pierre-Louis Curien (Universit=C3=A9 de Paris) # Submissions * Abstract submission deadline: March 25, 2020 * Author notification: mid-April 2020 Submissions should consist of a title and an abstract, in pdf format, of no more than 4 pages, submitted via https://easychair.org/conferences/?conf=3Dhottuf2020 Considering the broad background of the expected audience, we encourage authors to include information of pedagogical value in their abstract, such as motivation and context of their work. # Program committee * Benedikt Ahrens (University of Birmingham) * Paolo Capriotti (Technische Universit=C3=A4t Darmstadt) * Chris Kapulkin (University of Western Ontario) * Nicolai Kraus (University of Birmingham) * Peter LeFanu Lumsdaine (Stockholm University) * Anders M=C3=B6rtberg (Stockholm University) * Paige Randall North (Ohio State University) * Nicolas Tabareau (Inria Nantes) # Organizers * Benedikt Ahrens (University of Birmingham) * Chris Kapulkin (University of Western Ontario) --=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. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CAEXhy3MUwr6Thv-ZHzRfKo%3DUTzHBU6mi-_hNCEWrA%3DgNmQApKw%= 40mail.gmail.com.