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=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-oi1-x240.google.com (mail-oi1-x240.google.com [IPv6:2607:f8b0:4864:20::240]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 4d34b1bc for ; Thu, 9 May 2019 15:06:06 +0000 (UTC) Received: by mail-oi1-x240.google.com with SMTP id 2sf1032510oiy.14 for ; Thu, 09 May 2019 08:06:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:in-reply-to:references:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=Xjj2zcgma+zyVYwhMGS0vMg0I288Xu0rcs63rYN5Sjc=; b=omneMsyxjT46LG0IG3xB1KkSY8sDrb3zBfYrqZW0NglXSEQmYmPud4A0gSbY/ehLUC UTAnCLzq+sPGQEVg2baUwPPXO8BTbvNtVPYPDZxDjvZKq7tqrc3kOXgqq2L3RHoQ246t dsUJmrim1Yd4CVA2t9R+sGOkyTCmVX43Q47kctdrJ0cQj11qaQEOBI+unWrVTjk6pzQr Efi/7Gkx7Yjucp0h7L0NY3yfOLjojH8M73z1vqDrMg2ZdEQTgdQBq0VnhFbhUo3KFN7X 0zVxn7OPDVDGJgj5D1hvjQV7aaASa3E9oKBL22GA/PAzFNoAPOC8xo8UKUOlRJDllkL9 pj1g== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=Xjj2zcgma+zyVYwhMGS0vMg0I288Xu0rcs63rYN5Sjc=; b=o9hSiAnWTAKpm7RFnuranSaFO4dkUzdAXgZTv3U+O68qB+6Fp9jiV+I7G49HsXrNj+ BRetRHEVTfgdIKdG+THLmSzbHZW0p5QkbhsMzsLF4bK7dY2wbWdCWDRltWQ+fITupb41 xuwwscidrgZ20hsCiklOXCUWg5y2xOh0rRwDENy+NQZtmmSc12jmmuklnfO2TOSckoc1 DcILDUVmd15/S33WszY/+z4Fr8YnfBdzHFNztPAxLp8Z+uXp4AVHQ4hrFcJGQNXEWRx+ 67LS8wZt5Shhrj8UTn5Z9ZmHvylTp3aQSGs4f76zgxIcP+SuiMFcJtjmwi0VGBW3rgxR IsIA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:date:from:to:message-id:in-reply-to :references:subject:mime-version:x-original-sender:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-unsubscribe; bh=Xjj2zcgma+zyVYwhMGS0vMg0I288Xu0rcs63rYN5Sjc=; b=L41MpzwRUKZzIJB8+hq8c6gK/CrY1jENATRptZWVlBT21MUgXQb8BcXpcQuWAtiJa8 kJuO6Aj+kutIZTUsd7nIikBuOKnvun/IZTDgOcsney5Ys5Vugh6zjeGybx6Q4hcksSDt oJzDcFRmNLdJnzefjnsMbana8ayBAG9HyELT1BBPEh/V8mToRFhSIKbqmn9Gn1PEbjNv jJKT+F+QCkw2JknNl1bVH2rNhyDa2Wds6MXDguwM8BIESSVN5RZHzwH7kDGD/7qr4QKM 78tf2cqkYs8QJbSWuLembIB1Fx3xMHey0c5wRtzPW5HKOUcSdv2JpAnPQXEiTvaqD+GU 9jeQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAWsJr+3o1JU61wD7RqxqO6NUaTBJb5wJMkzelmrkIi3oUppDh1+ QN6xaMfatItwhD8J2EOMw5Y= X-Google-Smtp-Source: APXvYqwhR9YOaVeaFCS5/sXfdTLMXpXMjZNOVBIs+pQIdTf3tok/RmSCgH9NbZgHG6dzqCInhWAHNQ== X-Received: by 2002:a9d:57c8:: with SMTP id q8mr1682293oti.144.1557414365374; Thu, 09 May 2019 08:06:05 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:748b:: with SMTP id t11ls534584otk.7.gmail; Thu, 09 May 2019 08:06:05 -0700 (PDT) X-Received: by 2002:a9d:6e17:: with SMTP id e23mr118080otr.20.1557414364813; Thu, 09 May 2019 08:06:04 -0700 (PDT) Date: Thu, 9 May 2019 08:06:03 -0700 (PDT) From: Kohei Kishida To: Homotopy Type Theory Message-Id: <7bb0b094-ae2d-4989-956f-f144557df3aa@googlegroups.com> In-Reply-To: <25e1ba0a-d216-40dd-b78a-7d4c6dd896ef@googlegroups.com> References: <25e1ba0a-d216-40dd-b78a-7d4c6dd896ef@googlegroups.com> Subject: [HoTT] Re: SYCO 4: call for participation MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_405_1955833948.1557414364107" X-Original-Sender: kishidakohei@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: , ------=_Part_405_1955833948.1557414364107 Content-Type: multipart/alternative; boundary="----=_Part_406_71978595.1557414364107" ------=_Part_406_71978595.1557414364107 Content-Type: text/plain; charset="UTF-8" For the HoTT audience, I would like to emphasize the talk by Mike Shulman in particular. Best, Kohei -- 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/7bb0b094-ae2d-4989-956f-f144557df3aa%40googlegroups.com. For more options, visit https://groups.google.com/d/optout. ------=_Part_406_71978595.1557414364107 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
For the HoTT audience, I would like to emphasize the talk = by Mike Shulman in particular.

Best,
Kohei

--
You received this message because you are subscribed to the Google Groups &= quot;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.co= m/d/msgid/HomotopyTypeTheory/7bb0b094-ae2d-4989-956f-f144557df3aa%40googleg= roups.com.
For more options, visit http= s://groups.google.com/d/optout.
------=_Part_406_71978595.1557414364107-- ------=_Part_405_1955833948.1557414364107--