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 32454 invoked from network); 25 Jan 2023 18:16:05 -0000 Received: from mail-qv1-xf37.google.com (2607:f8b0:4864:20::f37) by inbox.vuxu.org with ESMTPUTF8; 25 Jan 2023 18:16:05 -0000 Received: by mail-qv1-xf37.google.com with SMTP id c10-20020a05621401ea00b004c72d0e92bcsf9681768qvu.12 for ; Wed, 25 Jan 2023 10:16:05 -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=Y49LgC4aapO0kyR4MPccJk1986hnb55chhvTBr15Un8=; b=rveNwONL5Eq1Xhu4Nf/dh0yeAX5uBLPBkjypQwivWIor1Fzt6UuRGImZF1CBobKP/x SOI2NOctkfhSnik34XRqSkTfvTD7VSK6n0BbkS+hUziko7t9xGWyPqGFTC8wl9flcNjM Bu4IoDDKofyKPj61sbrc2KnWDmB1D4cJV+/wWLX59BfIhIYLVrW3tQLk+8FR5hcEbsga yUhubCJLdBu6GAbRmKr0YyJ7sNQ6ZG+ebOzx2+yZkeyXa6WxelVQdV8OwJ1LwfzrUQLn af21EAtGGSB2N0IEH8NGX0hbeF/gvNzPfAhiS+h8A7msTZrwKO1pX4qngSZsg3duaOXX RHsw== 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=Y49LgC4aapO0kyR4MPccJk1986hnb55chhvTBr15Un8=; b=kYTBMJ+gVxdZuWLXjhHc8zFmkJ/CwZQKKOpymqDIyTIgu+I6lFBZWv7HuL2DCIyh0c 3YBFDBI15/HsrphvsjnSiRTgVsyi3WvOxRbyLewD1p6Xx416EHD9JeJ9/2jvk8ivzrZ0 R2+JwBM5UAO0e1cnlQiXMJd33BZ/Ba4juJhstEGYC7EL9QrAyLYwpQl0nUKqf90AwwEd WFE3mPcNzYRCDnF+Z3TSyW0X91RynspmlY5ZIdYc0h7TckCLOsJNhppAQqQJkpr0+QHH x4yZUCTO6fDfPfvJ120iPlkHOD9MERvkDuLSUpHzIySj8ki6M0ydEGDwL0BzBOJBo8dQ LJiw== 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=Y49LgC4aapO0kyR4MPccJk1986hnb55chhvTBr15Un8=; b=iOMb5F7t4Bpzoj981z3uv8e44lBDhAKAwyCby3lfsMlruD0ak/QVb69g1e3hj2OamQ 35IonYEVpfv5tqSNYKRzvTJlWo8RtF4nf5ttQ9iFNPugomf24uiHjuPkk6AM18p5Q2gE Fd4NU+QRLazda0vSMaW9nO297zm2YROnN75V3GOKoxnhc8byFqgfVcktf2L6N2bkofKQ u5dyxYrhfw5GSIVMLcevfni1e7aghJOOqRgpEb4JWC1quQpGKINVcJtgt7YXsaImH+sv rMky4wH8zl65v7oghG5PYGggMeoUpI+1zmq++W064Uw5Wj5QlKpqwqlIpAU7VNxFf3pX 5O1g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AFqh2koGWM+HLmiv/8EgLakRLHt2syPRzOjWJmrk5pl5DoZ4cLYaGTM/ MNWOOuBeL5JaLxfY5iAqELk= X-Google-Smtp-Source: AMrXdXtuB3lc1srEw9oB3jzR0qzwp6hDzQvsybJpPxWHRT+O91qMXYduofMxGUVVYQJAwyDMUJfZoA== X-Received: by 2002:a05:620a:36f4:b0:706:976f:300b with SMTP id cz52-20020a05620a36f400b00706976f300bmr1779320qkb.268.1674670563986; Wed, 25 Jan 2023 10:16:03 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:620a:15f8:b0:6fc:c48e:e89b with SMTP id p24-20020a05620a15f800b006fcc48ee89bls4282869qkm.8.-pod-prod-gmail; Wed, 25 Jan 2023 10:16:02 -0800 (PST) X-Received: by 2002:a05:620a:12c5:b0:706:7793:9400 with SMTP id e5-20020a05620a12c500b0070677939400mr1700203qkl.238.1674670562436; Wed, 25 Jan 2023 10:16:02 -0800 (PST) Date: Wed, 25 Jan 2023 10:16:01 -0800 (PST) From: Jacopo Emmenegger To: Homotopy Type Theory Message-Id: Subject: [HoTT] EuroProofNet Working Group 6 meeting in Vienna, 24-25 April 2023 MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_5254_492005830.1674670561677" 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_5254_492005830.1674670561677 Content-Type: multipart/alternative; boundary="----=_Part_5255_757465938.1674670561677" ------=_Part_5255_757465938.1674670561677 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The **second meeting of Working Group 6 of EuroProofNet** will take place= =20 in Vienna, Austria, on 24-25 April 2023.=20 =20 =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 Registration will be open soon. To register please follow the link on the= =20 event's webpage. A limited amount of funding is available to reimburse=20 expenses. The application for funding will be open together with=20 registration.=20 **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 Jacopo Emmenegger=20 Postdoctoral research fellow=20 Dipartimento di Matematica (DIMA)=20 Universit=C3=A0 degli Studi di Genova=20 Genova 16146, Italy=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/d5c5864a-1248-48a5-9579-9f844853fac0n%40googlegroups.com= . ------=_Part_5255_757465938.1674670561677 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The *second meeting of Working Group 6 of EuroProofNet* will take place=20 in Vienna, Austria, on 24-25 April 2023.
<https://eu= roproofnet.github.io/wg6-vienna/>

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

The aim of this meeting series is to bring together researchers worki= ng=20 on the topics of WG6. The main focus is thus on the syntax and semantics=20 of type theory.
<https://europroof= net.github.io/wg6/>

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

Registration will be open soon. To register please follow the link on= =20 the event's webpage. A limited amount of funding is available to=20 reimburse expenses. The application for funding will be open together=20 with registration.

*Invited speakers*
Daniel Gratzer
Ambroise Lafont
Anders M=C3=B6rtberg
Lo=C3=AFc Pujet

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

*Scientific Organisers*
Jacopo Emmenegger (University of Genoa)
Paige Randall North (Utrecht University)

*Local Organiser*
Anja Petkovi=C4=87 Komel (TU Wien)



--=C2=A0
Jacopo Emmenegger
Postdoctoral research fellow
Dipartimento di Matematica (DIMA)
Universit=C3=A0 degli Studi di Genova
Genova 16146, Italy

--
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/d5c5864a-1248-48a5-9579-9f844853fac0n%40googl= egroups.com.
------=_Part_5255_757465938.1674670561677-- ------=_Part_5254_492005830.1674670561677--