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 28418 invoked from network); 18 Feb 2023 22:05:29 -0000 Received: from mail-qv1-xf3b.google.com (2607:f8b0:4864:20::f3b) by inbox.vuxu.org with ESMTPUTF8; 18 Feb 2023 22:05:29 -0000 Received: by mail-qv1-xf3b.google.com with SMTP id p37-20020a0c90a8000000b0053547681552sf1010128qvp.8 for ; Sat, 18 Feb 2023 14:05:29 -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=xtYxGoNczP7R/ejvjWojBD8HI2bkgLyIFrDQzSUHmSA=; b=TL1BlIiZik//09+Emrk5SLizDlqJqlOFPRQQ7wQ/3OqeEH86kB0s9toZ+GwC+it4uS Lz56un8X0A5EezNasKTVo0Oyakt5tr2qptdC7WGLVRlm8iLZrcopYFNHtM8xTZMEv+90 9AxYR1w5oDVePgiJffnMFd/K2XO1U2zBCqJ1f8WiGklLLgxNAiAlHwsCLWQHflgL0rBa xUOkRo4yg1cKWECvRqoGBnYoPbEhIyDTe/5dl8+kA8iYTggZitxUSeh5JWlckeFGmXRV D8MZgCaV78TEREXCChapW31SD2XsZCpr3bl0s8Mw3d9BHod2AynwUqaceDxhYZY3Y21E t/Dw== 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=xtYxGoNczP7R/ejvjWojBD8HI2bkgLyIFrDQzSUHmSA=; b=cmeu+NvVLMnbZkGP3HRDkSZX2aGCskwS4Vt8ulyBBrl3HIkXanJI0fUo3HuQyfk1a2 KwPwD+jIoLWWelVxPCkdm+hhE4ljY85sVb0yEGP1TsWnS9dfHXqRogM4s7Y7B2749Jro 1+JU2pXHXrfgbaXloTqSBM6dJ2bPZvONgGNyR+uJ0bx2eHPtY5F7MCp/PMdKDKXpSjyY Tya/d+5vktA0U4TmvsC6jGk+IuzU88LwW3CRsnXkXYbL1wCtGhUN1cXz3CSg0e/AiKSj spfSOF9iGx4L6cNpxhfD09IQtMQ2qjrcuJtTZMlJH6hh3PsMpejwX65fkBZbYKwLmCCc 2PFA== 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=xtYxGoNczP7R/ejvjWojBD8HI2bkgLyIFrDQzSUHmSA=; b=45XAOnodZ5GCFK2nPkktP64JdzSI6qqQCvGzRYVbS5CyrBY6TCvWW58U5WPsjakRUn tlFDrXXLMrFDvIhERZ1GQxjwLXTS8xvg2c5n6mDS63ybwaISZsTCFTStHiCXZkz2O0iH u93kkq9vFVnynjHKucUpVrDPHKUs9XTHmFZvyZQkxpR4DwPQIpSNmA6A15aW95Ij/CbN tTXGuvh0n94LYICZt2X5bAeNrrRD6ww8ro8jAFER83+FIT9hiBbv+V66MiWDsKLXQQ0N jMhwTPGkgCWGec6g4/ery96UeeZelZmQ/1aIVwDpNiXqnEZn7djz7kyqRmBxs9hFNbkl /ibw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AO0yUKWhEWBJskHKPimzyt2A4QxkYTLf8KhuIjaYBeiAGjTuTgjoBUSg XpwTQwVqckfsFPwA1P2qzV4= X-Google-Smtp-Source: AK7set/5MvWMJDdDC/RaCYAwMgJuZBODpnKeXl8Lot8u5WyLs+J8ivx9/0byQl8PhFzEzKVBLDXIDw== X-Received: by 2002:a05:622a:4f18:b0:3bd:6c0:933d with SMTP id ei24-20020a05622a4f1800b003bd06c0933dmr1003740qtb.10.1676757927700; Sat, 18 Feb 2023 14:05:27 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6214:5c48:b0:56e:a8ad:64c2 with SMTP id lz8-20020a0562145c4800b0056ea8ad64c2ls1681803qvb.1.-pod-prod-gmail; Sat, 18 Feb 2023 14:05:26 -0800 (PST) X-Received: by 2002:a0c:8b12:0:b0:56e:adf1:172e with SMTP id q18-20020a0c8b12000000b0056eadf1172emr503596qva.61.1676757926363; Sat, 18 Feb 2023 14:05:26 -0800 (PST) Date: Sat, 18 Feb 2023 14:05:25 -0800 (PST) From: "weinberge...@gmail.com" To: Homotopy Type Theory Message-Id: Subject: [HoTT] HoTT/UF 2023: Deadline extended / 3rd Call for Contributions MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_6_1574675030.1676757925661" X-Original-Sender: weinbergerjonathan@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_6_1574675030.1676757925661 Content-Type: multipart/alternative; boundary="----=_Part_7_1873799995.1676757925661" ------=_Part_7_1873799995.1676757925661 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D 3RD CALL FOR CONTRIBUTIONS AND PARTICIPATION Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF 2023, co-located with WG6 meeting of the EuroProofNet COST action) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D ------------------------------------------------------------------------ Workshop on Homotopy Type Theory and Univalent Foundations April 22 - 23, 2023, Vienna, Austria https://hott-uf.github.io/2023/ Co-located with WG6 meeting in Vienna in April 2023 https://europroofnet.github.io/wg6-vienna/ Abstract submission deadline: **Feb 22, 2023** ------------------------------------------------------------------------ Homotopy Type Theory is a young area of logic, combining ideas from several= =20 established fields: the use of dependent type theory as a foundation for=20 mathematics, inspired by ideas and tools from abstract homotopy theory.=20 Univalent Foundations are foundations of mathematics based on the=20 homotopical interpretation of type theory. The goal of this workshop is to bring together researchers interested in=20 all aspects of Homotopy Type Theory/Univalent Foundations: from the study= =20 of syntax and semantics of type theory to practical formalization in proof= =20 assistants based on univalent type theory. The workshop will be held in person with support for remote participation.= =20 We encourage online participation for those who do not wish to or cannot=20 travel. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D # Invited speakers * Greta Coraglia (University of Genova, Italy) * Nima Rasekh (Max Planck Institute for Mathematics, Germany) * Egbert Rijke (University of Ljubljana, Slovenia) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Submissions * Abstract submission deadline: February 17, 2023 * Author notification: early March 2023 Submissions should consist of a title and a 1-2 pages abstract (**excluding= =20 list of references**), in pdf format, via https://easychair.org/conferences/?conf=3Dhottuf2023. Considering the broad background of the expected audience, we encourage authors to include information of pedagogical value in their abstract, such as motivation and context of their work. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Registration Registration is mandatory. Registration information will be provided=20 shortly. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Program committee * Ulrik Buchholtz (University of Nottingham) * Evan Cavallo (Stockholm University) * Tom de Jong (University of Nottingham) * Paige North (Utrecht University) * Anja Petkovi=C4=87 Komel (TU Wien) * Christian Sattler (Chalmers University of Technology) * Michael Shulman (University of San Diego) * Kristina Sojakova (INRIA Paris) * Jon Sterling (Aarhus University) * Taichi Uemura (Stockholm University) * Jonathan Weinberger (Johns Hopkins University) * Th=C3=A9o Winterhalter (INRIA Saclay and LMF) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Organizers * Evan Cavallo, evan.cavallo@math.su.se (Stockholm University) * Anja Petkovi=C4=87 Komel, anja.komel@tuwien.ac.at (TU Wien) * Taichi Uemura, taichi.uemura@math.su.se (Stockholm University) * Jonathan Weinberger, jweinb20@jhu.edu (Johns Hopkins University) --=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/f9e72ece-59fb-40d3-a953-84c7a61e61d6n%40googlegroups.com= . ------=_Part_7_1873799995.1676757925661 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D
3RD CALL FOR CONTRIBUTIONS AND PARTICIPATION<= br />Workshop on Homotopy Type Theory and Univalent Foundations
(HoTT/= UF 2023, co-located with WG6 meeting of the EuroProofNet COST action)
= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D

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

