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 18812 invoked from network); 7 Feb 2023 19:30:48 -0000 Received: from mail-qt1-x840.google.com (2607:f8b0:4864:20::840) by inbox.vuxu.org with ESMTPUTF8; 7 Feb 2023 19:30:48 -0000 Received: by mail-qt1-x840.google.com with SMTP id f22-20020a05622a1a1600b003b8674f2302sf9165700qtb.7 for ; Tue, 07 Feb 2023 11:30:48 -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=v26CLMk6CaWXMOiXSsCelUkG48Yxk2DFIFpinsWjPu8=; b=MB0UVIoBXU1JqSxAUW2PIyzBvyAQUTekxXQYz4xGrfG2eGxF+ma1Wn08yWZrq8lPum LMgy23U6GGjmjfGBTFu3Bx2QkecTvOE6IJLQbDBElrG2L0O0rdudH84ESEpxWyszbWuy WyfXMM+BOckBGUgPaC7ekBB038RWz+xrXZpvmVBY3ItHGGkcgcyapUy2AjnQuADOeHjr hTlb8Vi2QJ8pqB3dHBTIqXerMWkBL7Pp6IPwJ/n5KojLFwaoJ31t/7XNxey2c8PmIG0o dJZjKfIGeNn6+L74T8xhFpQOL6wa3V2SLfmx4TB+OOXkOppanLA4OWV293HH0j1KFMD1 eQsw== 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=v26CLMk6CaWXMOiXSsCelUkG48Yxk2DFIFpinsWjPu8=; b=BwHZaqKUC6U3JYU4JLSwKbvip22Vy9w7njsGYOQYzQbUEwb3wSuF6F2aq5TlA2xd7f pNjdnum/AqTz3p2oX9nhWmVwuthXaOHp5pZQjeU7Fua4I4L40d55KICHa9r87btmfsfq MdQUzuYrjc1DYxssTcwkSM6kpzvVItpKAy6Mq1rrhfZ/pHE+s/xHx9Tgg3guZ2hjGdoe nW01gGoxlHeCj6Dgdbcp9EoZBF6xiIu8b8roNyhHGRTk1Q9LG0vDi6JZpmwoxQtu8EU8 rLzeDpzUKoyPlIuGam64g4NH5sa49LKVA9xYYQYwoy2f6Sd48LqvaE6T5pqDa+yBkiXR i9+A== 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=v26CLMk6CaWXMOiXSsCelUkG48Yxk2DFIFpinsWjPu8=; b=J5HuXLm0LRxomv6u5gnwwSwlGYXWqmWclbXYIMuHXkyGXVuzA9V1JcSpY03BxJP+IN ub9eUgM8S4hkWuqMFlsqYlHfHKUFpGbXqKhiAW486Ighjl5Sqq/FEIelI3Tqapljm4Hp njepezVUYB32bxKw8Fkjt7YO5FuoSs+9bJMu3V67ynxQYc8nIcixlkpKi2fuMalggcLl NWViglkMktUtC3iHfKnnPxv/koDqjZgKw4/LaJSGn3NfaK2oY+/Xy4RHtGresx8z2UoZ 5JHmH9Tl7E70Q/6iFqZacxAL2Wfy8dvGAyGy5nHZ7ze74y2z1WVctI9WjSkezmwO3Bur Q2NA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AO0yUKWG5S/gVRfrEtL7qm0jrVvueaP36Hrsw78b27cx0iSyRVTQ1qXx qOEpZlGTkc00GNgWkzUIEjs= X-Google-Smtp-Source: AK7set81XrYlZUwY49AzL6Q3D7feCVK+7ccPdUt6IaIC28w2kFl+TpK3P8gYqk3QlbVU9hVilRy5Jw== X-Received: by 2002:ac8:5b51:0:b0:3b9:bf50:67d8 with SMTP id n17-20020ac85b51000000b003b9bf5067d8mr614156qtw.185.1675798246679; Tue, 07 Feb 2023 11:30:46 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:620a:438c:b0:706:910c:43a3 with SMTP id a12-20020a05620a438c00b00706910c43a3ls2741383qkp.11.-pod-prod-gmail; Tue, 07 Feb 2023 11:30:45 -0800 (PST) X-Received: by 2002:a37:596:0:b0:729:c6db:6cff with SMTP id 144-20020a370596000000b00729c6db6cffmr311735qkf.308.1675798245132; Tue, 07 Feb 2023 11:30:45 -0800 (PST) Date: Tue, 7 Feb 2023 11:30:44 -0800 (PST) From: "weinberge...@gmail.com" To: Homotopy Type Theory Message-Id: <4be2bf51-e9f0-4fcd-84e7-015ebb56cceen@googlegroups.com> Subject: [HoTT] HoTT/UF 2023: 2nd Call for Contributions MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_214_1767240535.1675798244487" 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_214_1767240535.1675798244487 Content-Type: multipart/alternative; boundary="----=_Part_215_1712350331.1675798244487" ------=_Part_215_1712350331.1675798244487 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 2ND 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 17, 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, 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/4be2bf51-e9f0-4fcd-84e7-015ebb56cceen%40googlegroups.com= . ------=_Part_215_1712350331.1675798244487 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
2ND 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 17, 2023

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

Homotopy Type Theor= y is a young area of logic, combining ideas from several established fields= : the use of dependent type theory as a foundation for mathematics, inspire= d by ideas and tools from abstract homotopy theory. Univalent Foundations a= re foundations of mathematics based on the homotopical interpretation of ty= pe theory.

The goal of this workshop is to bring together resear= chers interested in all aspects of Homotopy Type Theory/Univalent Foundatio= ns: from the study of syntax and semantics of type theory to practical form= alization in proof assistants based on univalent type theory.

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

=3D=3D=3D=3D=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 Coragli= a (University of Genova, Italy)
* Nima Rasekh (Max Planck Institute fo= r Mathematics, Germany)
* Egbert Rijke (University of Ljubljana, Slove= nia)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
# Sub= missions

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

Submissions should consi= st of a title and a 1-2 pages abstract, in pdf
format, via https://eas= ychair.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. Regi= stration information will be provided 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 (Stockhol= m University)
* Tom de Jong (University of Nottingham)
* Paige No= rth (Utrecht University)
* Anja Petkovi=C4=87 Komel (TU Wien)
* C= hristian Sattler (Chalmers University of Technology)
* Michael Shulman= (University of San Diego)
* Kristina Sojakova (INRIA Paris)
* Jo= n Sterling (Aarhus University)
* Taichi Uemura (Stockholm University)<= br />* Jonathan Weinberger (Johns Hopkins University)
* Th=C3=A9o Wint= erhalter (INRIA Saclay and LMF)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D
# Organizers

* Evan Cavallo, evan.cavall= o@math.su.se (Stockholm University)
* Anja Petkovi=C4=87 Komel, anja.k= omel@tuwien.ac.at (TU Wien)
* Taichi 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/4be2bf51-e9f0-4fcd-84e7-015ebb56cceen%40googl= egroups.com.
------=_Part_215_1712350331.1675798244487-- ------=_Part_214_1767240535.1675798244487--