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 9849 invoked from network); 5 Jun 2020 09:19:55 -0000 Received: from mail-oo1-xc3c.google.com (2607:f8b0:4864:20::c3c) by inbox.vuxu.org with ESMTPUTF8; 5 Jun 2020 09:19:55 -0000 Received: by mail-oo1-xc3c.google.com with SMTP id 127sf4868564ooh.5 for ; Fri, 05 Jun 2020 02:19:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:in-reply-to:references:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=DVvbFL7PJbazrj+kEsP6cbkdBLRHfCpAWz01EgchOUQ=; b=I6QvIa6z8PWfho30V2T++XV+UTIORIMzwqUs2LHFlJ89MoYdY2MPVd/RT9kmJbily1 DnZ2auple3iEZ2UBap+p9o0XAWT1V10H73hA1EMqSRcJXovrJa1wUXsHq6NB3vaN1mDn WTarL2cj5DNkUSP8KONgX2x+nvBgw/VK0tuJFbrf0DDn54mmzFOG7GITMTetnN+QGLMo 2peyhcATLHcR6h6AhB/lel7a6nwdgD3BulnVr/iF5eAwVdS0oCI/GBoMHgtqDuW5kFx6 A0T/jItX0Z56JoCwSNL1Z1OKGrR5fwq3t7RbNxbO3IP7OffHY2C53t85bn36pq67bSFa R2Ig== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=DVvbFL7PJbazrj+kEsP6cbkdBLRHfCpAWz01EgchOUQ=; b=PB5q3oBxYYV3KMLfqN3Dg9zd/1/4p1oGhclzMipzORJALwDkXbSM46VGt6avUtrz5N Ohii4MvDCVd/gJ0OdCNe86YKXLf3tWfO4CNsuErNlYCMHYs6dWTPC0vQ7ACN3LuosOA3 XFfCXTytv5EqEIPLCqL0Z8FXdfsmkJVJLIe7akdlnE2MkGDk+1MubzfM76zaLOQbaTzD NRbvDj1gamKjelYoHwvchJqA5j3CjbQclJpTqHULBWgVt2gfnHvl/XFnOKiykUtY+eYF rPg1jJ8cgHz9vRtaxYUuHaWVt7EX0kf0zbpQc49YZXlFKrhGT60uKF2Vxta4TYa6pZci 6BpA== 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:in-reply-to :references: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=DVvbFL7PJbazrj+kEsP6cbkdBLRHfCpAWz01EgchOUQ=; b=QA2Ee2RpnzW/fMj59skO4ytLPg1n4TUQXa9HE/oj9Gzzna/kDgEa4wCjPO597lVuRZ Eo0E4iGtCEldxwHDuJqCrRkmpa5mJjiT6Jc1n4ngM5XkS82r16v/F/9LmdyvktCaGZv0 /O8dl8beKUz8km84MpjZjrwbWoPBU6h9v3zPpZyykTH99JHzFO3Hoy+Yi1BElznf5+Xp hHEDmRaSA93WdPD5TU49agYJmEqQqqAUeNk1kiDZwXWkNLiBWpl3J5FjbYYADQBhcEVt Q7UxvhUFPIwcKJms1DfZ9LAgabE92yVtr0OW5oXo3YD9zJAxsKSO7BQZtYQ7aUDXPR9c MvPA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM5328ikH2hLP/I7FoD4S7QiRLD9W53Y7csSM95mmeEJTKDv5TgVKV Wr0yn/1+xHpy5O0bcXSuw/M= X-Google-Smtp-Source: ABdhPJy8s0/sQ6jCaNqP1mdPKQ6RrXwF6J74kQ6xWN29wqOMyUv1/hA5uiK9XjjPJ94CqIDhWZw/Gg== X-Received: by 2002:a4a:1b06:: with SMTP id 6mr6945295oop.67.1591348790668; Fri, 05 Jun 2020 02:19:50 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:590c:: with SMTP id t12ls1914282oth.1.gmail; Fri, 05 Jun 2020 02:19:50 -0700 (PDT) X-Received: by 2002:a05:6830:17ce:: with SMTP id p14mr7245002ota.161.1591348790128; Fri, 05 Jun 2020 02:19:50 -0700 (PDT) Date: Fri, 5 Jun 2020 02:19:49 -0700 (PDT) From: nicolas tabareau To: Homotopy Type Theory Message-Id: <7a9f7238-8336-45f7-ad11-b8f2e5a370a0o@googlegroups.com> In-Reply-To: <0e10d866-00f3-4311-90a9-f704ef26e10b@googlegroups.com> References: <0e10d866-00f3-4311-90a9-f704ef26e10b@googlegroups.com> Subject: [HoTT] Re: EPIT 2020: Spring School on Homotopy Type Theory (last announcement) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_376_473460799.1591348789374" X-Original-Sender: tabareau.nicolas@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_376_473460799.1591348789374 Content-Type: multipart/alternative; boundary="----=_Part_377_1265529618.1591348789376" ------=_Part_377_1265529618.1591348789376 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Due to the sanitary crisis in May, the EPIT2020 summer school has been=20 postponed to October=20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Spring School on Theoretical Computer Science (EPIT) =E2=80=93 Homotopy Typ= e Theory Ile d=E2=80=99Ol=C3=A9ron, CAES CNRS La vieille Perrotine, France. 19th-23th Oct 2020 https://epit2020cnrs.inria.fr =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D On Monday, March 2, 2020 at 8:14:48 PM UTC+1, nicolas tabareau wrote: > > [This is a reminder that the deadline for pre-registration is ** March 15= ,=20 > 2020 **, note=20 > that we are pleased to have to new lectures by Valery Isaev and Paige=20 > North] > > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D > > Spring School on Theoretical Computer Science (EPIT) =E2=80=93 Homotopy T= ype Theory > > Ile d=E2=80=99Ol=C3=A9ron, CAES CNRS La vieille Perrotine, France. > > 25th-29th May 2020 > > https://epit2020cnrs.inria.fr > > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D > > The EPIT is a French thematic school proposing, on an yearly basis, an=20 > intensive 5-day long training,=20 > specializing on a particular topic in theoretical computer science. It is= =20 > primarily addressed to PhD students,=20 > Post-doctoral researchers and junior academics. > > The 2020 edition of the EPIT will be centered around Homotopy Type Theory= ,=20 > a research topic at the junction=20 > of Computer Science and Mathematics. Our hope is hence to provide an=20 > introduction that is accessible=20 > to researchers in both areas. > > Pre-registration is now open, please visit=20 > https://epit2020cnrs.inria.fr/registration/ to know more.=20 > > For any question, please contact epit2020@sciencesconf.org > > NB: As the number of places is limited, we have fixed a deadline for=20 > pre-registration to ** March 15, 2020 **. > > -------------------------------------------------------------------- > Lecturers > > Andrej Bauer (Ljubljana University):=20 > Introduction to Homotopy Type Theory > > Guillaume Brunerie (Stockholm University):=20 > Synthetic Homotopy Theory > > Valery Isaev (JetBrain, Saint Petersburg):=20 > The Arend proof assistant > > Anders Mo=CC=88rtberg (Stockholm University):=20 > Cubical Type Theory > > Paige North (Ohio State University):=20 > Directed Homotopy Type Theory > > Andy Pitts (Cambridge University):=20 > Models of (Univalent) Type Theory > > Bas Spitters (Aarhus University):=20 > The Coq-HoTT library > --=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/7a9f7238-8336-45f7-ad11-b8f2e5a370a0o%40googlegroups.com= . ------=_Part_377_1265529618.1591348789376 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Due to the sanitary crisis in May, the EPIT2020 summ= er school has been postponed to October=C2=A0

