From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <> X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=DKIM_INVALID,DKIM_SIGNED, HTML_MESSAGE,HTTPS_HTTP_MISMATCH,KHOP_HELO_FCRDNS,URIBL_SBL_A autolearn=no autolearn_force=no version=3.4.4 Received: from SY2PR01CU004.outbound.protection.outlook.com (mail-australiaeastazlp170110003.outbound.protection.outlook.com [IPv6:2a01:111:f403:c40d::3]) by inbox.vuxu.org (Postfix) with ESMTP id BBEE021512 for ; Wed, 15 Jan 2025 22:16:30 +0100 (CET) Received: from SmtpServer.Submit by ME3PR01MB5640 with Microsoft SMTP Server id 15.20.8356.14; Wed, 15 Jan 2025 21:16:27 +0000 Received: from ME3PR01MB7264.ausprd01.prod.outlook.com (2603:10c6:220:131::9) by ME3PR01MB5640.ausprd01.prod.outlook.com (2603:10c6:220:ca::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8356.14; Wed, 15 Jan 2025 21:16:22 +0000 Received: from SYBPR01MB5997.ausprd01.prod.outlook.com (2603:10c6:10:9a::6) by ME3PR01MB7264.ausprd01.prod.outlook.com (2603:10c6:220:131::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8272.21; Wed, 15 Jan 2025 21:16:18 +0000 Received: from SYBPR01MB5997.ausprd01.prod.outlook.com ([fe80::60a8:8a3a:c772:c321]) by SYBPR01MB5997.ausprd01.prod.outlook.com ([fe80::60a8:8a3a:c772:c321%3]) with mapi id 15.20.8356.010; Wed, 15 Jan 2025 21:16:18 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=pHBPNljHWUYR34RjPVsanA9j+IOIitEJ76qA/26QdtXQ7A6p6BSn3cBUwrDX0CcXeU3khlWqT6zib7ze8mGpHZkXhtZ+UUbMWKnbO2emBOj+6YYxJCxjwsG1u+j2eOjHeEROYOFff6cQ2h9XiqHbKXpGp1Ff/RtLC9Me/hEpCvBgDWeMQc7D9yqEB8SSkmd0iSv5smAgKztJPrJdNU2P3wBTsAqwjuhFZemwVQZKeTo/1nbEZBa1qDscnPLAykt8CIrw1H/ggOWiSCtUkzKOeBDNnmHCIfJTmy8q7NcZreGUYaKv1L8yHZfohD911+bi8UkWPymnRM/pJxtwSM9kUg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=iMnJSODqBiPeP3OHBD16q7bveOnb8Duo1HKTJN7mseU=; b=LOwqzBL7plqn+zaJrRXmRERPC+rxq0pMNt2+JwGoSPZaPw1nN3EzDbp69+qRpoZMxbmflzd8nolchvQuU5Rb6/rD6q2jEF157gLrVP/c8BNie7aSkV1uURMoibe/FLnGRKpiO12OO0+yQEy7Ds7U0cBtv96B6k1J9XR9/xAtP77QzGI96aFITAiInR2QgZZ2kqZV7RdwnR7yqDcujn3KU9qk+Dcla2k8K5EWmZHJN0zc7XcQgCVUa4HFBi81ZBzfBZCD85kpzl2UbWIH5E0yOY3MhxjbC/QHxGW9zF2EQe9dXWlkzmVXaPPkIJUz1O44jDw7n1TEb12dbaW8L/Q33Q== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 185.67.36.65) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=posteo.de; dmarc=pass (p=none sp=none pct=100) action=none header.from=posteo.de; dkim=fail (signature did not verify) header.d=posteo.de; arc=pass (0 oda=0 ltdi=0 93) Received: from SY6PR01CA0065.ausprd01.prod.outlook.com (2603:10c6:10:ea::16) by SY7PR01MB8431.ausprd01.prod.outlook.com (2603:10c6:10:1ef::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8356.14; Wed, 15 Jan 2025 19:07:46 +0000 Received: from SY1PEPF000066C3.ausprd01.prod.outlook.com (2603:10c6:10:ea:cafe::cb) by SY6PR01CA0065.outlook.office365.com (2603:10c6:10:ea::16) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.8356.13 via Frontend Transport; Wed, 15 Jan 2025 19:07:45 +0000 Authentication-Results: spf=pass (sender IP is 185.67.36.65) smtp.mailfrom=posteo.de; dkim=fail (signature did not verify) header.d=posteo.de;dmarc=pass action=none header.from=posteo.de; Received-SPF: Pass (protection.outlook.com: domain of posteo.de designates 185.67.36.65 as permitted sender) receiver=protection.outlook.com; client-ip=185.67.36.65; helo=mout01.posteo.de; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by SY1PEPF000066C3.mail.protection.outlook.com (10.167.241.53) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.8356.11 via Frontend Transport; Wed, 15 Jan 2025 19:07:44 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1736968064; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: dkim-signature; bh=iMnJSODqBiPeP3OHBD16q7bveOnb8Duo1HKTJN7mseU=; b=kP5i/xewhPsgNuA+jcTdWftCngYQS/3DEJ7P/n9vI2XvZZIuP1gWposk3cTAFxspplQNnp PPRd6T3dOZhL/scTywcTTJx8m5ouhsJyXp3AZZMo/8NoKSzaziA2n170fTnTVbFjHuMDO1 wPCNBv6UDZ+RsuwtNEKwAnOIDbj05SoIMLlGGeqtxUqaEFA8sCwz7u+xx3D38M2m1nVyfl eO0eTF3u7QKl8dWNiBtXREzPYE5YPV3XmCUlOoLoZjHGfcoJwJxYHCHTEdorenuyyZ/QBs DSln9JkvTYXbxD5rxZktj7dqiZRoPY7x7+udMMbDge3MUZ6B6qOYvJVvD/Z0yw== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1736968064; a=rsa-sha256; cv=none; b=MfdiF4z7IGJmQyU0GiBZ9LEdIVZnAUkKD/Q3MUbw9SkHU/fGjhvQMmjYBIPb5qznkJNzGT yoQdy9U3xDljm6HSZXzShnGHlvpqjYn4cL+paN1KZnRTIQMLZPbw5C+2MTIn0l/TwhzFI2 rqjuTgcwgvoKJiLZSPEfPuhkNAFYtA5dvqryzMG+cq5yog6jj7oVEmqJ6cDgomlkkVnFpl hGdHp2FO62PRiM3kVcxSUmJYXv1HeOz0LHKzjTO9xneWibxePNudLcHZzREqBOZuFstRz0 rCbn4lcdpzjVs1AgkElZBDdjQC3B0gvwLXukHJFMOBq5cXJUUI10OoP7VXkb4A== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=fail ("body hash did not verify") header.d=posteo.de header.s=2017 header.b=dQmEKl7K; dmarc=pass (policy=none) header.from=posteo.de; spf=pass (relay.mimecast.com: domain of felix.cherubini@posteo.de designates 185.67.36.65 as permitted sender) smtp.mailfrom=felix.cherubini@posteo.de Authentication-Results-Original: relay.mimecast.com; dkim=fail ("body hash did not verify") header.d=posteo.de header.s=2017 header.b=dQmEKl7K; dmarc=pass (policy=none) header.from=posteo.de; spf=pass (relay.mimecast.com: domain of felix.cherubini@posteo.de designates 185.67.36.65 as permitted sender) smtp.mailfrom=felix.cherubini@posteo.de Received: from mout01.posteo.de (mout01.posteo.de [185.67.36.65]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-97-0mbJAByoPcaE4LrAmS1h0w-1; Thu, 16 Jan 2025 06:07:41 +1100 X-MC-Unique: 0mbJAByoPcaE4LrAmS1h0w-1 X-Mimecast-MFC-AGG-ID: 0mbJAByoPcaE4LrAmS1h0w Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 32B93240027 for ; Wed, 15 Jan 2025 20:07:36 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.de; s=2017; t=1736968057; bh=e7JBHf6rx3MqcJLiRKZ0XzwssYDRp8YeIT6kO9RrDc8=; h=Message-ID:Date:MIME-Version:To:From:Subject:Content-Type: Content-Transfer-Encoding:From; b=dQmEKl7KaN/t3TxU72mfyIoho88CU2REpvwxkAKgZNog81+ie7+6o2z80BY+ayfsV 8JrZxuEiE30stRWa7RikFdJcashQKUWNNMu4cxbZirPpF5Z4hr1SN77Lk6PrBsvO2l HogdoTZ3bbi97FglqAAx5DdSaw57ZcGkMoDfamKJYeg+9yehrjWZh1dXDa9JOIJ+1+ ERzAhbrrETiOG7ZJsSLIUtcpszJinGQNp/obUCR+4f6W/bhN0nJs8fKNGqU7Zz4gLT srD9wI1jS3QGRIj4+BOfjYMnnEofMaf/76NDuFpNPh7gDmQ2faE6xibfmC4wJR0A0W 54cDD106i+9KA== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4YYFqr04XTz9rxM for ; Wed, 15 Jan 2025 20:07:35 +0100 (CET) Message-ID: Date: Wed, 15 Jan 2025 19:07:34 +0000 MIME-Version: 1.0 To: "categories@mq.edu.au" From: Felix Cherubini Subject: Final CfP for HoTT/UF 2025 X-Mimecast-Spam-Score: 0 X-Mimecast-MFC-PROC-ID: wM3qyPsAsYqMbH1pD5IHLLqsEgjkt4S_DMv53puoTI0_1736968058 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=false;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="MCBoundary=_12501160607430581" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[185.67.36.65];domain=mout01.posteo.de X-MS-Exchange-ExternalOriginalInternetSender: ip=[185.67.36.65];domain=mout01.posteo.de X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY1PEPF000066C3:EE_|SY7PR01MB8431:EE_|ME3PR01MB7264:EE_|ME3PR01MB5640:EE_ X-MS-Office365-Filtering-Correlation-Id: 4d7f23d2-4da6-4d29-0161-08dd3597e468 X-Moderation-Data: 1/15/2025 9:16:17 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 4d7f23d2-4da6-4d29-0161-08dd3597e468 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY1PEPF000066C3.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 15 Jan 2025 21:16:18.6538 (UTC) X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB5640 X-MS-Exchange-UnifiedGroup-DisplayName: Categories mailing list X-MS-Exchange-UnifiedGroup-Address: categories@mq.edu.au X-MS-Exchange-UnifiedGroup-MailboxGuid: 9c2f954e-92a7-451b-b723-a07075d7adb5 X-MS-Exchange-UnifiedGroup-CustomizedMessage: RedeemedBusinessGuests X-MS-Exchange-Parent-Message-Id: Auto-Submitted: auto-generated X-MS-Exchange-Generated-Message-Source: Throttled Fork Delivery Agent X-OriginatorOrg: mq.edu.au --MCBoundary=_12501160607430581 Content-Language: en-US Content-Type: text/plain; charset="utf-8"; format=flowed 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 FINAL CALL FOR CONTRIBUTIONS AND PARTICIPATION Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF 2025, 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 15=E2=80=9316 April 2025, Genoa, Italy https://hott-uf.github.io/2025/ Co-located with the WG6 meeting of the EuroProofNet COST action 17=E2=80=9318 April 2025 https://europroofnet.github.io/wg6-genoa/ ------------------------------------------------------------------------ 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. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Invited speakers * Reid Barton (Carnegie Mellon University, USA) * Bastiaan Cnossen (University of Regensburg, Germany) * Ambrus Kaposi (E=C3=B6tv=C3=B6s Lor=C3=A1nd University, Hungary) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Submissions * Abstract submission deadline: 7 February 2025 * Author notification: 10 March 2025 Submissions should consist of a title and an abstract of no more than 2 pages (not counting the list of references) in pdf format, via https://easychair.org/conferences/?conf=3Dhottuf2025. 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 for HoTT/UF is mandatory with a deadline of 28 March 2025 (AoE). Registration information will be provided shortly. *If you require funding, we encourage you to apply to EuroProofNet via the WG6 registration before the deadline of 4 March 2025*. There is no need to await the HoTT/UF author notification. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Program committee * Ulrik Buchholtz (University of Nottingham) * Pierre Cagne (Applachian State University) * Dan Christensen (The University of Western Ontario) * Felix Cherubini (Chalmers University of Technology/University of Gothenburg) * Tom de Jong (University of Nottingham) * Jonas Frey (Universit=C3=A9 Sorbonne Paris Nord) * Daniel Gratzer (Aarhus University) * Philipp Haselwarter (Aarhus University) * Andr=C3=A1s Kov=C3=A1cs (University of Gothenburg) * Anja Petkovi=C4=87 Komel (TU Wien) * Lo=C3=AFc Pujet (University of Stockholm) * Mitchell Riley (NYU Abu Dhabi) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Organizers * Felix Cherubini, felix.cherubini@posteo.de (Chalmers University of Technology/University of Gothenburg) * Tom de Jong, tom.dejong@nottingham.ac.uk (University of Nottingham) * Daniel Gratzer, gratzer@cs.au.dk (Aarhus University) * Mitchell Riley, mitchell.v.riley@nyu.edu (NYU Abu Dhabi) You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --MCBoundary=_12501160607430581 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D
FINAL CALL FOR CONTRIBUTIONS AND PARTICIPATION
Workshop on Homotopy Type Theory and Univalent Foundations
(HoTT/UF 2025, 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
15=E2=80=9316 April 2025, Genoa, Italy
https://hott-uf.github.io/2025/

Co-located with the WG6 meeting of the EuroProofNet COST action
17=E2=80=9318 April 2025
https://europroofnet.github.io/wg6-geno= a/

------------------------------------------------------------------------
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.

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

* Reid Barton (Carnegie Mellon University, USA)
* Bastiaan Cnossen (University of Regensburg, Germany)
* Ambrus Kaposi (E=C3=B6tv=C3=B6s Lor=C3=A1nd University, Hungary)

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

* Abstract submission deadline: 7 February 2025
* Author notification: 10 March 2025

Submissions should consist of a title and an abstract of no more than 2 pages (not counting the list of references) in pdf format, via
https://easychair.org/conferences/?conf=3Dhottuf= 2025.

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 for HoTT/UF is mandatory with a deadline of 28 March 2025
(AoE). Registration information will be provided shortly.

*If you require funding, we encourage you to apply to EuroProofNet via
the WG6 registration before the deadline of 4 March 2025*. There is no
need to await the HoTT/UF author notification.

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

* Ulrik Buchholtz (University of Nottingham)
* Pierre Cagne (Applachian State University)
* Dan Christensen (The University of Western Ontario)
* Felix Cherubini (Chalmers University of Technology/University of
Gothenburg)
* Tom de Jong (University of Nottingham)
* Jonas Frey (Universit=C3=A9 Sorbonne Paris Nord)
* Daniel Gratzer (Aarhus University)
* Philipp Haselwarter (Aarhus University)
* Andr=C3=A1s Kov=C3=A1cs (University of Gothenburg)
* Anja Petkovi=C4=87 Komel (TU Wien)
* Lo=C3=AFc Pujet (University of Stockholm)
* Mitchell Riley (NYU Abu Dhabi)

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

* Felix Cherubini, felix.cherubini@posteo.de (Chalmers University of
Technology/University of Gothenburg)
* Tom de Jong, tom.dejong@nottingham.ac.uk (University of Nottingham)
* Daniel Gratzer, gratzer@cs.au.dk (Aarhus University)
* Mitchell Riley, mitchell.v.riley@nyu.edu (NYU Abu Dhabi)
 
 
You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--MCBoundary=_12501160607430581--