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 autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-pj1-x1038.google.com (mail-pj1-x1038.google.com [2607:f8b0:4864:20::1038]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 922f860e for ; Wed, 12 Feb 2020 08:18:01 +0000 (UTC) Received: by mail-pj1-x1038.google.com with SMTP id d22sf1940564pjz.0 for ; Wed, 12 Feb 2020 00:18:01 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1581495479; cv=pass; d=google.com; s=arc-20160816; b=K7ljxuEl1EfFjCrilQk/6+g+jlMeGQeL5VAKqJDt4rtQhJNzJb69aFPk/mD3ZH8H9B b1kxaKjcpWHVo4ewph9jBGsve3Kq+OLzektv95Z9uDIiWHwiKFaBKSpHgB+2BzHoKbfa 59b75HUC0j5W0zHe+wxuZH8j4wekVe3My+Sg9v4VboP5+jpaRE+QiGNG1aEW+szwc5Xy qRqxJOBLQHX9kJlTdpHUaiIOcj4aBkQaVhBEbNWkqYQoADgqz85u6/O8jtoAggoKffP+ 8LqEAeyJMoGjayMgrIcpo45sxQEhxzQgkXx3idAgu+Wsa31Yt4cw4Lojd/CZD1y6RA/s RsXA== 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:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=aSKtO1bMMesBQqlQXw8B5tgFLym36D1/efHcN12gD/g=; b=OLpDWeMXnyO/F3Dhy10gIyIZtnN1j6FbHnthVLCIfyR1qyu3QSuiwQiiyjzxCAn4qU AmI5urWxkTFjOXi40iEfx+Y2szYs974/NFkti1lFPjNWaoGW5Le+vjwnFXFg+tF+HkeB 6QGxgSqZ6UDc8WlslYZoceISQs8Sv4hHIDDEceW1oct464fpJvuOg+WQg5KQyUO7snL7 kV9cHa5zvOwz4rNVnY3c4YiECIV+tzjVMNHuro9D+0m45sAtlfCgfi7bXYfRhMOFRkR4 3KNov7dlTCzNX5lQVCNcI/rro640CT3CjeYss5cpe3rkKAkith1LH9V88XiQ9UGuB0vC EfIg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=K2soO6zA; spf=pass (google.com: domain of b.a.w.spitters@gmail.com designates 2607:f8b0:4864:20::b2b as permitted sender) smtp.mailfrom=b.a.w.spitters@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 :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=aSKtO1bMMesBQqlQXw8B5tgFLym36D1/efHcN12gD/g=; b=ic7XTT/13V6ddf44hR0Qw7Avhhy/mgBWDEinMxz+gngtjEzW0wff3+1xOVp3WDK7ie SEMIkfnVUE+nQLRc58BPXbHFN80jW26SgMVVW+5MaZXsJkoE3VAOfhSdy6Bcs/sr/KGE 6llIoTMOdm5UVMoapMQbO4eJlu5WytoTblGDtH9ZGhbR7y20ahv8SV0TPzebJvQVX+Ce yabFaGhiAgmP/b+a15Dy+Ezqs67lCsl09WYIn0Qkh3VuJ7qnBdSSYJfsgtX8drQdXFLt tKTR+9rA+VxvcwGBmY2WeWJ0eUCFFg2RdXcjSoVQ9SuCNeBiXYVplBTMqi8Q/PnlczBd eA/A== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=aSKtO1bMMesBQqlQXw8B5tgFLym36D1/efHcN12gD/g=; b=FeaBx2Jpi+7sNu/tE3jlbUzm80J/qeJIekatnvoV3wHCOyzpYY918Wv5moeZAV4Dbd aNufXFO8JTZ4h+D8TPrkoh9YSoOxJh4kp+G3yT8F4DJEpAr9jl3TgIbIHekXYlv3XQ6Z AclXkXWSrR4pZNPRHwAQ/GoIsYfDr4yifG4prtWnz9VZN7Rl4Ik6p63i3P24Do6syb7q VmGQjhd/XvIh9UGx6vY4Kl4IALkE/oTkEh9FidMNYrF5iLW0Srp66eieYrd0GgttN0Bo brfExuLX2aDBPquRhuXdtZpOr3OpyOLu6twiCpAJunWakRlqSeW2ZE8bSMIvM5IzabJk 0C3w== 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: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=aSKtO1bMMesBQqlQXw8B5tgFLym36D1/efHcN12gD/g=; b=OTld+Sfe3GM+YpZDTMjPyxemFUDyZK+1ghR1VXJ+gUjH7QM4vYwymS21gDx5lD5tV8 3QC/dg2r2FvPsFadcepj+HZMacMNiDY8NgsL1ISHCk2eoiZAKjXwksxCInATaXX0cvLH P60Ks2SOht5di9UDHhs1H/T4aeZvN2HJhmemjBaezNwUkGBHe9p2SHrGO5ozoDEjsy/C ZrSr+DmjloWZ7LfrTZG14O7CHQtxiG0cNsfjkKxB3Fqjs7b+C1kktlmSMaCjUlMxfObZ vP6tDa804u4QtgfNTy7MUxwvyYT5vbrL7vwQdjG3bqv1kpEJldHaQR9OOLaGKTLR1DI4 HybQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAXvxCV0/E2FIqFaOQC9E/TS6DAmOsieQ0ei3GVJTGwCdyZROWqi bNekOsUU2vYG6Gy87uL5NY4= X-Google-Smtp-Source: APXvYqxFUshKFo7qsfSyRF9JZjFeuPcPzbiYkFYRtPiy3kQy7vAJ3PrCBrWG8H4L4DrsB3nOmi4qKA== X-Received: by 2002:a63:8149:: with SMTP id t70mr7592248pgd.215.1581495479300; Wed, 12 Feb 2020 00:17:59 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aa7:9891:: with SMTP id r17ls6920200pfl.5.gmail; Wed, 12 Feb 2020 00:17:58 -0800 (PST) X-Received: by 2002:a63:5903:: with SMTP id n3mr11634458pgb.25.1581495478641; Wed, 12 Feb 2020 00:17:58 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1581495478; cv=none; d=google.com; s=arc-20160816; b=RC3WHR1Zzik4p+PGLnFIu4dBJfH6vHKLKNM6XmcOFbzvWHCZR+y6MTTMSs3Iil2gob /BfhcuTe0NwgBU6pxcpjqnMf7w4RV5FX1vNdKmdcW03HrllDcUxEotzxugr9F1EDgK+z 41ohwsXb2gtNmTLt+Ri/ApTc1ygVYIiN2+HUpVtTLpHM57RN+2glU8xh0iKqTD4pSDql ActoIdwLPpWtT/JpUgYo/aO5iMRGDrwo5ibSG38bRUfK/mluKjctrTQtTwWZ+CY78yNz zOW5eYznU8WKfc4C2Uo7EDSqm7wYU5+HKWAizujy89iHcz+M1q1UmLGhwNPfSfPBZJOI jtsQ== 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; bh=GTLdEQZmqYJO2xAoi8Zw9S9Tja1M7Wt8l4nFwxfBZow=; b=x5kHmj581RUF6DXTbK+iqvw6ZqBSiugL9yQNQfIYAj0swf1PNDvXe1QEkOODWX2WRM SMNdZrMXDVcOdrmA4g+wWDCOjf/XEIxQT1c5yDJAuWGvrWxIs6EIuX54s9xayDTXQMyn kZvg1NhjqWw4X/UkmGb09K1MW1Hgzx97DCxk4yQlQTgRBfO79AQwkkpjUALx9fm2TnD5 ojQh9yfSF5iyjarVpNedv0GaSMFuH/G914s8BzQq8sw7j9eFy82wWPLS9zCkt2KfAE8x PTm8rGWX4VezdXbLjFkTQYtMx5xBJ731CylC3WWC2S8WZfPWAE7VUy0IipjCx9erWRIr xxtg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=K2soO6zA; spf=pass (google.com: domain of b.a.w.spitters@gmail.com designates 2607:f8b0:4864:20::b2b as permitted sender) smtp.mailfrom=b.a.w.spitters@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-yb1-xb2b.google.com (mail-yb1-xb2b.google.com. [2607:f8b0:4864:20::b2b]) by gmr-mx.google.com with ESMTPS id h2si246971pju.2.2020.02.12.00.17.58 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 12 Feb 2020 00:17:58 -0800 (PST) Received-SPF: pass (google.com: domain of b.a.w.spitters@gmail.com designates 2607:f8b0:4864:20::b2b as permitted sender) client-ip=2607:f8b0:4864:20::b2b; Received: by mail-yb1-xb2b.google.com with SMTP id p123so720052ybp.2 for ; Wed, 12 Feb 2020 00:17:58 -0800 (PST) X-Received: by 2002:a25:8205:: with SMTP id q5mr9359968ybk.73.1581495477538; Wed, 12 Feb 2020 00:17:57 -0800 (PST) MIME-Version: 1.0 From: Bas Spitters Date: Wed, 12 Feb 2020 09:17:45 +0100 Message-ID: Subject: [HoTT] Events and wiki To: homotopytypetheory Content-Type: text/plain; charset="UTF-8" X-Original-Sender: b.a.w.spitters@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=K2soO6zA; spf=pass (google.com: domain of b.a.w.spitters@gmail.com designates 2607:f8b0:4864:20::b2b as permitted sender) smtp.mailfrom=b.a.w.spitters@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: , We have a summer full of HoTT events ahead of us! I just want to remind people that we have a wiki where we can collect such (and other) information. https://ncatlab.org/homotopytypetheory/show/Events -- 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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAOoPQuSeYFZ5nCX%2BCSTbGCcrFj0wMX0GRnYEQDc_iiroMWiYqQ%40mail.gmail.com.