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,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-ot1-x337.google.com (mail-ot1-x337.google.com [2607:f8b0:4864:20::337]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 931ce6f6 for ; Wed, 12 Feb 2020 08:31:50 +0000 (UTC) Received: by mail-ot1-x337.google.com with SMTP id o14sf818555otp.4 for ; Wed, 12 Feb 2020 00:31:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=bIsSfm/+QYPE0nsLlasOnZLuyx8+e16RLpj4Yqt3v1o=; b=HEuqG2AQzAu/UPeeZvFxJMtD1rjOZbsAG5NEGE8b/GSfGxI46hTyyjmAkJgqvGOiy4 bYb5Iq4reJFYyuJokqafmaIf6HqJYRZDqyZ4FY69i1lbhz3F3NO/2pSYf7i3kXRQQL92 if/pDmeFh2fs+H2nCFQq0K2hlfmQVy3PkfPqM65UD+nlpDDg8vJLhlDT28D1HMxY3LZC OADSaQxfg3joo7EChhBkBPC61KATjz27f5wxeU7qTJwWPFKIrjVnWkQnWgfjS2pwG4P5 Gth/V01jw3S0ZXPux6ca8c1QIfTlBMZuwDY/I/tHAFKyrmCYDyaSHrRfAQqdZCUySaDQ oGow== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:subject:mime-version:x-original-sender :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=bIsSfm/+QYPE0nsLlasOnZLuyx8+e16RLpj4Yqt3v1o=; b=VgRxpFeH910NgFFkPSpTUT0Gt8VpV4qn/PtVLVGXS07u/w5HQ3xvLgSVXlidzSwZSo RCUWePe2ZwHP04N8UV8YnxpURupCDpAfRzJQtCtkSKwhG9I8/blilHN+I5sHut/80cSp NiZ7p+agpVNEjch5OqBA8wx9r8eIY93lCpg+3wavsWRad4QNRHpv4GCegS+3L1R5kJAq b1v83tEZdp1B3rb1XYRwzvaclBZQvVc7sqkyGgIp/b01Teot/HpXYZeeTCzcKhVOSqtF TrcTxqus5ZutfBRQ9nlms3xu1cX1nSRTVi61iiSCrCGiMaWV11RjKEVA1dmtedw4g/dU zDfw== 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: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=bIsSfm/+QYPE0nsLlasOnZLuyx8+e16RLpj4Yqt3v1o=; b=EIrHOA9fsQHFi1bXfL+lJlTnrnAdBXMMUGpR49uK0YlNW8cuHTdY/zMBmezBCQTUWl uguagqOl6tP9u6l0rZTY8VC7iYBrHQAIi4xUHnzWaQaL+/lP8ia+R1tveqlwPc/yM3Ll pZKxut7HzDb4byszyNPdrkts2JwZgcZmSCwQTyYnK0i5Ir2FtUfeEPlTCqvZap5PDHTI 6OzMI0ryFyF4DaXHbvX2cu3XyoJPDHuCum+1BK5a6ybRf916hBsTAY3JlfKCev8WxFGQ NAjoHR80Z62yen5aMV7VmU4517bKIAX6OlNQX3bqTezK0qQ+UiXNQy1o6ztR5ZjDywGT nrkQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAUCGXYXDocrQtLpstiKRIQXh4mugRrxLVOaCWeSSeh/EVmZRXce Bd8zj0oec3A8K8ACIBrjsBM= X-Google-Smtp-Source: APXvYqyr9YSDhXVMbex+BAonfbkMgNxhALG4Jk0njHe3aDqJCRIfejYfgdLKerrNeJ0yaji+KkHnmA== X-Received: by 2002:aca:3f8b:: with SMTP id m133mr5354638oia.51.1581496308696; Wed, 12 Feb 2020 00:31:48 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aca:d549:: with SMTP id m70ls6400734oig.10.gmail; Wed, 12 Feb 2020 00:31:48 -0800 (PST) X-Received: by 2002:a05:6808:244:: with SMTP id m4mr5500804oie.125.1581496308142; Wed, 12 Feb 2020 00:31:48 -0800 (PST) Date: Wed, 12 Feb 2020 00:31:47 -0800 (PST) From: =?UTF-8?Q?Karol_Szumi=C5=82o?= To: Homotopy Type Theory Message-Id: Subject: [HoTT] Subject: PSSL 106 at University of Leeds, April 4th and 5th 2020 MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_2411_619385886.1581496307559" X-Original-Sender: karol.szumilo@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_2411_619385886.1581496307559 Content-Type: multipart/alternative; boundary="----=_Part_2412_926214112.1581496307559" ------=_Part_2412_926214112.1581496307559 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear friends and colleagues, The next Peripatetic Seminar on Sheaves and Logic (PSSL 106) will be held on the weekend of April 4th--5th at the School of Mathematics, University of Leeds (UK). There is no conference fee. However for practical reasons, we kindly ask all participants to register by March 20th. The registration form and further information is available on the website: http://www1.maths.leeds.ac.uk/~pmtsh/pssl106.html If you have any questions, please email pssl106@leeds.ac.uk to contact the organisers. With best regards, Nicola Gambino Sina Hazratpour Gabriele Lobbia Karol Szumi=C5=82o --=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/ffbc4432-0008-4360-bf8b-f5c5f05e8946%40googlegroups.com. ------=_Part_2412_926214112.1581496307559 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear friends and colleagues,

The next Peripatetic Seminar on Sheaves and Logic (PSSL 106) will be
held on the weekend of April 4th--5th at the School of Mathematics,
University of Leeds (UK).

There is no conference fee. However for practical reasons, we kindly
ask all participants to register by March 20th.

The registration form and further information is available on the website:<= br>
http= ://www1.maths.leeds.ac.uk/~pmtsh/pssl106.html

If you have any questions, please email pssl106@leeds.ac.uk to contact
the organisers.

With best regards,

Nicola Gambino
Sina Hazratpour
Gabriele Lobbia
Karol Szumi=C5=82o

--
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/ffbc4432-0008-4360-bf8b-f5c5f05e8946%40googleg= roups.com.
------=_Part_2412_926214112.1581496307559-- ------=_Part_2411_619385886.1581496307559--