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,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-ua1-x939.google.com (mail-ua1-x939.google.com [2607:f8b0:4864:20::939]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 22ee2ad3 for ; Mon, 17 Feb 2020 01:04:30 +0000 (UTC) Received: by mail-ua1-x939.google.com with SMTP id k24sf2994329uag.18 for ; Sun, 16 Feb 2020 17:04:29 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1581901468; cv=pass; d=google.com; s=arc-20160816; b=fRHEXLOY/MsK6I3GgqXGgxSCjPUJOGM1ORB6qjc7Of0OR0pttqQSoh/3afPo3p7jX1 tvp1piGuvaGOpba4jQmxtceoKEKD9RK/2SSb2LUqzXiOAvQOsMBCVQs7xivsFJ2qiD9a pYxMQ8z+RwadMgvT1qP0riY74WSVROIk+tJe1NCQUzSs9urcslYnJKtb3HlmJ+fWmzXb lHZQ5AWIi2yUSeCH05kQXS6iMVfKPX9NeYz0k8W/G2GYwxlNNpubBBD/qDEM07JoWr5K A8azeqCJhEp2TxJWm1EBDGELV0jN8Zdik/Ac7/xHA3hnRAgov2moLtcGYlxNGNzrne78 kWGQ== 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:content-transfer-encoding:to:subject :message-id:date:from:mime-version:sender:dkim-signature :dkim-signature; bh=zFUHY9Xa9cbMxB/BLQH7DatjbleDPUHth0retmtm1cA=; b=B63M1oQLw4jcV8/MM/y/E/n/Da0tmT9puj2qyrmUVB3OMk0d0XGxNl3TWADJlcAHZj ySd76dz1NDhpY5/jCIfm9q+OZBW/ua2tNMavoPQAQcSkNbfDaUTvObRKA9d19Isr14sC n/gPVfF9Kd8RUKYjUFKGr2ACz2sccQS7UnsqKTHBrUMN/wYQkwREhRa1rFI+Ri7ojT4U FSCd0tfNtLVR0R2c3cMQmFffIT/z/aJdzXUCinmac4HfLmSUv4R1ceMspmkJgNji9sjf LZUlSU3MgIZPPIs9ecMye21xD90c3FQ96GQPQQKkPfXAj9so9025Yo8TwccVHVXTC/bl uUJA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=myTyQfIo; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::136 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 :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=zFUHY9Xa9cbMxB/BLQH7DatjbleDPUHth0retmtm1cA=; b=Id4lP3L75EwWscyCEorBwzneDkedo2mUUDWSvJTNG/m3nCTtrDrfYducNNTdmwm2xK eOqIW/mPEdPBHYUhhUju2PHxpG4vAqvpstls5OoIW3ZWFbDq7AiJCFVVc4lvFYmbl++l +8jbXQO53J69eZgtJeAsOtmS/IBT+lnKpjFOBQO9fe3bOsR849o5/6VlOXiDDLjKYNBa exi1wi5M9kbZd0IrPrszUxyLS+YJnhQaeIAc+A14ePFui07OGN1frUTd5ezq9WdLuaEg 6xa1JjS9h0wG+88rsFCJJRjm4l6ZBchChZu84Z5CNEiPlw5AsyHbwnfGR1PUewTta6Al j4Dg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=zFUHY9Xa9cbMxB/BLQH7DatjbleDPUHth0retmtm1cA=; b=SolV8Lcg1mNPCaELbb8NpyxtEzdIAGkpAn54ZUQzObABNJaq9QU7RY0m/uSf4TGZAW XY56igE6WsXOvA5WZq9h2KR6Vc9OcwgKkHKLAjhC0+ppW46oPiNSKqymz/cJZ2uRSCI1 7Eqp/X7Hs5oWQfSMyD2Cg+GVRINbsGllSFWCUFg3+Vsyk7kQePxNrPqkpKxVdFmuaX2K U98+nmncN9fufARnUUk7ox1BiSrjkcijAOMexn2ImoyZwKkCWumDmnW9amJTTqzO83gn 9+Z49K/fSt7A3X7j/4pWKRC5H/wPgLfH/yTPsEA+gCbRNxI+rDr3DEG9DeNmaZGXgj6u SB8A== 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:content-transfer-encoding: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=zFUHY9Xa9cbMxB/BLQH7DatjbleDPUHth0retmtm1cA=; b=SoSlrjKzP3Fm/4Zc3+CG2VQv1GyF82Wj3fTNQv7FF7J1CbDp5YP+yzOKS2sVB9+XzQ 1B45EVf2LpUpcMhBSK79gtGCBDRhqbX44dvGgZ1+VtyM7rzQ5wZawBI1U2L5gjr9UXLS mC1Dcv9AWUqIGaHdEggc53e9REc2TIMpucVPu7xuatp1RCKNicsaSK0nODVyKk+EKbS8 zZbhriuDaBJRb4JAIMJCi430XlfdVgzZJEl8+2PQLdsC+8S//U4VErI1VORLIvPRvi3g miLrZ3dsmQmLsreOc4jNqAz7Rc3tZPqWpFV72LbptThJBCgL98tiP9v1XzhVOg0vYXJu Vxbw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAUz3POqI4NIBiWCTeUZzxxkPSUg7OXwVWmG8WhathDAnOVmUUNM sR2FKj7wj8TsyuMxxJ3nrY0= X-Google-Smtp-Source: APXvYqz5i/Ai8aer0DGHx+NPuk/wM41U2UFD2xYBTcpXDK4VmyjOoZIjszpkdrV++qci4Ln9YzA7Lg== X-Received: by 2002:a05:6102:3105:: with SMTP id e5mr6999531vsh.133.1581901468475; Sun, 16 Feb 2020 17:04:28 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ab0:4e02:: with SMTP id g2ls488795uah.0.gmail; Sun, 16 Feb 2020 17:04:28 -0800 (PST) X-Received: by 2002:ab0:422:: with SMTP id 31mr6692638uav.98.1581901467938; Sun, 16 Feb 2020 17:04:27 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1581901467; cv=none; d=google.com; s=arc-20160816; b=H5dMZpCBJH5LqB9PbvFF4fBnmWEJZ2Uw11jjNZ70/Jr5/8imlmjPQ4KhdCuWYv7M5S O1lSQcOEYBbN/+vv9IsZXtlMUckz7JaLirlr3wj3HYtpFv/dLbhknjNBPB9mBPb5KONE M1BbS1E7Xg05ogr+3VOAutYHrX7xO/6ivWxU8xXxD4mSieZZ1k4LqdrkYJ+t/BasIOY1 GRG8BN5OxACygUxMS1K9nKqkTM9XRvdSpLjqnjit3E3qqtZaHOlL1IHcC87NPkRbDDgL Cb7yjp5IQgSmZzk4kpCgxieuBqiJMnMzBn3VTGOuCTSVT2Ttmush+desHnLBMLo8tH1T RlPA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature; bh=6047MOMi27EkDhcilp9R3sX3/RkGUxv6AaaLu5HppSM=; b=tjNDNsX6kyQm+4IaN73hD6Y+mrPCO3HM891g0MfQS4f4XmWyNhKTnQ/oWqi6bc8FLe LMOdS+sE/XcOrDcm7Vdl1k4e0e+vgXS3yM/0Dacz+fyrLTxh5vqqTk3CoHZbR0caoEk0 /SFNqmwIfp+vSiKz4NDOOTIt/FNclibuTtyfCksXoqIJ0QPLbRq2GEdnWe48mZtMniFU SbnSjflvHmW1yo97S+ortohmIlj3UaMm3CU9YpxsT6tGajUS+ztSKZMLOyq0fSMa5kPt +sRjQuyum7JdWRipzD89cURjPniuleSgCh1x9nN9qsPx6L5UzfWMaeC6F570Yq5Chv8l r5aA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=myTyQfIo; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::136 as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-il1-x136.google.com (mail-il1-x136.google.com. [2607:f8b0:4864:20::136]) by gmr-mx.google.com with ESMTPS id h7si717689vsm.1.2020.02.16.17.04.27 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 16 Feb 2020 17:04:27 -0800 (PST) Received-SPF: pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::136 as permitted sender) client-ip=2607:f8b0:4864:20::136; Received: by mail-il1-x136.google.com with SMTP id s18so12826691iln.0 for ; Sun, 16 Feb 2020 17:04:27 -0800 (PST) X-Received: by 2002:a92:8d98:: with SMTP id w24mr12953229ill.198.1581901467289; Sun, 16 Feb 2020 17:04:27 -0800 (PST) MIME-Version: 1.0 From: Chris Kapulkin Date: Sun, 16 Feb 2020 17:04:16 -0800 Message-ID: Subject: [HoTT] EVENT DATE CHANGE Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020 To: categories@mta.ca, Homotopy Type Theory Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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=myTyQfIo; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::136 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: , FSCD 2020 will feature more satellite workshops than expected and as a result, the dates of HoTT/UF'20 had to be adjusted. Please see below for an updated announcement. We apologize for any inconvenience this may have caused. Best wishes, Chris Kapulkin for the organizers --- Workshop on Homotopy Type Theory and Univalent Foundations July 5-6, 2020, Paris, France (not Ontario) https://hott-uf.github.io/2020 Co-located with FSCD 2020 https://fscd2020.org/ Abstract submission deadline: March 25, 2020 Homotopy Type Theory is a young area of logic, combining ideas from several established fields: the use of dependent type theory as a foundation for mathematics, inspired by ideas and tools from abstract homotopy theory. Univalent Foundations are foundations of mathematics based on the homotopical interpretation of type theory. The goal of this workshop is to bring together researchers interested in all aspects of Homotopy Type Theory and Univalent Foundations: from the study of syntax and semantics of type theory to practical formalization in proof assistants based on univalent type theory. # Invited talks * Carlo Angiuli (Carnegie Mellon University) * Liron Cohen (Ben-Gurion University) * Pierre-Louis Curien (Universit=C3=A9 de Paris) # Submissions * Abstract submission deadline: March 25, 2020 * Author notification: mid-April 2020 Submissions should consist of a title and an abstract, in pdf format, of no more than 4 pages, submitted via https://easychair.org/conferences/?conf=3Dhottuf2020 Considering the broad background of the expected audience, we encourage authors to include information of pedagogical value in their abstract, such as motivation and context of their work. # Program committee * Benedikt Ahrens (University of Birmingham) * Paolo Capriotti (Technische Universit=C3=A4t Darmstadt) * Chris Kapulkin (University of Western Ontario) * Nicolai Kraus (University of Birmingham) * Peter LeFanu Lumsdaine (Stockholm University) * Anders M=C3=B6rtberg (Stockholm University) * Paige Randall North (Ohio State University) * Nicolas Tabareau (Inria Nantes) # Organizers * Benedikt Ahrens (University of Birmingham) * Chris Kapulkin (University of Western Ontario) --=20 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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CAEXhy3Nsvq_qW-EVhC5YAW-cr0%2B0d-32J%3DC0JO%3DaLMDpdcz%3= DtA%40mail.gmail.com.