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,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 17392 invoked from network); 22 Nov 2023 16:59:23 -0000 Received: from mail-pg1-x53f.google.com (2607:f8b0:4864:20::53f) by inbox.vuxu.org with ESMTPUTF8; 22 Nov 2023 16:59:23 -0000 Received: by mail-pg1-x53f.google.com with SMTP id 41be03b00d2f7-5c19a2f606dsf7584730a12.3 for ; Wed, 22 Nov 2023 08:59:23 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1700672362; x=1701277162; darn=inbox.vuxu.org; 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=g4hX0zLgemJXg2lwjz/rQP99Uv7uB0FRgqh5xGI33J0=; b=VtRONCfviLjl6OpNVzATjC6PxMaxfyv+Nl1Il64457XZEtSVqwp0BeLM87o6H7wN4x pY0lG4vN3NpUNFNnchbcpfurfimvtJFdJXE4lWUOmXqcesYgNSpmQoSSdPMLu96FuXxV 0QKM12HgpMx8P0piHHnVEIZMAIpZid8xzifUnVAeGr+58aeyiaXrT6bGBnr4W8xwPiYU XHChsdkQpdd0Vm/19Ur9hB0ZcL5n7fb5xBgiDRwp1L0Sn1PNYE5wbM4s2Tm6BxcKNfvj 8VmmYGpwcrXEYWBljIschTIo8kkbS1EPQwpjwCeq0yJ2CghhSuJnvZhL0z6w3vCEnnLC ZLJg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1700672362; x=1701277162; darn=inbox.vuxu.org; 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=g4hX0zLgemJXg2lwjz/rQP99Uv7uB0FRgqh5xGI33J0=; b=R+eDtMuAKC4Xg/iYiuK9j9cHCa72X3VlTg1n8XmNTqNoqoVkgloKOANMp8keLFpQE2 Ykg5nNWk/rIa1qMoKwmnIbSGW96HLJhCaH/T9qu0O9AOYIUIlbFAXuXlKRuyW1CsYHxp NIEudGJEFuAtuEPLQsDY8f+LqUQJ2T+jPmtLyzKnBZCH2fbpZqGx2Mz9lPYyrmVqYZUf +mG79MFtLZMWuRSiI62JUvwhVwK2eOlaWZFIyHZp15agmc0Pu5DF+1eMPaQykOP22h6C mhikdtm29qoVpzXF//j9PuvV2TueABM47iOdptFPkjIWsYNNf4SguEuFBjNQ8Q8fohO2 hKWQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1700672362; x=1701277162; 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-beenthere:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=g4hX0zLgemJXg2lwjz/rQP99Uv7uB0FRgqh5xGI33J0=; b=VWn4ZwjbmDMaFiEUVaR5S0ZYJJb42Jo28C3htjcu8NfELd+fAzMmrk3ebtjpmW9Iwg QcvlfiPEHBnQmFrrHEXt8NcLMje+ouVJXxTgX2tuthv3y2fLFt5T6QB3ZnbGcN8yaxjY pEAsDVPXkfkafKsqWpkNL5LzxBGgZNrAipvVlnPvQK63FkbmweBy/qYq8if2gLnE2RXC Ci7aAEZBi6sCsHlTvmjxxvA17xMIrgGDycHfcs2l1YUo/ujsJOe6snfQd+0bv374SR4+ cXyo0cejlbyA4coWqIC0quSrA4R5srHUuBA8j+zEiYVGMqrom4olTRr2jXDILKFppK4t zwVQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0YwpvGcjnadtOuCqUBFFCLSjKkgMBGfmyU8b34K7rhuC25q6XMl4 zv5NSBiF7SP0RjkO+fhXlEg= X-Google-Smtp-Source: AGHT+IHM8WhTdR/Jug1gnem0sSyWBiM+Zs+5tizMunpGF77kLWX+LqyeB4sUSK0y4coXX48La8OdgQ== X-Received: by 2002:a05:6a20:9f87:b0:18a:fbd1:8e1b with SMTP id mm7-20020a056a209f8700b0018afbd18e1bmr2934483pzb.26.1700672361609; Wed, 22 Nov 2023 08:59:21 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6a00:39a8:b0:6c9:9153:5b24 with SMTP id fi40-20020a056a0039a800b006c991535b24ls240560pfb.2.-pod-prod-09-us; Wed, 22 Nov 2023 08:59:19 -0800 (PST) X-Received: by 2002:a63:1857:0:b0:5c2:1816:24c4 with SMTP id 23-20020a631857000000b005c2181624c4mr527417pgy.10.1700672359166; Wed, 22 Nov 2023 08:59:19 -0800 (PST) Date: Wed, 22 Nov 2023 08:59:18 -0800 (PST) From: "weinberge...@gmail.com" To: Homotopy Type Theory Message-Id: <1b2a498d-59f6-4304-b2cd-d2cd1c98e269n@googlegroups.com> Subject: [HoTT] HoTT/UF 2024: First Call for Contributions and Participation MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_11444_1807113997.1700672358024" 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_11444_1807113997.1700672358024 Content-Type: multipart/alternative; boundary="----=_Part_11445_289715762.1700672358024" ------=_Part_11445_289715762.1700672358024 Content-Type: text/plain; charset="UTF-8" ========================================================== 1ST CALL FOR CONTRIBUTIONS AND PARTICIPATION Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF 2024, co-located with WG6 meeting of the EuroProofNet COST action) ========================================================== ------------------------------------------------------------------------ Workshop on Homotopy Type Theory and Univalent Foundations April 2 - 3, 2024, Leuven, Belgium https://hott-uf.github.io/2024/ Co-located with the WG6 meeting of the EuroProofNet COST action April 4 - 5, 2024 https://europroofnet.github.io/wg6-leuven/ ------------------------------------------------------------------------ Homotopy Type Theory is a young area of logic, combining ideas from several established fields: the use of dependent type theory as a foundation for mathematics, inspired by ideas and tools from abstract homotopy theory. Univalent Foundations are foundations of mathematics based on the homotopical interpretation of type theory. The goal of this workshop is to bring together researchers interested in all aspects of Homotopy Type Theory/Univalent Foundations: 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. ================ # Submissions * Abstract submission deadline: January 19, 2024 * Author notification: Mid-February 2024 Submissions should consist of a title and a 1-2 pages abstract, in pdf format, via https://easychair.org/conferences/?conf=hottuf2024. 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. ================ # Registration Registration is mandatory with a deadline of 8 March 2024 (AoE). Registration information will be provided shortly. ================ # Program committee * Pierre Cagne (Applachian State University) * Evan Cavallo (University of Gothenburg) * Felix Cherubini (Chalmers University of Technology/University of Gothenburg) * Tom de Jong (University of Nottingham) * Eric Finster (University of Birmingham) * Daniel Gratzer (Aarhus University) * Mitchell Riley (NYU Abu Dhabi) * Michael Shulman (University of San Diego) * Kristina Sojakova (INRIA Paris) * Jon Sterling (University of Cambridge) * Andrew Swan (University of Ljubljana) * Jonathan Weinberger (Johns Hopkins University) ================ # Organizers * Evan Cavallo, evan.cavallo@gu.se (University of Gothenburg) * Tom de Jong, tom.dejong@nottingham.ac.uk (University of Nottingham) * Mitchell Riley, mitchell.v.riley@nyu.edu (NYU Abu Dhabi) * Jonathan Weinberger, jweinb20@jhu.edu (Johns Hopkins University) -- 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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/1b2a498d-59f6-4304-b2cd-d2cd1c98e269n%40googlegroups.com. ------=_Part_11445_289715762.1700672358024 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
1ST CALL FOR CONTRIBUTIONS AND PARTICIPATION<= br />Workshop on Homotopy Type Theory and Univalent Foundations
(HoTT/= UF 2024, 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 2 - 3, 2024, Leuven, Belgium
h= ttps://hott-uf.github.io/2024/

Co-located with the WG6 meeting o= f the EuroProofNet COST action
April 4 - 5, 2024
https://europroo= fnet.github.io/wg6-leuven/

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

Homotopy Type Theory is a yo= ung area of logic, combining ideas from several established fields: the use= of dependent type theory as a foundation for mathematics, inspired by idea= s and tools from abstract homotopy theory. Univalent Foundations are founda= tions of mathematics based on the homotopical interpretation of type theory= .

The goal of this workshop is to bring together researchers int= erested in all aspects of Homotopy Type Theory/Univalent Foundations: from = the study of syntax and semantics of type theory to practical formalization= in proof assistants based on univalent type theory.

The worksho= p will be held in person with support for remote participation. We encourag= e 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
# Submissions
* Abstract submission deadline: January 19, 2024
* Author no= tification: Mid-February 2024

Submissions should consist of a ti= tle and a 1-2 pages abstract, in pdf format, via https://easychair.org/conf= erences/?conf=3Dhottuf2024.

Considering the broad background of = the expected audience, we encourage authors to include information of pedag= ogical value in their abstract, such as motivation and context of their wor= k.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
# Regis= tration

Registration is mandatory with a deadline of 8 March 202= 4 (AoE). Registration information will be provided shortly.

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

* Pierre Cagne (Applachian State University)
* Evan Cavallo (Un= iversity of Gothenburg)
* Felix Cherubini (Chalmers University of Tech= nology/University of Gothenburg)
* Tom de Jong (University of Nottingh= am)
* Eric Finster (University of Birmingham)
* Daniel Gratzer (A= arhus University)
* Mitchell Riley (NYU Abu Dhabi)
* Michael Shul= man (University of San Diego)
* Kristina Sojakova (INRIA Paris)
*= Jon Sterling (University of Cambridge)
* Andrew Swan (University of L= jubljana)
* Jonathan Weinberger (Johns Hopkins University)

= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
# Organizers
* Evan Cavallo, evan.cavallo@gu.se (University of Gothenburg)
* Tom= de Jong, tom.dejong@nottingham.ac.uk (University of Nottingham)
* Mit= chell Riley, mitchell.v.riley@nyu.edu (NYU Abu Dhabi)
* Jonathan Weinb= erger, 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/1b2a498d-59f6-4304-b2cd-d2cd1c98e269n%40googl= egroups.com.
------=_Part_11445_289715762.1700672358024-- ------=_Part_11444_1807113997.1700672358024--