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 25394 invoked from network); 14 Mar 2023 14:05:42 -0000 Received: from mail-qv1-xf39.google.com (2607:f8b0:4864:20::f39) by inbox.vuxu.org with ESMTPUTF8; 14 Mar 2023 14:05:42 -0000 Received: by mail-qv1-xf39.google.com with SMTP id dg8-20020a056214084800b005acc280bf19sf799420qvb.22 for ; Tue, 14 Mar 2023 07:05:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; t=1678802741; 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=vbMUtvtwq5eWjkoCFN52r4jxylYZWjKPjccZ+/qDJ60=; b=GFidKnJ9bcQ5KWa5h2yQevBgiZmPaeEgrLI/DBd4yMmMc0XKpKa6ae044yv0R8MhHI jWdZULtoN2xxKt42TLm37dOsMgQh1yzLjA06k951fsef90gE6CZO1FuGqohNMmyYdOff ShhFJBoAmHsi8jSdxu3TKjKN7RfeBmDhetmV8pNmVDWUohyaxEWV5HuumO2Ow0NdClmq 7+clZ4R2bRiTHGBPbP2TwWEsE/oUof/FpE3y/j7lxRSxWWrP44hkftzWyUCYubDFnOge 3EPkeaeM2g4r2haxjPirgKlz8cKruohdDhhaoMe8xn4g1oQ1oSSq83Ucg+MYiQA8WGWx /3PA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1678802741; 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=vbMUtvtwq5eWjkoCFN52r4jxylYZWjKPjccZ+/qDJ60=; b=NzeYRLQIvCXZCOLfj9xFvykQDkFl9OhAno/wc5Q+TOpjiNRk9B0S6RoB9q2zzEK1L6 bpdxVWgiNq9c4sojY3inS5YIVkhyIvfBR9MG455EwZtEpPfhCkbn6I8Rg+K+53m9Mdc1 G07BDQ5/Y3UpZasjRrzOhneH97Nbc8N3HtJ01MzA4VZHeBqNj+TubRTU+PLjYsBacyVZ UaRPSfhBLyAdICQEi/LQliedWfX3WQThCDLmLvkxZlYa9ZKUz9/YFBZwgnfimH2t4vB7 DnKuJQQohFK+alQB9Qr7ZRVQ59gEbY++Dx6KtCJMKaphppXPV9+MOjiiIONWUjEyBZRD 3eRg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1678802741; 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=vbMUtvtwq5eWjkoCFN52r4jxylYZWjKPjccZ+/qDJ60=; b=tVV+QUTZQx5ke5cdg65+o+uLj9rubcjbcQHxyarYcwF4AiRP2rQ5iUPC7jCiIv9/21 rdyES8ScfV+qyV5MA2W4Az9mKWoLoQTObDoXJCZr5r9nT2QDYbtOz9SYFILCOMwITt3p u2lLqogVdEGYeWmFGHtHCFs7otm/82FxWindkIPMpzNHFtH25x8p75uIkVs/ixdVAkcQ 8H2bGMxLx8ATQyDouHV5QwNaATxojmtwP7+R9ACxuRX9T5F7lgBJM10c+OK9I2reWktm 46+cc8mQYWGM1IqnMFuIyJRu+reDMeUimMK4bclBvF05N1zDZtVZDaEuYGUFPmtKuHLc tHaw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AO0yUKWH3aznNQXGB3tC2IBkbDAFMN4Hh4LxAFStrl/9Ab/3r1L49P/F GtXB9s/rKxlbHA8slGEqXnA= X-Google-Smtp-Source: AK7set9eAKvKcTTISKD8RTYz9i1mxWgN7N8eSLVj/vLdirCMA9a5K9FTMQob2VAFkYu3vtW7quiO0g== X-Received: by 2002:ac8:4289:0:b0:3bf:d1e1:aad2 with SMTP id o9-20020ac84289000000b003bfd1e1aad2mr10668730qtl.2.1678802740815; Tue, 14 Mar 2023 07:05:40 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ac8:51d8:0:b0:3c0:184b:29e9 with SMTP id d24-20020ac851d8000000b003c0184b29e9ls16807849qtn.4.-pod-prod-gmail; Tue, 14 Mar 2023 07:05:39 -0700 (PDT) X-Received: by 2002:ac8:5616:0:b0:3c0:326:efb3 with SMTP id 22-20020ac85616000000b003c00326efb3mr9657100qtr.2.1678802739181; Tue, 14 Mar 2023 07:05:39 -0700 (PDT) Date: Tue, 14 Mar 2023 07:05:38 -0700 (PDT) From: Jacopo Emmenegger To: Homotopy Type Theory Message-Id: Subject: [HoTT] Funding deadline: EuroProofNet WG6 meeting in Vienna MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_518_876662694.1678802738405" 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_518_876662694.1678802738405 Content-Type: multipart/alternative; boundary="----=_Part_519_2000287121.1678802738405" ------=_Part_519_2000287121.1678802738405 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable This is a reminder to register for the EuroProofNet WG6 meeting in Vienna= =20 on 24-25 April. The application for funding is closing on Sunday 19 March. ---------------------------------------------------------------------- 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: Sunday 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/cb006cc7-e6c8-45f2-bce2-e2114d834783n%40googlegroups.com= . ------=_Part_519_2000287121.1678802738405 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable This is a reminder to register for the EuroProofNet WG6 meeting in Vienna o= n 24-25 April. The application for funding is closing on Sunday 19 March.

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


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

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

The aim of this meeting series is to bring together = researchers working on the topics of WG6. The main focus is thus on the syn= tax and semantics of type theory.
<https://europroofnet.github.io/= wg6/>

We invite submission of talk proposals (about 1 paragr= aph). 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 intere= sted in type theory.

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

*Invited speakers*
Daniel Gratze= r
Ambroise Lafont
Anders M=C3=B6rtberg
Lo=C3=AFc Pujet
*Deadlines* (AoE)
Submission of talk proposals: Monday 27 F= ebruary
Author notification: Tuesday 7 March
Funding requests: = Sunday 19 March
Registration: Friday 7 April

*Scientific = Organisers*
Jacopo Emmenegger (University of Genoa)
Paige Randa= ll North (Utrecht University)

*Local Organiser*
Anja Petk= ovi=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/cb006cc7-e6c8-45f2-bce2-e2114d834783n%40googl= egroups.com.
------=_Part_519_2000287121.1678802738405-- ------=_Part_518_876662694.1678802738405--