=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Spring School on Theoretical Compute= r Science (EPIT) =E2=80=93 Homotopy Type Theory

Ile d=E2=80=99Ol=C3=A9ron, CAES CNRS=C2=A0La vieille Perrotine, Fr= ance.

19th-23th Oct 2= 020

https://epit2020cnrs.inria.fr
<= br class=3D"">
=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

On Monday, March= 2, 2020 at 8:14:48 PM UTC+1, nicolas tabareau wrote:
[This is a reminder that the = deadline for pre-registration is ** March 15, 2020 **, note=C2=A0
=C2=A0that we are pleased to have to new lectures by Valery Isaev and Pai= ge North]

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D

Spring= School on Theoretical Computer Science (EPIT) =E2=80=93 Homotopy Type Theo= ry

Ile d=E2=80=99Ol=C3=A9ron, CAES CNRS=C2=A0La vieille Perro= tine, France.

25th-29th May 2020

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D

The=C2=A0EPIT=C2=A0is a = French thematic school proposing, on an yearly basis, an intensive 5-day lo= ng training,=C2=A0
specializing o= n a particular topic in theoretical computer science. It is primarily addre= ssed to PhD=C2=A0students,=C2=A0
= Post-doctoral researchers and junior academics.

The 2020 edition of = the EPIT will be centered around Homotopy Type Theory, a research topic at = the=C2=A0junction=C2=A0
of Comput= er Science and Mathematics. Our hope is hence to provide an introduction th= at is=C2=A0accessible=C2=A0
to re= searchers in both areas.

Pre-registration is now open, please visit= =C2=A0https://epit2020cnrs= .inria.fr/registration/=C2=A0to know more.=C2=A0

For= any question, please contact=C2=A0epit2020@sciencesconf= .org

NB: As the number of places is limited, we have= fixed a deadline for pre-registration to ** March 15, 2020 **.

----------------------------= ----------------------------------------
Lecturers

Andrej Bauer=C2= =A0(Ljubljana University):=C2=A0
= Introduction to Homotopy Type Theory

Guillaume Br= unerie=C2=A0(Stockholm University):=C2=A0
Synthetic Homotopy Theory

Valery Isaev= =C2=A0(JetBrain, Saint Petersburg):=C2=A0
The Arend proof assistant

=
Anders Mo=CC=88rtberg=C2=A0(Stockholm U= niversity):=C2=A0
Cubical Type Th= eory

Paige North=C2=A0(Ohio State University):=C2= =A0
Directed Homotopy Type Theory<= br>
Andy Pitts=C2=A0(Cambridge = University):=C2=A0
Mod= els of (Univalent) Type Theory

Bas Spitters=C2=A0(Aarhus University):=C2=A0
The Coq-HoTT library
<= /div>

--
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.c= om/d/msgid/HomotopyTypeTheory/7a9f7238-8336-45f7-ad11-b8f2e5a370a0o%40googl= egroups.com.
------=_Part_377_1265529618.1591348789376-- ------=_Part_376_473460799.1591348789374--