Workshop on Homotopy Type Theo= ry and Univalent Foundations
April 22 - 23, 2023, Vienna, Austria
https://hott-uf.github.io/2023/
Co-located with WG6 meeting in Vienna= in April 2023
https://europroofnet.github.io/wg6-vienna/
Abstrac= t submission deadline: **Feb 22, 2023**

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

Homotopy Type T= heory is a young area of logic, combining ideas from several established fi= elds: the use of dependent type theory as a foundation for mathematics, ins= pired by ideas and tools from abstract homotopy theory. Univalent Foundatio= ns are foundations of mathematics based on the homotopical interpretation o= f type theory.

The goal of this workshop is to bring together re= searchers interested in all aspects of Homotopy Type Theory/Univalent Found= ations: from the study of syntax and semantics of type theory to practical = formalization in proof assistants based on univalent type theory.

The workshop will be held in person with support for remote participation= . We encourage online participation for those who do not wish to or cannot = travel.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
# Invited speakers

* Greta C= oraglia (University of Genova, Italy)
* Nima Rasekh (Max Planck Instit= ute for Mathematics, Germany)
* Egbert Rijke (University of Ljubljana,= Slovenia)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
# Submissions

* Abstract submission deadline: February 17, 2023=
* Author notification: early March 2023

Submissions should= consist of a title and a 1-2 pages abstract (**excluding list of reference= s**), in pdf
format, via https://easychair.org/conferences/?conf=3Dhot= tuf2023.

Considering the broad background of the expected audien= ce, we encourage
authors to include information of pedagogical value i= n their abstract,
such as motivation and context of their work.
<= br />=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
# Registration
Registration is mandatory. Registration information will be provi= ded shortly.


=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
# Program committee

* Ulrik Buchholtz (University of No= ttingham)
* Evan Cavallo (Stockholm University)
* Tom de Jong (Un= iversity of Nottingham)
* Paige North (Utrecht University)
* Anja= Petkovi=C4=87 Komel (TU Wien)
* Christian Sattler (Chalmers Universit= y of Technology)
* Michael Shulman (University of San Diego)
* Kr= istina Sojakova (INRIA Paris)
* Jon Sterling (Aarhus University)
= * Taichi Uemura (Stockholm University)
* Jonathan Weinberger (Johns Ho= pkins University)
* Th=C3=A9o Winterhalter (INRIA Saclay and LMF)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
# Organizers
* Evan Cavallo, evan.cavallo@math.su.se (Stockholm University)* Anja Petkovi=C4=87 Komel, anja.komel@tuwien.ac.at (TU Wien)
* Tai= chi Uemura, taichi.uemura@math.su.se (Stockholm University)
* Jonathan= Weinberger, jweinb20@jhu.edu (Johns Hopkins University)

--
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/f9e72ece-59fb-40d3-a953-84c7a61e61d6n%40googl= egroups.com.
------=_Part_7_1873799995.1676757925661-- ------=_Part_6_1574675030.1676757925661--