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 1719 invoked from network); 28 Dec 2020 22:52:51 -0000 Received: from mail-ot1-x33c.google.com (2607:f8b0:4864:20::33c) by inbox.vuxu.org with ESMTPUTF8; 28 Dec 2020 22:52:51 -0000 Received: by mail-ot1-x33c.google.com with SMTP id b26sf8215990oti.17 for ; Mon, 28 Dec 2020 14:52:51 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1609195967; cv=pass; d=google.com; s=arc-20160816; b=xXxutheS8z/jMI2hJvn6q2wxSl9i3mn/sLOy47Pz5dT7wm2qh1EcJioq44ntRQkOtF zC7GaamTlxfZU1sCY7JurE+zqS7PQ5HymZ0KUQxKsAE0AH6ElXAFS/INXi6h29l61NuO YLn2h2UQ9suYmONYX9SflMBf83enmf5rR1+G/6zQa60Swc2oWz363P26e2HeQz1p8WRh Qp+DqRFWVSdzmEgrzwUSZ3Q6BiHDFW04FvMz1AEiQ6y6Ke2ixpfewUH8JyDWIjTSMeMe ujNbNubrla6ke8K+9yr4whxCbzQpx4EWt/9J2eexSy2j02hNpbKgXUjrQdNWg+4Gxf3U kTZA== 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=nWdc2FxvdQNGe5F+Pm1amEHNYZ4OmG313ubkngzMA4A=; b=CIW6LeEha96gN5DjoEV415gqGsYUqkAKsJxW9e5m/HxCzm3/19bNbuVFMlKkNm/o/P n0e6nF5miZXAp2QG6CaUcK5HjbiIuakRMoFm5bDASTM7tV5u2Gyb2LntsLMiQ68kPQ6v wGKOmKFStDuepYB45rDMYftUTsX/0kRlVv6FdZuDU49ELBtuiW1QP82d5eZH6lqvHxYg N9oMKzhxVLPlQ01Sy/d6Zs0+V2s033t0UhU4qV8vKsR2T4s8jAIt99P5CCp4+F/xsn4U n69gRw2rxXTSHSinhklpGsGeTPCKpupf6YJCwJ5hvA+09G2S4EcUZPlrTlSLEjo3b4LS X79g== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=FGHlrupw; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::72d 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=nWdc2FxvdQNGe5F+Pm1amEHNYZ4OmG313ubkngzMA4A=; b=lXRTiI2ZG9EbfpHsShrT0wI0nMETlk30DC+2O9JCCKTUcnEo2aH5MuRbBO3TxDBoyD tj/uLvdRMR5Qt1mMhbJaBuHYgqzlyk32ILrrYKxc9EfnBDwleItz17EaCkeKUnI9hj8A UaZYehpdHxl/H2/AXUWgQ1UcsD7zn37irHOA0QRmSU82ZGeztDxiVhEdiVnsKLLp13t9 DpckUvOa3wL7birFY0VMseWx7U0iyaH6tfB9Petp4KLPBQspyBVjynqRPpqNSOotbfCD qPSg1GwXpwO9t9JY4E0rdtowF0sEqsXdOI9Vwsqf+CFqdJ9sAy8hSXXGTmGwGEx0Ds99 eKMw== 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=nWdc2FxvdQNGe5F+Pm1amEHNYZ4OmG313ubkngzMA4A=; b=Wugb24eGVmqFcUCppbus8c5h1fa952hkhf0oclqyU9CPymXuO/HVxOPTriT5HK2gac 6ZxMJdlAiZ4lensPeBliuVUx2QRzIFEY/N6CTS+cNrHW0P4V1BVoiQz3tg9OFld67Pkc O2YoPZKR0KAUdIdmKiFSvcSQwvDsSqNAO3Aauw1PP/sajvlW+8cUwI8nHwNRbQhIRzqf +6zYqG7pMbDOr9BgZUF3sG1jp1ASoopL9BB1zOgiPcK/xleHP+ErT2loQTId2jUKtyUo XDh5+W3h5WHYLlDgza04SDoSeiAlgYQkKEDd4+SS7qjphvuTt3gG1k0+fpM6yxB6HtqW puTA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM532lidLbKkgGfH/qe76xm/Anm+5Tb9gFEJA9BDbHinx4EE17Z41Z Yh1SwdXbE1mkRXTq3l7OSVw= X-Google-Smtp-Source: ABdhPJxo3AS0u5N5GIBsOb7Mdr8ELM46g+tSVlmbq81IMW+FYe+bX33kwCv2csw0J8V0tAXoji6YjQ== X-Received: by 2002:a4a:ded4:: with SMTP id w20mr32012634oou.49.1609195966993; Mon, 28 Dec 2020 14:52:46 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a4a:e1d3:: with SMTP id n19ls3729677oot.5.gmail; Mon, 28 Dec 2020 14:52:46 -0800 (PST) X-Received: by 2002:a05:6820:503:: with SMTP id m3mr32482639ooj.83.1609195966435; Mon, 28 Dec 2020 14:52:46 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1609195966; cv=none; d=google.com; s=arc-20160816; b=FpSC8uawdNDN3S6vGIKkLFWnzOfN2AT9UpKiGhfgXmYHq7aQksOc4KfalRxH/MQu4k novpTyzwupJdpTzrXsLseyAiq2PFjx/nxVLBRJ97WdSf3Ea0hlpzeqNZ6HTOFRrqM6xe 40UW1v0Yuk11JcnD9JZAcRvimHZR2Kc08ZjYH4Rzm45aP29srndZ3jSg9llPHztLZfBM MR2ygIlq6Vv9F77AKBxCXbsFz9XkKI/9z2ivXZrA+QWjxOrOhJf1j7TtCHBfBglllsDi ErSU7trK8pQLDDlPAHt6M1cNpsi1QWnFt6lZ6A1Au6LonEZfyzdT/fjdSjhxosy6Ka8i j/5w== 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=GIGlF0TgD3zeSRA+QVdHi3lEa+l85LA4xmRq4O/Mstw=; b=sfwuHNyR9npmd8NXtiRy+22djOt0YuCZ/PtkF2SNdTmslQO1seVxZH9E0bQ/VINbfa 0Of4uot2Ohorgql4CDOkfGtQX/fdILeZyidKmFCj4LblaRwxstsM5CPWV7zH7zas09II l+vB1KLgw4XsWFrytf1XjRZQmYSLfys5JDFZRIr0BniZuLonmsRJCkoVMR4fhV3vzNNs l67ktdolHfkwNqS1z8BE21cQfPCsHrOi1ddrnjWZ/w3FFwcCJv6F4kwdtT7YnV7VoW1m 2ZKRUL2meeOW6tBEKIOEBDRIqQAyndluqGOMZNgKR4Vh134l/USADJLMM2M33T9Jogsi 6w3Q== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=FGHlrupw; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::72d 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-x72d.google.com (mail-qk1-x72d.google.com. [2607:f8b0:4864:20::72d]) by gmr-mx.google.com with ESMTPS id r27si1688712oth.2.2020.12.28.14.52.46 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 28 Dec 2020 14:52:46 -0800 (PST) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::72d as permitted sender) client-ip=2607:f8b0:4864:20::72d; Received: by mail-qk1-x72d.google.com with SMTP id w79so10134266qkb.5 for ; Mon, 28 Dec 2020 14:52:46 -0800 (PST) X-Received: by 2002:a37:a355:: with SMTP id m82mr46692427qke.74.1609195965721; Mon, 28 Dec 2020 14:52:45 -0800 (PST) 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 a11sm24893226qtd.19.2020.12.28.14.52.44 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 28 Dec 2020 14:52:45 -0800 (PST) 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_Bohemian_Logical_=26_Philosophical_Caf=C3=A9?= Message-Id: <875AA81D-71EA-41DB-9F1F-71822947B5B2@cmu.edu> Date: Mon, 28 Dec 2020 17:53:10 -0500 Cc: Ivan Di Liberti , Paul-Andre Mellies , Thomas Streicher , Wieslaw Kubis , David Corfield , Marquis Jean-Pierre , Steve Awodey 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=FGHlrupw; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::72d 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: , Dear Colleagues, I am pleased to announce a new online seminar series: the Bohemian Logical = & Philosophical Caf=C3=A9. The BLPC is a framework for webinars on current topics in a variety of area= s,=20 including theoretical computer science, category theory, mathematical logic= , and philosophy.=20 We will start the 26th of January at 16.00 Prague time (GMT+1) with our fir= st speaker: Michael Makkai Notions of identity for and in higher dimensional categories. Further speakers will include: Benno van den Berg, Jouko V=C3=A4=C3=A4n=C3= =A4nen, Ji=C5=99=C3=AD Rosick=C3=BD, Jeremy Avigad, Andr=C3=A9 Joyal, and M= ike Shulman. =20 Please check our webpage periodically for an updated list of speakers: https://bohemianlpc.github.io With best wishes for the New Year, Steve=20 (for the organizers) --=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/875AA81D-71EA-41DB-9F1F-71822947B5B2%40cmu.edu.