From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10275 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Chris Kapulkin Newsgroups: gmane.science.mathematics.algtop,gmane.science.mathematics.categories Subject: HoTT Electronic Seminar Talks in Fall 2020 Date: Wed, 2 Sep 2020 09:58:10 -0400 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="15315"; mail-complaints-to="usenet@ciao.gmane.io" To: HoTT Electronic Seminar Talks , Homotopy Type Theory , categories-59hdLBrVOVU@public.gmane.org, algtop-l-wE+tr93vHrabo6XCN/16Dg@public.gmane.org Original-X-From: algtop-l-bounces+gsma-algtop-l=m.gmane-mx.org-wE+tr93vHrabo6XCN/16Dg@public.gmane.org Wed Sep 02 16:00:02 2020 Return-path: Envelope-to: gsma-algtop-l@m.gmane-mx.org Original-Received: from rain4.cc.lehigh.edu ([128.180.3.218]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kDTIv-0003nr-9T for gsma-algtop-l@m.gmane-mx.org; Wed, 02 Sep 2020 16:00:01 +0200 Original-Received: from astroiii.cc.lehigh.edu (astroiii.cc.lehigh.edu [128.180.1.149]) by rain4.cc.lehigh.edu (Postfix) with ESMTP id 67E8364E0FC9 for ; Wed, 2 Sep 2020 09:59:59 -0400 (EDT) Original-Received: from astroiii.cc.lehigh.edu (localhost [127.0.0.1]) by astroiii.cc.lehigh.edu (Postfix) with ESMTP id 6671FA052B for ; Wed, 2 Sep 2020 09:59:59 -0400 (EDT) Original-Received: from mail-io1-f53.google.com (mail-io1-f53.google.com [209.85.166.53]) by astroiii.cc.lehigh.edu (Postfix) with ESMTP id 1C7B5A0207 for ; Wed, 2 Sep 2020 09:58:22 -0400 (EDT) Original-Received: by mail-io1-f53.google.com with SMTP id d18so5818655iop.13 for ; Wed, 02 Sep 2020 06:58:22 -0700 (PDT) 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=CNHKdFkbsihpG6NqruOi5SS+56rf0LnlCTALOZKW4/I=; b=Zh6+dk619x6x3qH6unmIE8lkvHY5zH4FGTfoybBqpCErsQKuVa6FGe0xRnOcNAqjCI l25nK3qG8OBCWRb/+MpRoAe6l4FxI5+z0RnFFMpEeHcvxXKYsYSd1tTUB3eQKe2d2HOm 5LldgjYXygMijrBjsbRSYAiVcA4EsAGkJPGS1cA7dhGi+AW+Ds7ANQQvCFnhuHkFmPNZ +JWFf4yUREv3LV+Rlpf6f8u/6JeySmTIuYFCP6lFzp8+NTuDZZOdmwOcbGPhm5lLNm70 LlEJRL1IsuV4Hdv+Ua9OamXzzdetSaVtbIQBHbXDVWxVcAgOvOgmDKl2nMBHSKs/xjH8 C4CA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=CNHKdFkbsihpG6NqruOi5SS+56rf0LnlCTALOZKW4/I=; b=RgGBCYNgvO2vh9GCBT6hPXPSYHucsivZ2rFjIRYJWuyY9FBZ9QVh/aYvxqoT3K20su 62uUsNPNHw7mzXh6yoMTWKqbk46WzeFIK81wmWjg8qvcVBFDkjc0vWBeczJ+D3kIJ9jY g9Yfnha6YEVnA6vzwwG3IP0aJFv6nqIkzmSyScCvrJZfOTKdWxIXuLHxJ/aqC1J3O5id nPwHq8doYxIGmVma35DySlSsdia23oGzsM/if01zDbLsHOle+0I+uMfQlSFTOTsKemFe J192rMMjR15tvbrqX9aFbuuMgTnV921FWYw51QV9Jqs1E1d8rEH7qnlL18rJg6wzEwy6 1sAA== X-Gm-Message-State: AOAM533e0iQxuOzaqNzMQkZvAdI8TxILwWTBuhRHCAdGGoG5HlWYBlqy ZAx04ja16X06/CDyZCkssxN3EBKKxRZ6ufj98qo= X-Google-Smtp-Source: ABdhPJyXSlNSz6JHWCa/Q3E+f+yHgLviu3CvSELMLtDMR+nmQ7s45hUetoU5UnJEH8vzhHRl++5SJSjjGzKsgBfLIXc= X-Received: by 2002:a02:730b:: with SMTP id y11mr3482391jab.126.1599055101588; Wed, 02 Sep 2020 06:58:21 -0700 (PDT) X-Mailman-Approved-At: Wed, 02 Sep 2020 09:59:57 -0400 X-BeenThere: algtop-l-wE+tr93vHrabo6XCN/16Dg@public.gmane.org X-Mailman-Version: 2.1.26 Precedence: list List-Id: Algebraic Topology Discussion Group List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: algtop-l-bounces+gsma-algtop-l=m.gmane-mx.org-wE+tr93vHrabo6XCN/16Dg@public.gmane.org Original-Sender: "ALGTOP-L" Xref: news.gmane.io gmane.science.mathematics.algtop:2811 gmane.science.mathematics.categories:10275 Archived-At: 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