From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 10454 invoked from network); 2 Sep 2020 13:58:24 -0000 Received: from mail-yb1-xb37.google.com (2607:f8b0:4864:20::b37) by inbox.vuxu.org with ESMTPUTF8; 2 Sep 2020 13:58:24 -0000 Received: by mail-yb1-xb37.google.com with SMTP id x10sf5190305ybj.19 for ; Wed, 02 Sep 2020 06:58:24 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1599055102; cv=pass; d=google.com; s=arc-20160816; b=s2MDhk76HUJ6xVd9pTAkkYAol2YrI1zF45JdF2Oh+FNAIxgLXfpJbEPGELlZ+3hQh1 IjQ45C4jjQSUNzvrHLqSGgUC6eozTuXX96ocHjRxKOBf5fNt2CPWFJRYDyUyTp61wFcr mLqHSiqwLsNX1OfvMNwVrcSGXk89XfJK37AHSdppC55S/sDYpdN4D1NuqwzIGri4eis5 eCrv/mmfaSCyB1h6U4IHLztSIrHvV3eeXjbQUe5LNH6DJMFPSvp+p3AHn6m0m8Dpj4Df KYBWgQjU3RUXrQOKZLCSthUIpO39FVPXoCnXFNx5ql8DfpVOdjcKsdi+xWzoWvIZjcvx WNNg== 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=SCUfqAwzMdw909M2GvGugFf1r9yCF17KIIbZE2H3tWc=; b=0GFVJLdVVt3FW0uhIQJKG06ON57iDN9VJdIO7HP1C8wq9omnzLKYC9H1AmktMNZQrf 37BUjWBEDyxkOGTfxJZEbTwA7WLWKt4e07DqYfE4KXeURzZqY/ZZ9Y3an51H3plqvWh1 2Y4t97YK2cE3ZO6Qtdd6ke9DsJLcpH9Fy38NETD3DLch4lYwEb1s8peIhiWia9WkIahl GpKgFsnncEirAFw5Tl5G5QdS0WtC7UffSGVFTGscS+/u+22+SJ+x/FhDu7f8NkNBf0R8 iE+GiQZCRxQMkHqzntIuHk7y/uZphqPSq/rKUl7y6dqjFl+jHW1vyW/pSSGNUQJxG6qF bgfQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Zh6+dk61; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::d2a 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 :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=SCUfqAwzMdw909M2GvGugFf1r9yCF17KIIbZE2H3tWc=; b=F5p8dyXSrxt8IyL92rqYie00s1oE9N0Ra7Yipv+cxODQGQ/tszlwEYcqM0MgoxwKxe 7RDIg9L04+Gi2q6lZmZa3QkrYiXYDYub8ZD1ziI6vi7ucII+vFNTAqG4zgfMa0hORG5F dFsaV0Zcv5mmmwjpv4+s4RUhO2SH6mpVdaKGZ+yflS4cpIywE2b63//oVsu0SwYsXjNx tlheEQNBXx2ybhNoxkQCAT6VlgYaH6D+sBYoZ0pPcmByxOxi3e7AkPUQrAlpmJo8iWWw YgzNCa1BNoTXhqIGvJ5PhjwoXlcBmdC6vm3774zy800+bAWYRV2tEDuTfiT1/9gDokac B6jQ== 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=SCUfqAwzMdw909M2GvGugFf1r9yCF17KIIbZE2H3tWc=; b=c0eTE1EkM4NNtcVGJjBbm3Bu/1EBBjBLsuRmKZPuVTz4BurJku+JoIoG0uRMD8LDpq /ofZ/Qx3HhsnL1TaNOlA6W/KlQ38wiwgJTAnvzJN/LupLeai/0YnINZqXN1Biz0T7Ma6 jvBEzTkHuCLkkH2kBA71riLkn7SCfWuyJkqmqC9hl/zAFNu1lQFWr6j7AWFlgC7kvPCq ycTmQ1TSYwJN4jas6R724jzree7Y7lSeXR1qzsKKzTP1XGJHtqhXYwtQBX3PEy2kwcHf vGsF1D5JxShDpilPA2S6rmTxJnAfajX06Bpqm0kSphubSOcaIJNJlv2O3PNPldFFCBmG fk+A== 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=SCUfqAwzMdw909M2GvGugFf1r9yCF17KIIbZE2H3tWc=; b=f3zsEFVFGcRBXuQih3dFa8zy05CktWd42n5dgvdNMIj6RbDWZwPiVf7Skxe65f9kwR TuXkRVO5awvmK/pPKvCGk8dBXVojV3+nsa18kG9P78Mz4yXtKSrxNhwP0f7MVI27dxHP yX92987BbOqN7tVQH5R6+Y7yMsNQigsq8c/9aoeH1U51u2ozjJwvlmK+2Es+B/tZvMZU Gi0rvMaKjXPMAxiEF+K3TR9kInmf/nNHX83xVZ1w1dercIrwpNRXXScrFr1GRgp/7PAw LjuzoOfwEe/34EpvWc3XqAyuk+MqkQrKG8jmg3dvmMneXAwUlktaj3bmXt1R6IjDYA/H Mexw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM532OyWjr4laZUpsLtW3UpfZk2GxQtxOEMk4QdbSPLv7LPmW4h51H x2B4pO7cHd9NkkNPi/hgjwE= X-Google-Smtp-Source: ABdhPJwjehqsxtj5abHzJQJgs2I0HrHAKlAErtjDjTwgjVeXCfwaSLII8xT0mV2cdeCTpEkQCzvIcQ== X-Received: by 2002:a25:8812:: with SMTP id c18mr11352618ybl.330.1599055102393; Wed, 02 Sep 2020 06:58:22 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:5755:: with SMTP id l82ls1255060ybb.5.gmail; Wed, 02 Sep 2020 06:58:22 -0700 (PDT) X-Received: by 2002:a25:2d69:: with SMTP id s41mr10171044ybe.417.1599055102082; Wed, 02 Sep 2020 06:58:22 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1599055102; cv=none; d=google.com; s=arc-20160816; b=cTmkEirnMnW1yTEoRq2+ajQCZf5mkWPpMCvfDhQdpCcnQtNiLzKonHOyBjSEODLg2l c69/o1Ym08kTe5xwBXdxJuOODMo6n3uAarv39pNCe94ihy02o8kOMe1EdCh6TdqCRScd C9Fqrk1oRnkIO9VRT5JjxrTYknEpdxeh+MZv8xhx7CLAT6HHkbB6C08EJbscpqEHSxwp FN9vwzwcndG/h8ES4SrCf7hUc6xyQh0KIUhem5TrwGSEd2gWN5kzVRXPj1CPcgGjUNIz +q+9BNiAlsabBFKgVFkQkp3V1vYeToLA9/5gMcC57D68f/Sdv2KbEmCgUS0gCEueMUi0 6p7w== 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=CNHKdFkbsihpG6NqruOi5SS+56rf0LnlCTALOZKW4/I=; b=pXF5QGQtcciVFP2y1Fm9lNC06M71srog0PHp/rCUX1sQY8Judc3NpQjrTioNDJ5Pt/ UAiGGBb2PptrvgFYMiC9Ptvd4dwsGnQkl3yaF08vDjAwPhnqLOqtBwmRe9HZs1YYRjmx ZTwbb7OuHYteeI5Xb7GJcB5SLua7zSA/skQ94W4YVr9K+atP/Yr3nDMaWgxIn/tHZ5vR mTUpYwvasVH1eYl/2ayeCDmZ+yjW8K+2LKBPxkH/uEFcEzIxWsBzmwriou4fXm/7PND3 QuAC0VFphAmTnOHEZT6dj73uQuuPXge4o0Iyk7Nd/9IU9e7e72Vqqm1Zj6hyxvlBiQs3 i0ig== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Zh6+dk61; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::d2a as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-io1-xd2a.google.com (mail-io1-xd2a.google.com. [2607:f8b0:4864:20::d2a]) by gmr-mx.google.com with ESMTPS id p67si212477ybg.2.2020.09.02.06.58.22 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 02 Sep 2020 06:58:22 -0700 (PDT) Received-SPF: pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::d2a as permitted sender) client-ip=2607:f8b0:4864:20::d2a; Received: by mail-io1-xd2a.google.com with SMTP id b16so5842570ioj.4; Wed, 02 Sep 2020 06:58:22 -0700 (PDT) X-Received: by 2002:a02:730b:: with SMTP id y11mr3482391jab.126.1599055101588; Wed, 02 Sep 2020 06:58:21 -0700 (PDT) MIME-Version: 1.0 From: Chris Kapulkin Date: Wed, 2 Sep 2020 09:58:10 -0400 Message-ID: Subject: [HoTT] HoTT Electronic Seminar Talks in Fall 2020 To: HoTT Electronic Seminar Talks , Homotopy Type Theory , categories@mta.ca, algtop-l@lists.lehigh.edu Content-Type: text/plain; charset="UTF-8" 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=Zh6+dk61; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::d2a 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: , Dear all, The Homotopy Type Theory Electronic Seminar Talks (HoTTEST) are returning in Fall 2020. The speakers are: September 10: Guillaume Brunerie and Peter LeFanu Lumsdaine September 24: Jakob von Raumer October 8: Yuki Maehara October 22: Ambrus Kaposi November 5: Nima Rasekh November 19: Pierre Cagne December 3: Jamie Vicary The seminar will meet on alternating Thursdays at 11:30 Eastern. The seminar is open to all, but some prior familiarity with HoTT will be assumed. For updates and instructions how to attend, please see https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html We know you have a choice when it comes to electronic seminars and we thank you for choosing HoTTEST. Best wishes, Dan Christensen Chris Kapulkin -- 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/CAEXhy3N6wK8Ywx8gAW6x%3DuvBtvD_JXHw7REtScTTY2DRH3%2BnUw%40mail.gmail.com.