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.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 26263 invoked from network); 8 Feb 2021 16:30:59 -0000 Received: from mail-pf1-x437.google.com (2607:f8b0:4864:20::437) by inbox.vuxu.org with ESMTPUTF8; 8 Feb 2021 16:30:59 -0000 Received: by mail-pf1-x437.google.com with SMTP id n123sf10967317pfn.10 for ; Mon, 08 Feb 2021 08:30:59 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1612801855; cv=pass; d=google.com; s=arc-20160816; b=dbudS6yVrTvqFsYwbZTS/Ein4olHg47nZkNNH6ofRYJQwtLcVxWLjtro1tSCCYGaTg SfVvJubljmEiYQ56tONKW82zrIAbYQ0FE8ZiePqfM6XWO5kWbFgpBmzrFfH0iazsmdbG 4HQyeynUqVhqKSTfi3I3ZQirkiPso0f0Q0hXoDyWN4xmCUn4CCAnIzESUUKvDhAlS+VF tvB7Amo0ZUHxg7b4vi+IZvx9vcgkdqKIdzGiDGtI41fv5l8l8Xcffs4C/GBUPWnz9kcb OQzg8A53vbsO46MWloMbOxZvpgjqsWb8pXEfXfdSDgJTfRNbh9Av2siCCwQcZ5ruf0xk 2+sw== 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:references:message-id:subject:date :mime-version:from:content-transfer-encoding:sender:dkim-signature :dkim-signature; bh=us7YOFAcwZgnvOXx1cMMUFQpUsujmn4JbpuDK1s/Idk=; b=BkQOPi3Spp1lY5Yoi1sEREfExP4dUxodUOJhotqRMn6yM2tL7KuDWcoMnbg6RRlm9O loRI2FU0AKQVtQz4Mnw66L/Xx5BaMa76vWY+eFLgI6RfiWCs8SZuGLyytVtBKYdxvRM8 WgG2fetC+brhTo8aof/GQExeZ7ZXq2+kIHsHwmGfSd42RIREhaQ2mfgvPhPpZpis0nPH deEjwlOaNWipRPkHg1qIxBk/3xeGN+KllKY/pwR+vxQM6Dt80K8hoN6lHbLLh4BXBvO4 jaXHnHmY2X+jG4DxlIevQ8/0i38bql/etao28lsYw19+pOVB3ZNbS/HpzaZJJJqAdqVu VrsQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=I9zDqhnX; spf=pass (google.com: domain of steveawodey@gmail.com designates 2607:f8b0:4864:20::831 as permitted sender) smtp.mailfrom=steveawodey@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:content-transfer-encoding:from:mime-version:date:subject :message-id:references:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=us7YOFAcwZgnvOXx1cMMUFQpUsujmn4JbpuDK1s/Idk=; b=lXBELShE6TCqrt1RDeWTBivnHmRqaopUVEdj9/5vHeZVmUhmLs/Yv3bgvd3XtgnClu hYKvQTxyRbPNpYXIv3HSVXMAJIawETvo0VYyH7p2LVvTBct0e8l/cxxAA91rY7IW26Io sp5aU0BkrkCOUi50bC59fKeJfIl/rno4kFFRwxoKfmsGM+Tbz4CZSpX0YvLIxweC7yG0 sJ6l5BpdryFM/6W/eB667Wt9XNMYxo9LXlL1qafTNBzlVcYAb5CUSf/e8qhR6oMjp55+ /LCWkvUA5SQVJ0VOI1W7c5ZJVRTOA58iilwxvmoC05iJkb8taYzuTALNtBwv2L1gJeNG F1Ig== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=content-transfer-encoding:from:mime-version:date:subject:message-id :references:to:x-original-sender:x-original-authentication-results :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=us7YOFAcwZgnvOXx1cMMUFQpUsujmn4JbpuDK1s/Idk=; b=CVV8xSV40dg7HQ+r6OfLlWSt+WxDvhk5BVr9ZdW7XA6vJPyn30Knn82/9LugmBifQl Lu8vl3mrrk7tS0knkRUs1xe/GVTdj80jO18A2o1nL1MdQu5MVpqEC9i2xPhbskV7lhNz hn8HxHTAbpXD6sfpIVEYZ2JceZ7Blq7cSMirVJPWyGH6qo/bprRr6i22k99GxXKsCQFN DkyvxLUrvcwY1TT7iPuzMc5x06+yocl0HD56bfcAJjIe2hCrJGhIyhoSiGQ7ebJO1Ts9 sOcMFxghvTQCZFdtOSOKbpDs912ReQI4753+P9c23mVVAjlPg5XCVYBciIXj5An6RKKP F9rg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:content-transfer-encoding:from :mime-version:date:subject:message-id:references: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=us7YOFAcwZgnvOXx1cMMUFQpUsujmn4JbpuDK1s/Idk=; b=oatxR6YNdAvGMA8oFCpbOxRW/MOM86dskcGgzCjRxVFpQLmBus7CMeELVGlXixjayE CgEcC6xZCd+p/sR4OuygUU6CKbDvS7sCW4/IXkcbA+9L5BbU/TeycQpsu5wa58TtJPpq sFDJCLS83koxWQZwfUYDzHQjnOPE7ko5+GB7Iza9gg2qMGDtjO6cAT+BftpVZM9TIfHN uYWUQAIbdqYiNjDixqDaQkPldiT6JtHk2BwGBNkQby5lfjHnjCB2krcZKgIjk6kTl78B obMLCHDk+e4iaHpg0XGkKjTjFPbS8BPvyGDMUVUlyzyPWWnFefLAHDbJ9AF0gLaZvf+h V1ew== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533FfdNpJPtA+2tsYdjcAfXndpebVjwmQpJMpbaPgFJHRzj1NtjE WqnbYhjQLFT7RRyRUgOJLNU= X-Google-Smtp-Source: ABdhPJxDNQ7nud87YEChDFdms5kfmu45zHnn7GMjkGx+HzP1AZeUHAICQRqDGb1haeOGhDeG7b9Big== X-Received: by 2002:a62:7dc7:0:b029:1d3:7fec:ffb3 with SMTP id y190-20020a627dc70000b02901d37fecffb3mr18622698pfc.12.1612801855154; Mon, 08 Feb 2021 08:30:55 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aa7:96f8:: with SMTP id i24ls7089957pfq.9.gmail; Mon, 08 Feb 2021 08:30:54 -0800 (PST) X-Received: by 2002:a63:4d52:: with SMTP id n18mr17365568pgl.237.1612801854440; Mon, 08 Feb 2021 08:30:54 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1612801854; cv=none; d=google.com; s=arc-20160816; b=f8XWgwojoCap5vk1q8zGCiiWlCaYCs4Y4GJrxSy452YLBpsB3n3gNa0sCj8HDzXjwJ +rTCZ1ZXCbuYkqCQKdOZLDaV1Ax3cfBz7sV0ZUV1To5X0QkZRP5f71vMpypjaWSUdp38 LycMgCxit0njqvCyXTdq0x5smx+e+7mmHSj16uXnTtF+X8cN6I+3NhgjprWT8chUH6jH cN6k2GHcZHTqAgrtM675vr9yJVmH6JRt3hnjVH18fquvWXX5NHesxG4nTHOMOR600nPY 7I+kLzFRIQxKq+gMlrvFwS0JCyn4AkbWEO8H/axyIhiRUIEnzX2kbtk9S6cHeqLu1iF9 dmUA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:references:message-id:subject:date:mime-version:from :content-transfer-encoding:dkim-signature; bh=hDr6uOLrU+B232xVKEfaCgZC55A/9NXDVtjRdBd/YXE=; b=OWxaISi+aE7dV0Fual9D7C/Usy63HWi9scasv7taeZ3k5i9fPthyN2w5w02Gu3SanY z+Szpki6+SP3LBF9/dJrne35nYYnXw+zPg3Bgb9H/q4Q64nwn/ej9HvyQ9Uc6XvoqQYy WTJHgVrk+Af44cDSE8fwsIybWXv4bJxQnQWTP02hNr7imBlGXbp186ovyrVqfili1Lru rZWKW421AyR9oFFUUysHUG3lL3P+dJ+McssfpFYjjeUUxGi1akOc8Moohn8bK79m/lO6 88/VoUtSjTy15gzUeGfYa8+kTydJVFjaIJglI17NGjBYsV21QVlvsAY7tZlPBsTGLl/A VcOA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=I9zDqhnX; spf=pass (google.com: domain of steveawodey@gmail.com designates 2607:f8b0:4864:20::831 as permitted sender) smtp.mailfrom=steveawodey@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-qt1-x831.google.com (mail-qt1-x831.google.com. [2607:f8b0:4864:20::831]) by gmr-mx.google.com with ESMTPS id n2si317499pjp.2.2021.02.08.08.30.54 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 08 Feb 2021 08:30:54 -0800 (PST) Received-SPF: pass (google.com: domain of steveawodey@gmail.com designates 2607:f8b0:4864:20::831 as permitted sender) client-ip=2607:f8b0:4864:20::831; Received: by mail-qt1-x831.google.com with SMTP id z32so10686984qtd.8 for ; Mon, 08 Feb 2021 08:30:54 -0800 (PST) X-Received: by 2002:a05:622a:453:: with SMTP id o19mr15899399qtx.344.1612801853880; Mon, 08 Feb 2021 08:30:53 -0800 (PST) Received: from [192.168.1.120] (pool-71-112-154-2.pitbpa.fios.verizon.net. [71.112.154.2]) by smtp.gmail.com with ESMTPSA id v67sm16721093qkd.94.2021.02.08.08.30.53 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 08 Feb 2021 08:30:53 -0800 (PST) Content-Type: multipart/alternative; boundary=Apple-Mail-46AA9B67-316E-455C-AF3F-F92CE38F702C Content-Transfer-Encoding: 7bit From: Steve Awodey Mime-Version: 1.0 (1.0) Date: Mon, 8 Feb 2021 11:30:52 -0500 Subject: [HoTT] Fwd: Benno van den Berg, tomorrow! Message-Id: <0DBB18E9-8746-4FBE-9BAC-232A15F2D909@gmail.com> References: To: Homotopy Type Theory X-Mailer: iPad Mail (18C66) X-Original-Sender: steveawodey@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=I9zDqhnX; spf=pass (google.com: domain of steveawodey@gmail.com designates 2607:f8b0:4864:20::831 as permitted sender) smtp.mailfrom=steveawodey@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: , --Apple-Mail-46AA9B67-316E-455C-AF3F-F92CE38F702C Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable > From: Bohemian Logical & Philosophical Caf=C3=A9 > Date: February 8, 2021 at 11:20:30 AM EST > To: Bohemianlpc > Subject: Benno van den Berg, tomorrow! >=20 > =EF=BB=BFDear Colleagues, >=20 > Let me remind you that the Bohemian Logical & Philosophical Caf=C3=A9 wil= l continue this week. You find the zoom link of the talk on our webpage. >=20 > We will start the 9th of Feb at 16.00 Prague time (GMT+1) with our first = speaker: >=20 > Benno van den Berg. > Effective Kan fibrations in simplicial sets >=20 > Check out van den Berg=E2=80=99s abstract at this link: https://bohemianl= pc.github.io/abstracts/abstracts.html#bvdb > Visit our webpage: https://bohemianlpc.github.io >=20 > Ivan --=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/0DBB18E9-8746-4FBE-9BAC-232A15F2D909%40gmail.com. --Apple-Mail-46AA9B67-316E-455C-AF3F-F92CE38F702C Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
From: Bohemian Logical & Philosophical Caf=C3=A9 <bo= hemianlpc@gmail.com>
Date: February 8, 2021 at 11:20:30 AM EST=
To: Bohemianlpc <bohemianlpc@googlegroups.com>
Subje= ct: Benno van den Berg, tomorrow!

=EF=BB=BFDear Colleagues,

Let= me remind you that the Bohemian Logical & Philosophical Caf=C3=A9 will= continue this week. You find the zoom link of the talk on our webpage.
=
We will start the 9th of Feb at 16.00 Prague time (GMT+1) with our firs= t speaker:

Benno van den Berg.
Effective Kan fibrations in simpli= cial sets

Check out van den Berg=E2=80=99s abstract at thi= s link: https://bohemianlpc.github.io/abstracts/abstracts.html#bvdb
Visit o= ur webpage: https://bohemia= nlpc.github.io

Ivan

--
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.com/d/msg= id/HomotopyTypeTheory/0DBB18E9-8746-4FBE-9BAC-232A15F2D909%40gmail.com.=
--Apple-Mail-46AA9B67-316E-455C-AF3F-F92CE38F702C--