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=-1.2 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-x33d.google.com (mail-ot1-x33d.google.com [IPv6:2607:f8b0:4864:20::33d]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id aa3be3aa for ; Thu, 7 Mar 2019 16:38:15 +0000 (UTC) Received: by mail-ot1-x33d.google.com with SMTP id b21sf7345022otl.7 for ; Thu, 07 Mar 2019 08:38:14 -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=kg1Q55lFe2d+w52RPmgTDVPzdmTvCG9aRJsQpAR+IUs=; b=Ufmj8MBaN/BlSHznv3K3g6AAbC5khaoIo0Oxh0+mfVZJVimmwM4m3RakIDq2eI65Bi psbijTXln/3GEpFVi8C5Rvi3INnFSSVx6GJO788Xa82PzXuaeQiFySOICuD1Ye5Hq6zz QwZSA0JLFOl3fwX1Yz5FyWvydSyic5DKyW90w8spAObyvHZAcsEMhTj3P9VX3buP7uzx /ziF/Oxl0uhvPIihefVldRdQJD62kXP+KmNByf161Lgx2Ozl0ouQegMw1DlMcg0/maUj qAyYmiW+vaevwKUzjO8xSFRWB5J3GbBfgeNzlLFxhuFzj18Hva80z6hIQhbX4v1Et2qU jcqA== 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=kg1Q55lFe2d+w52RPmgTDVPzdmTvCG9aRJsQpAR+IUs=; b=tITcXkmYMPv9Xvv9KX4jg7WJJZn/y2n8Kp1irSpyAdHnacW4JGZ1ANpC8mByU099SG 20bG8CjvH+T8lq0IGfeVG5y8Ifu59PLir1RtMJ2JL8cVCjwaNr0pUpuy67Px0ZVFMGJc gZliEmiVQMxr6NK6iUoOsuzuffLab9+ef5XMYmfK/VHLUCCP4bdpv3UlLS2/TkpvwJWr 6axEvVe5SNegbL2KlMY+83iN+zzUYcZPD8FYKOTPj7Drwb3qa6L0CzUj9F+oHDLWFvol m8acDedEQ1EDZuFu0hp75UfYm4eRqW/I0F8MbGvqHAVHQ98mLmwKAqItTCHqf+vnGTar FD4g== 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=kg1Q55lFe2d+w52RPmgTDVPzdmTvCG9aRJsQpAR+IUs=; b=F4lMl9bLUd6lBB+vIl3qhHpT9j5FJ6CTQak70sprRFrrdlC1V/ghPHePynsHfJ4iIz DK99uckPP8FbDtWA6RpVIpwVI5b4KymdVOPAFMc+/tIWCAHB/NTokAd0NxPVNeHbTjco qoXA10S67RfHcy/vS5RcKt1Dmblc0W67lvVUetPSKT+x6owRih/WM6nNn73JHfF20oR4 QTLVl54sHDa/dODPJxeMFYvM3SBut8su1pXWJ9YsJFm6J/bgxUI8LTl54eM4tLzh5GRs eCcJVaCbyxjyRRM6FjutJshUX1GJnIl44EZMXvYGwU7rcbc/CIbVKRBDAf8u10yjkRRP VxDw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAWu5DT1zseujM1mIqMTbGag0w8nAXcNYcCjJ+zYl5F+eJePijvJ AKsVFgsc+fSd5ePYcrg5wdA= X-Google-Smtp-Source: APXvYqzDKj4EZiTD+0XcYI9YJGhN8qdpFSScXKvvpHoKUqNzuueC+zpKRNFot8xl84fZF42BB2BoiA== X-Received: by 2002:aca:4405:: with SMTP id r5mr5295106oia.171.1551976694035; Thu, 07 Mar 2019 08:38:14 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:590f:: with SMTP id t15ls2157928oth.10.gmail; Thu, 07 Mar 2019 08:38:13 -0800 (PST) X-Received: by 2002:a9d:66c9:: with SMTP id t9mr8121264otm.36.1551976693241; Thu, 07 Mar 2019 08:38:13 -0800 (PST) Date: Thu, 7 Mar 2019 08:38:12 -0800 (PST) From: =?UTF-8?Q?Mart=C3=ADn_H=C3=B6tzel_Escard=C3=B3?= To: Homotopy Type Theory Message-Id: <9b8e0810-10fc-4979-aec9-d2635dd8032d@googlegroups.com> Subject: [HoTT] 4 meetings in April here in Birmingham UK MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_939_1374455243.1551976692733" X-Original-Sender: escardo.martin@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_939_1374455243.1551976692733 Content-Type: multipart/alternative; boundary="----=_Part_940_1120801906.1551976692733" ------=_Part_940_1120801906.1551976692733 Content-Type: text/plain; charset="UTF-8" (i) 1-5 April - UniMath School https://unimath.github.io/bham2019/ (ii) 8-12 April - 6th Workshop on Formal Topology (6WFTop) https://www.cs.bham.ac.uk/~sjv/6WFTop/ (iii) 13 April - Giovanni Sambin and Steve Vickers retirement celebration including a day of talks. (iv) 14-18 April - Midlands Graduate School in the Foundations of Computing http://events.cs.bham.ac.uk/mgs2019/ Submissions for (ii) are very welcome (first-come, first-served). And so is attendance to any of the events. Martin -- 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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout. ------=_Part_940_1120801906.1551976692733 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
(i)=C2=A0 =C2=A0 =C2=A0 1-5 April - UniMath School
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0https://unimath.github.io/bham2019/

(ii)= =C2=A0 =C2=A0 8-12 April - 6th Workshop on Formal Topology (6WFTop)
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0https://www.cs.bham.ac.uk/~sjv/6WFTop/

(iii)= =C2=A0 =C2=A0 =C2=A013 April - Giovanni Sambin and Steve Vickers retirement= celebration
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0including a day of talks.

= (iv)=C2=A0 =C2=A014-18 April - Midlands Graduate School in the Foundations = of Computing
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0http://events.cs.bham.ac.uk/mgs2019/

=
Submissions for (ii) are very welcome (first-come, first-served)= .

And so is attendance to any of the events.
=

Martin

--
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.
For more options, visit http= s://groups.google.com/d/optout.
------=_Part_940_1120801906.1551976692733-- ------=_Part_939_1374455243.1551976692733--