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.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 4000 invoked from network); 30 Apr 2021 14:30:09 -0000 Received: from mail-pf1-x43a.google.com (2607:f8b0:4864:20::43a) by inbox.vuxu.org with ESMTPUTF8; 30 Apr 2021 14:30:09 -0000 Received: by mail-pf1-x43a.google.com with SMTP id m130-20020a628c880000b029021007090c43sf27166733pfd.22 for ; Fri, 30 Apr 2021 07:30:09 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1619793007; cv=pass; d=google.com; s=arc-20160816; b=LkUboU5uzVrP/P6Fn4v7wnnIcMEjySJV0pip4E/iAObNcc1rf3r1exj1GiGcc3q8CL FVkjSsSiy4nSktDGMlp62ZTeGv6MQGx/oA6RRZP+HdjvjMOoDuXcBaf7aMxV1ra8rQnS 3VXvPO2QoIO9iv3LmCJgXMnV1RunVNI7kWRUweg8JP/h0KeJY4I1i0/8GUfhSNKbBIKZ 8U0chBVe2dotETKBBdGF6PJFoC/VfnNpe4Qypfas7KYrkUbe9eaUYX44dkB+FkjZ2wLv 7odHZU/a6iqE+5pFoCISzEzocNKNenGNIk8hpsaVGQwm4HYQPPRMITXDrtfcllHIrmkB fSTg== 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:cc:date:message-id:subject:mime-version :content-transfer-encoding:from:sender:dkim-signature; bh=9c6hGMXtqC8lRVgdscZ6P5ZYUxlWLOuH1Iw3crObyI8=; b=kRmtpT9P9c2b/pBmD5dnjDriaNfx/xquMwJJHrE3RTgAWtCiaqHYpmE8q+kBdGnqhC LcjdC63g6oTx/299FrQWkY5G6o3rhySOMzu2ZBoBwf2JlOaP+c9gjScTKBKLJrlpi3VO lx+6kZJIMsc1ztmdEcFMrj+dypWpNuEyLCXLOEqFXQiVH41eujOvfwR+CKIfSDqS7VaE x2T1CACGjFBWryjiZtAG0b/s/hNrUfeaOfyaJ+3GhRigRiTzwPaIOVS40H5UySMVKly3 7eCEucMOByiRHmGyz/Pc54q0BlzVFjjhypPTBBs6Rk4YqXjnqfajuPGJkYV4GfwJC9I5 +f/g== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=Vb14s2uc; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::729 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:content-transfer-encoding:mime-version:subject :message-id:date:cc:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=9c6hGMXtqC8lRVgdscZ6P5ZYUxlWLOuH1Iw3crObyI8=; b=NYFR7mvY2ndS1uJYF4LUbSq2K68Bbe+GUNRkqiyQUI4oF825miaRAsyT1ye6Tv84Qb vMH7Z4GcOFvRj4n8npG9K+rH7sR5lm0PmfV52EGMDL/mcriABDuh9Jj3hLF9bwr7zMCf Q/Qh+8cr7Pv1O083s668lxTk5cMFdFDJJ5MOfICDfM+poEB4/mrDM+zjrv8K8rG+2aJO bxypCc08lSjPPHnkjuK6mhrwRsWrXPUEjqIfhgg23wkCyANu3Gl+lB0EwfwwqKCzfEsd VJxJh20VFfiLOEGgaoJYB27/iq99ZyaoejBUxfM1R9xjMNGmZ8D/t40EyYmSIEys1UJb nRRw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:content-transfer-encoding :mime-version:subject:message-id:date:cc: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=9c6hGMXtqC8lRVgdscZ6P5ZYUxlWLOuH1Iw3crObyI8=; b=iiLtGwOOBn+8LTG1ic3GgiF33QNv0JLJZSVn6H8iXSvXjWU1akryuNgQ6bcdSFeVZr X75GDiSCDSi4gi60MjHfeiTWFEDIJ2rZJP6PJw6OYWSFkp5NKDk2IDzMMQ3E8nU0mEP5 yGke3noga+PUdUMVRGMOiB2dyKxdZHAXvzU+FB+d/sNnwpUVCoe6r/z8wMQlNOnwuM5b Q0SSlt/XTkrGBDIzLIP+/IClBi5qam2ZY8/FajyXwKMbeqE9+p+cTjQA5YczHtYyVvku 2A1Rc9S1ivOBd8vBykgn42OpGYNXd8UJNrim4D6GNc4bmRWRtuc0dzzzdfacgxflGg6c y6Ig== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM5305peemhUee7MN1hXH2aVFXiraCQkv7VxGz4s0dloL/2zH5F2/h 5i5qdf7CN+CX2QMhjQAcEIY= X-Google-Smtp-Source: ABdhPJw3Lp+LNGsBiz8DjS6MFMR6uHxQup2RKdFPx+XaNKbNJ2+D6Fs74AHeyksXa5t3xbms+MFF0A== X-Received: by 2002:a17:902:b943:b029:ec:f04e:d68d with SMTP id h3-20020a170902b943b02900ecf04ed68dmr5482811pls.78.1619793007234; Fri, 30 Apr 2021 07:30:07 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a63:6d45:: with SMTP id i66ls2566695pgc.0.gmail; Fri, 30 Apr 2021 07:30:05 -0700 (PDT) X-Received: by 2002:a62:784b:0:b029:263:9b6b:9e81 with SMTP id t72-20020a62784b0000b02902639b6b9e81mr5061340pfc.77.1619793005242; Fri, 30 Apr 2021 07:30:05 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1619793005; cv=none; d=google.com; s=arc-20160816; b=WL4vAzczk9oTeIhyHmn6bTGwbZc+diIRu+ZR6aao1qfYChGDNS8KU1Qk76LMEr8CrJ 0xEKjaA5+lxpJb60O+m1gfgY8MdmoIXlWqLINWTMfzIQtC7gsf4Cr5f3QKe/UwfL73o+ XZDxwe+Vt3lCPwm77vg0tDAqZDHRRDl7SjxPEtvuipo7b5xa3e2T0Z5/PNAblZdyiFyF STNXo5NNvTOT0TvSEExHo4pdMCJals2zbOiYW2bdP6FmdlyphJ/DxKADGWdRSaH9Pz6A AHyj1IK+nb1LX/VXUXtudn6dLxEH39uDkD9QZkXx/WXo3xAB+ULVoy8kR+5twJTfkH/n R7gA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:cc:date:message-id:subject:mime-version :content-transfer-encoding:from:dkim-signature; bh=+ZGv6UilTvhwxHe3o6mK8KX0ZjLHOWj+qbWHrVIKdnc=; b=MnrNWYbmevq43HnhHfak2rTgt8X9bVep3+KK4ma0xv0U1mROl2D1x/oYpHPRC1V0FO Lwd/eqDhTCDhH+DUPeM0biKOJFgH1Cpd937Se5ZO/Mlndlv+eqXlW4C71c4MKELwTxXD kbOqQqlkC5tDrcLf0Fu2a6JsGfTQXvu8XKyAN/Z/VjFN9yGo8SBkTQSoPvc/nWiZ8s9f S3H4aDuslIUtVTsYTbhfw8/Ftnz9EBATSHoRnsCDjUYeZSIJu7NOTHMKPUna/zn7+XZY i8pFrFmpet/Z1qZwcg9I1UIJQxIzehdQHEgwuqGQRzRP9F4yT2NuNS7cn21MBomoOi1j q9zw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=Vb14s2uc; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::729 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: from mail-qk1-x729.google.com (mail-qk1-x729.google.com. [2607:f8b0:4864:20::729]) by gmr-mx.google.com with ESMTPS id x1si86139plm.3.2021.04.30.07.30.04 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 30 Apr 2021 07:30:04 -0700 (PDT) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::729 as permitted sender) client-ip=2607:f8b0:4864:20::729; Received: by mail-qk1-x729.google.com with SMTP id a2so996681qkh.11 for ; Fri, 30 Apr 2021 07:30:04 -0700 (PDT) X-Received: by 2002:a37:6410:: with SMTP id y16mr3426645qkb.463.1619793004293; Fri, 30 Apr 2021 07:30:04 -0700 (PDT) Received: from [192.168.1.143] (pool-71-112-154-2.pitbpa.fios.verizon.net. [71.112.154.2]) by smtp.gmail.com with ESMTPSA id e10sm1500682qka.56.2021.04.30.07.30.03 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 30 Apr 2021 07:30:03 -0700 (PDT) From: Steve Awodey Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.7\)) Subject: =?UTF-8?Q?=5BHoTT=5D_Time_correction_for_Bohemian_L=26P_Caf=C3=A9=3A_Micha?= =?UTF-8?Q?el_Shulman=2C_May_4?= Message-Id: <50A33FC8-D7FD-4B84-9BDB-D9868D2018E1@cmu.edu> Date: Fri, 30 Apr 2021 10:30:02 -0400 Cc: Ivan Di Liberti To: Homotopy Type Theory X-Mailer: Apple Mail (2.3445.9.7) X-Original-Sender: awodey@cmu.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=Vb14s2uc; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::729 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu 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: , ~~~ Bohemian Logical & Philosophical Caf=C3=A9 ~~~ Speaker: Michael Shulman Title: The derivator of setoids. May 4 at 16.00 Prague time (GMT+2) The zoom link is on the page: https://bohemianlpc.github.io --=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/50A33FC8-D7FD-4B84-9BDB-D9868D2018E1%40cmu.edu.