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 17026 invoked from network); 10 Feb 2023 12:36:24 -0000 Received: from mail-qv1-xf3a.google.com (2607:f8b0:4864:20::f3a) by inbox.vuxu.org with ESMTPUTF8; 10 Feb 2023 12:36:24 -0000 Received: by mail-qv1-xf3a.google.com with SMTP id c10-20020a05621401ea00b004c72d0e92bcsf3020869qvu.12 for ; Fri, 10 Feb 2023 04:36:24 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:sender:from:to:cc:subject:date :message-id:reply-to; bh=9doAsV8jez1vJal9ntFlSV3wFvPKMNY1t0Wjf80GUGU=; b=TCtO7jO4/o4CtVl5RiU0Fbr5IG4krUDxJ7IpzOZg28Vd9tS98C8FyRRgcXXnL/4Xds HKEbh5rf7rhEUBBKQxctCBfOoC6N97zcF0J0GcApSrYNlP++gOWh8OD9clHI+r77dBAR tBV5r5Y1NcIVkdror0SoCxvBYLgM3z/ZL3F5uLxPDbldEV7n8JuiCKBPh0RPN58DhWa0 o99d+jnlNAv1R7Sdibg76LpyMBgF7Stqh3fl7YqokQaEKMAHfAyu+4775nmGDI3Uh3mH dN/4h6w9w4ZAFxsDVUu36qcDDkkRhb+5PiWovce8br3fIvz4smVKuUgeGmYT8qdy/v0t 9hNA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:from:to:cc:subject:date:message-id :reply-to; bh=9doAsV8jez1vJal9ntFlSV3wFvPKMNY1t0Wjf80GUGU=; b=pPBKuWfk0Z/rWz8aPDS1ecDCrYDeKFxl/uXDTljMxWh3P5kbZDfNjvGOHn7wUJcoar QZNLsurjZ0AGreGElFs8tUhzRAy1vYaNfG9CCQSLdq9Irwcvx0QivVTvCF852owEJCdY +xXAeZUMpy3eoyP6wKr7blSMNHQZgq1o1wqUxSfcUofFkhNL2oesbic9YMDil6Cd0tdA 67zG1NGjwysiiUxWfYhSDGoBffct7j1xF8ThxvBdS86WIhfEn+vo9+e22kZNZW9wGTXK yWCf5Xjwrt6tKceUqeMJ8+9huuS+aIS4ajKYaHF8nqc3Llsuk8bSNJTyOkpo1LiXCWiP LN7w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-sender:mime-version:subject:message-id:to:from:date :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=9doAsV8jez1vJal9ntFlSV3wFvPKMNY1t0Wjf80GUGU=; b=WboF7Z9JZoNvzoH06ziJvH2o7fcW7tRaUfYpQA8BWiyxLdQv0snT2gbTbNaSeMqsAU q11lq6smlqMHhay07wJFlPd409bgBxRZ5ZmY38XJAB6/OaizDwVZuh+2eE0Sufmcgn03 Gu/deVSF3BnoRxx0dGgSilV7BPG1OGEpCzdmy41RAjjo6MHrNdwAyYxmkzJw8O4iziGD nek9HDKObNA/5BXyeKJXSaahrc3/i+E31zXHPPyw+cuRaabanpif4NgK/UkjmrthIb4o yWtIo+02zYhSOZF3MjAx07zE9MWOTXUoJYLz+TreGKEiRc3QadAgVlRzcFh9/WSuFXgm /I2g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AO0yUKUN2iUf+fGj7EK5XadZxGRlBSB+YP96gUioB7uToTi+UIL1jMuz U5Z8crG8hq+YpjHT6k7Z0K0= X-Google-Smtp-Source: AK7set+aQ5z8ytWw/rjHZgFdG0e+8XW4d1terMPH6jkUnTylHNIb1T/xWAivfa1ruFEs+CQy61hNTQ== X-Received: by 2002:a0c:dc92:0:b0:56c:21e3:f840 with SMTP id n18-20020a0cdc92000000b0056c21e3f840mr574354qvk.32.1676032582468; Fri, 10 Feb 2023 04:36:22 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6214:4599:b0:56e:8a76:960e with SMTP id op25-20020a056214459900b0056e8a76960els2256627qvb.9.-pod-prod-gmail; Fri, 10 Feb 2023 04:36:21 -0800 (PST) X-Received: by 2002:a0c:f085:0:b0:56e:99ca:2c38 with SMTP id g5-20020a0cf085000000b0056e99ca2c38mr31322qvk.48.1676032580991; Fri, 10 Feb 2023 04:36:20 -0800 (PST) Date: Fri, 10 Feb 2023 04:36:20 -0800 (PST) From: Jacopo Emmenegger To: Homotopy Type Theory Message-Id: <31525d18-3f4b-495f-8300-e1151012aaf2n@googlegroups.com> Subject: [HoTT] Registration open - EuroProofNet Working Group 6 meeting in Vienna, 24-25 April 2023 MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1004_784471377.1676032580241" X-Original-Sender: op.emmen@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: , List-Unsubscribe: , ------=_Part_1004_784471377.1676032580241 Content-Type: multipart/alternative; boundary="----=_Part_1005_1405236142.1676032580241" ------=_Part_1005_1405236142.1676032580241 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The registration form, which includes the options to submit a talk proposal= =20 and to apply for funding, is now live on the website. ------------------------------- The *second meeting of Working Group 6 of EuroProofNet* will take place in= =20 Vienna, Austria, on 24-25 April 2023.=20 It is colocated with the Workshop on Homotopy Type Theory/Univalent=20 Foundations (HoTT/UF), which takes place on 22-23 April 2023.=20 =20 The aim of this meeting series is to bring together researchers working on= =20 the topics of WG6. The main focus is thus on the syntax and semantics of=20 type theory.=20 =20 We invite submission of talk proposals (about 1 paragraph). The programme= =20 will consists mainly of short talks, and plenty of time for discussion. The= =20 meeting will be in person and is open to anyone interested in type theory.= =20 To register please follow the link on the event's webpage. A limited amount= =20 of funding is available to reimburse expenses. The registration form=20 includes the options to submit a talk proposal and to apply for funding. *Invited speakers*=20 Daniel Gratzer=20 Ambroise Lafont=20 Anders M=C3=B6rtberg=20 Lo=C3=AFc Pujet=20 *Deadlines* (AoE)=20 Submission of talk proposals: Monday 27 February=20 Author notification: Tuesday 7 March=20 Funding requests: Thursday 19 March=20 Registration: Friday 7 April=20 *Scientific Organisers*=20 Jacopo Emmenegger (University of Genoa)=20 Paige Randall North (Utrecht University)=20 *Local Organiser*=20 Anja Petkovi=C4=87 Komel (TU Wien)=20 --=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/31525d18-3f4b-495f-8300-e1151012aaf2n%40googlegroups.com= . ------=_Part_1005_1405236142.1676032580241 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The registration form, which includes the options to submit a talk proposal= and to apply for funding, is now live on the website.

