From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9804 Path: news.gmane.org!.POSTED!not-for-mail From: Chris Kapulkin Newsgroups: gmane.science.mathematics.algtop,gmane.science.mathematics.categories Subject: HoTT Electronic Seminar Talks in Spring 2019 Date: Sun, 20 Jan 2019 21:35:25 -0500 Message-ID: NNTP-Posting-Host: ciao.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: ciao.gmane.org 1548040579 262055 195.159.176.228 (21 Jan 2019 03:16:19 GMT) X-Complaints-To: usenet@ciao.gmane.org NNTP-Posting-Date: Mon, 21 Jan 2019 03:16:19 +0000 (UTC) To: algtop-l-wE+tr93vHrabo6XCN/16Dg@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, Homotopy Type Theory Original-X-From: algtop-l-bounces+gsma-algtop-l=m.gmane.org-wE+tr93vHrabo6XCN/16Dg@public.gmane.org Mon Jan 21 04:16:16 2019 Return-path: Envelope-to: gsma-algtop-l@m.gmane.org Original-Received: from rain4.cc.lehigh.edu ([128.180.3.218]) by ciao.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1glQ4N-00164n-1J for gsma-algtop-l@m.gmane.org; Mon, 21 Jan 2019 04:16:15 +0100 Original-Received: from astroiii.cc.lehigh.edu (astroiii.cc.lehigh.edu [128.180.1.149]) by rain4.cc.lehigh.edu (Postfix) with ESMTP id C02AD64E0C79 for ; Sun, 20 Jan 2019 22:16:22 -0500 (EST) Original-Received: from astroiii.cc.lehigh.edu (localhost [127.0.0.1]) by astroiii.cc.lehigh.edu (Postfix) with ESMTP id C06EBA04F6 for ; Sun, 20 Jan 2019 22:16:22 -0500 (EST) Original-Received: from mail-io1-f51.google.com (mail-io1-f51.google.com [209.85.166.51]) by astroiii.cc.lehigh.edu (Postfix) with ESMTP id 8A1BAA0200 for ; Sun, 20 Jan 2019 21:35:36 -0500 (EST) Original-Received: by mail-io1-f51.google.com with SMTP id b23so15261394ios.10 for ; Sun, 20 Jan 2019 18:35:36 -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=4gEyteZelIhXrjx3/O6+BEYbAJ5FyYHCw72RDN1mBLQ=; b=s/4p2+NeU8LYxJcyjQFx2k1xqSDY2bl/HKez4S3ci9kFJphrDzxzhFrgCpzM6zk8Vx rvEo4wQ8vjpe84Q1Og40pAUy/1PdCioRHfniM1ljOZWDvRcZDe0ykqW+5+QzzA9YGN4e dEtoaPcptStJvpkWEPdc2nLSjwUeNkclV6FUlivnt69DfOHqKxWeic5YAq74WfiQCWWt cF+7gN8+1pxsnLV9A3cC8OIhqzRFKVHv/shPxPVVpKFB9j1i/fyArSega+fxM/DmgiAp nOt/DhSM4itJ9k27P312dxD+U3fnj9iTdw43Sp2Jicd+8byVx+B+oXhHQBdI2mdy1iIk WJNg== 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=4gEyteZelIhXrjx3/O6+BEYbAJ5FyYHCw72RDN1mBLQ=; b=gM4iuM6cj+OKcTk6PJB1TDZXUsSo1tnI4C5ox16UdncYYxRaPw6Y2yZkjZcn9OldU3 Q1qDoX/l2rjOr7lnmzNZi9HtfEgBnWBwhdBuQVa9sm7cWwgWEqLj8D0hPyRfG2lRrEGs sRcYNTB6jVb62Xb9WWhn1zIe9tZAzE70MgUNWKuaGkta67BT8uh1+PBYodba6BxgYVxw B2XvGkbVNqc5PdxEkNRoX8cRUFSuOKDFWCnq+qDVC4D/BquIBTIZEQNs0JBIdAykofnE 5cSxnFtfQFBq9fSwyaUseoWv2LvHddaSUb0SHN9ugHP0+c6pQbgxVlcv1vGVQjceyJmy 6zVw== X-Gm-Message-State: AJcUukfaFvlEjrcTK+JLUMbkGA2lUERzkAYyIlqcdrBppQHr6q21V1PR aITHSq8dKmH+9pv3TTBlne1UrAfxnaCg4VUpn09nx/2M X-Google-Smtp-Source: ALg8bN5EISdDdAB2ws0xNLlHo7cTFm3DJCHx665U6R6EjTltEFAXwWoHxF7kNpWD+poYgfVDhSNM2Zokk6TWBcAUPPM= X-Received: by 2002:a6b:dd0b:: with SMTP id f11mr13728584ioc.45.1548038135804; Sun, 20 Jan 2019 18:35:35 -0800 (PST) X-Mailman-Approved-At: Sun, 20 Jan 2019 22:16:15 -0500 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.org-wE+tr93vHrabo6XCN/16Dg@public.gmane.org Original-Sender: "ALGTOP-L" Xref: news.gmane.org gmane.science.mathematics.algtop:2358 gmane.science.mathematics.categories:9804 Archived-At: Dear all, We are pleased to announce that the Homotopy Type Theory Electronic Seminar Talks (HoTTEST) will be returning in 2019. The Spring 2019 speakers are: January 31: Nicola Gambino February 7: Nima Rasekh February 21: Simon Huber March 7: Evan Cavallo March 21: Dan Licata April 4: Joachim Kock April 18: Paolo Capriotii May 2: Mathieu Anel May 16: Andrej Bauer Per usual, the seminar will be meeting on alternating Thursdays (with the exception of the first two talks, which are only one week apart) at 11:30 Eastern. For updates and instructions how to attend, please see our website https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html The seminar is open to everyone, but some prior familiarity with HoTT will be assumed. Best wishes, Chris Kapulkin for the organizers