---------= ----------------------

The *second meeting of Working Group 6 of= EuroProofNet* will take place in Vienna, Austria, on 24-25 April 2023. <https://europroofnet.github.io/wg6-vienna/>

It is colo= cated with the Workshop on Homotopy Type Theory/Univalent Foundations (HoTT= /UF), which takes place on 22-23 April 2023.
<https://hott-uf.gith= ub.io/2023/>

The aim of this meeting series is to bring toge= ther researchers working on the topics of WG6. The main focus is thus on th= e syntax and semantics of type theory.
<https://europroofnet.githu= b.io/wg6/>

We invite submission of talk proposals (about 1 p= aragraph). The programme will consists mainly of short talks, and plenty of= time for discussion. The meeting will be in person and is open to anyone i= nterested in type theory.

To register please follow the link on= the event's webpage. A limited amount of funding is available to reimburse= expenses. The registration form includes the options to submit a talk prop= osal and to apply for funding.

*Invited speakers*
Daniel G= ratzer
Ambroise Lafont
Anders M=C3=B6rtberg
Lo=C3=AFc Puj= et

*Deadlines* (AoE)
Submission of talk proposals: Monday= 27 February
Author notification: Tuesday 7 March
Funding reque= sts: Thursday 19 March
Registration: Friday 7 April

*Scie= ntific Organisers*
Jacopo Emmenegger (University of Genoa)
Paig= e Randall North (Utrecht University)

*Local Organiser*
An= ja Petkovi=C4=87 Komel (TU Wien)=20

--
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/31525d18-3f4b-495f-8300-e1151012aaf2n%40googl= egroups.com.
------=_Part_1005_1405236142.1676032580241-- ------=_Part_1004_784471377.1676032580241--