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 7071 invoked from network); 9 Jan 2023 19:36:15 -0000 Received: from mail-pj1-x1040.google.com (2607:f8b0:4864:20::1040) by inbox.vuxu.org with ESMTPUTF8; 9 Jan 2023 19:36:15 -0000 Received: by mail-pj1-x1040.google.com with SMTP id pa16-20020a17090b265000b0020a71040b4csf3426972pjb.6 for ; Mon, 09 Jan 2023 11:36:15 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1673292974; cv=pass; d=google.com; s=arc-20160816; b=fIqAMYDahri8klEiIW8hSA2Sk8YisG6j2P6bDU4mbapRFbaDkSn3x9kZw06gi2Ypjc TDYs2UTS8T3oluBLnpGXt3HJyGQPXYCv6+3Pn4WZuz67yWeXoKi0cAkttk6p5Owt+tvR DwTmL0fPZIcZPHFq4NPi/tkhxezAMokUntPsUaJHI4s2xWl1XCphdcw+7gHNODDUEg3z JZoIikpB/Kf3gtZVZrtruSFKCFyOaDIiulNLpNLJiTrLfLSbWJSs5rcDlkI9T7IieZXT 57h0El1o8guXeVZKKSFfjXxrvf9pZg+ezqLqaebBlOEsBvs7K+A2pOuQv2jXc3Xhel8P t5og== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=2lGerbS+zXHka5ssyAzN5MYBnx67SAnFCg+MYCWD224=; b=BqesbIyYSgNHxx2s4j7r1RZrL0wm1/rW8Q1Yqog55v7yCB73WWaFP1fbwgHt/Yl/n0 uicl9fraYvwQNReSEd1xhZ6JZR+Qy9GPXsVCiGHJycGVWM6XR6UYBe8m1fgocsLzQ90b 665cNXh+yfW9D8h24JejPhlHmqbuPOtNs+fUhMgU8hbrgqaVJe7vsNVKK6uRr8VeByzi cHDEjAHu2zGA4ob7V3Zys89o6Il2ktZwlq1D4wxl3OG+f+mOKkGtK7QtWFSfonx1skoS dd4B0FMBnDt+T1XChu53kiobD/mEGlYmZkcNftCbB9TfbYbU5cWHydfN6Kg3R3anGGg3 cdLw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=MkXUwMrj; spf=pass (google.com: domain of weinbergerjonathan@gmail.com designates 2607:f8b0:4864:20::634 as permitted sender) smtp.mailfrom=weinbergerjonathan@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com 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-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version :sender:from:to:cc:subject:date:message-id:reply-to; bh=2lGerbS+zXHka5ssyAzN5MYBnx67SAnFCg+MYCWD224=; b=sgvA7Apz/DB6K1Qilwaperglj7FR16Bn7GeBhZCkTZ8uqb4ykiH7QndXOfjlErZmog pdLIWfonOqk4xtGx5gKHanAWShkoBU66BCAeu4JQgwpGp/kdi5twvzOzdxx/u3ZL8nld s0bQwc7x98kujGdnHMum7SdUs9y1+KBVHkeVFPKMHOuhl7GvHiswoO6XYc3geRRU49PR AcKswNsHV51fPSg3/Q6k7y9VYHYKMIEQ84schNXYvnRrz8FnB0z2+czkN68/CPGM42jo +aW4YjvBMo13QIai0ixOayFEuqFK7z7RQ6OU+dxG4QGh3Z85Mu0NJG155JBHQTMoP9ed kNJQ== 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-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version:from :to:cc:subject:date:message-id:reply-to; bh=2lGerbS+zXHka5ssyAzN5MYBnx67SAnFCg+MYCWD224=; b=fqKuQvdRszSknU6rV639hCKcG59ZbHWE/zDXP7gA09u7ljukQVX2a9TEiWSNEuZHbY 9bEDoft72T2oHB+omcOeXXHD348N83qKJM6l1gc4Fw1ut9YfFNuckSCc0/IVtsphFPug kHCOzZGUZjC2nEuRqAywLShGrBc1hNdoDPhaAOOtBIvfKigdRORWNcP+pKcvXbcABo6u rtviY3QlDJpTGgK62u77ktTY6G+GzxTa/PMhRaQjrZmJNVsFlAtpPxEsBzmqF2x+NPZT gBv79gYFhWAxcuZDAX7EwGJRPlF48Iz7j4NZiZSd573yHgfLmCxc5yrq1yz5wSjLz0M9 p+Yw== 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-authentication-results:x-original-sender:to:subject :message-id:date:from:mime-version:x-gm-message-state:sender:from:to :cc:subject:date:message-id:reply-to; bh=2lGerbS+zXHka5ssyAzN5MYBnx67SAnFCg+MYCWD224=; b=amZsckU3AioyZqWn/7N3lRdLwBBVk7Ga8D3aRPiZ+XZIKbWurD7QSLxooGFOkHPR1z cCQQ+2M2YBHaE4ULtUk4La6/C7ii9M1ZrmY1nrnKQgSZL5bcksqCJryglCK3/zWDAZ5W kgOoYbvvL+15tBN0H+GEIIQ3BHEuKt7Y/Bu/9D8xaVazRYLQ2Qtn/TO6gdnKa3sYkNyd WuqSLi1gILn3zfOQsKaP0JV1OjBUntmyq/WzyUSmBAiPVrsy6MXGYiznwFoEAAPswwxt N6C4fOB+EOklf0QJXEwXABf3vXFLuW4naAr+Ys3GjN0Br8Tfm7zvTX2IFxZAaFXqe8jY PAjw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AFqh2kqshbRuiPRculibRYXfnOCKT1ZO9cwn5zsLwU/Xp8IGCvqf4j9Q jKLXGAdrV84VKzcgKx2wRMU= X-Google-Smtp-Source: AMrXdXuiQdFGWqkP+L40QQmuFePDFSUeJDSdFodLNQ1FdQRfGStfJKLIXc0+3jmHiJ7a1/0UtNs2SQ== X-Received: by 2002:a17:902:830b:b0:186:8d46:c3 with SMTP id bd11-20020a170902830b00b001868d4600c3mr4916858plb.49.1673292973686; Mon, 09 Jan 2023 11:36:13 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:90a:67cd:b0:214:246b:918a with SMTP id g13-20020a17090a67cd00b00214246b918als10068552pjm.2.-pod-canary-gmail; Mon, 09 Jan 2023 11:36:11 -0800 (PST) X-Received: by 2002:a17:90a:4401:b0:21d:6327:ab6 with SMTP id s1-20020a17090a440100b0021d63270ab6mr66392708pjg.1.1673292971816; Mon, 09 Jan 2023 11:36:11 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1673292971; cv=none; d=google.com; s=arc-20160816; b=M8fYb1FhUabWOf/hCOak9NpoNmW4ixPZ/zhruw7Zczz8768+fP10WFOmf5jrOLdCF2 v/DKcCQls2GAlg3OiIXJ1yNIFTtu4fuzgJke2irY3RdM0wyvqTMuOJVXSiypinPUnbU/ 5jgIzyMRbxQt2dfcItXtVGdvYpzQNaNa2QF+KMC6XqoMosjs6wxw9eI6kqkX4QsU5jXu x9vlA0Te6GxdbmOluLX7atHYFVzryj2cpZfdghMAsT0MNzPXH+eJxJbGlUCfXH85upKR LkhWxj5wcmrD6B4ZOZeReHc2IgqgvhSSvN52tTsNzgkSDBl09qWoK4bgrWz4RN0x3TdO MF4A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=y9laV85yt3naCLXauo6yXV8wFLtuLzBzQcrgqI14iP0=; b=dbOHIb1B5W9pJouuUXkYOzmi7uKrdqj3MQ2LKtYbfLhRtpWr9aj45feBPbiRm2j7Fx HidZhfrTnwD1eVnQ/ncqbAU/ersn2epZUo7leKHDTcChYwjmTCICYFmZRdVJEwdEQ+2d LtA8+m7av3B1r3P5bO5fRu+SQ6WTS6vHN7ciJtA9irt03U68AnKjUR2Y4XtGs0y+xpcB eYj4+doekiaHj0IImLxU4TgUkypxa3rtbb91vh+hub3Bvg2inXPhpMujFATO86uyanvi kNtMS8TMyfxTIAqVPxHvL7qbA5JwV3Wop/4i7g3W6mmjNTuzxnjiIrsAi9vKlUG1mF6O fTxA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=MkXUwMrj; spf=pass (google.com: domain of weinbergerjonathan@gmail.com designates 2607:f8b0:4864:20::634 as permitted sender) smtp.mailfrom=weinbergerjonathan@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-pl1-x634.google.com (mail-pl1-x634.google.com. [2607:f8b0:4864:20::634]) by gmr-mx.google.com with ESMTPS id k2-20020a636f02000000b004ac6ba951f1si690453pgc.2.2023.01.09.11.36.11 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 09 Jan 2023 11:36:11 -0800 (PST) Received-SPF: pass (google.com: domain of weinbergerjonathan@gmail.com designates 2607:f8b0:4864:20::634 as permitted sender) client-ip=2607:f8b0:4864:20::634; Received: by mail-pl1-x634.google.com with SMTP id d3so10638313plr.10 for ; Mon, 09 Jan 2023 11:36:11 -0800 (PST) X-Received: by 2002:a17:90a:fb89:b0:226:f16a:b248 with SMTP id cp9-20020a17090afb8900b00226f16ab248mr1158690pjb.201.1673292971435; Mon, 09 Jan 2023 11:36:11 -0800 (PST) MIME-Version: 1.0 From: Jonathan Weinberger Date: Mon, 9 Jan 2023 14:36:00 -0500 Message-ID: Subject: [HoTT] HoTT/UF 2023: Call for Contributions To: homotopytypetheory@googlegroups.com Content-Type: multipart/alternative; boundary="0000000000002aeb9105f1d9e19b" X-Original-Sender: weinbergerjonathan@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=MkXUwMrj; spf=pass (google.com: domain of weinbergerjonathan@gmail.com designates 2607:f8b0:4864:20::634 as permitted sender) smtp.mailfrom=weinbergerjonathan@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=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: , --0000000000002aeb9105f1d9e19b 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 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 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 some support for remote participation. =3D=3D=3D=3D=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 shortly. =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/CAOOoPfX_xPu%3DSp3YqQQriFRYSYfRehEkT7__a0stgMyiFP0j_g%40= mail.gmail.com. --0000000000002aeb9105f1d9e19b 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
CALL FOR CONTRIBUTIONS AND PA= RTICIPATION
Workshop on Homotopy Type Theory and Univalent Foundations(HoTT/UF 2023, co-located with WG6 meeting of the EuroProofNet COST actio= n)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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/<= br>Co-located with WG6 meeting in Vienna in April 2023
https://europroofnet.github.io/wg6-vi= enna/
Abstract submission deadline: Feb 17, 2023

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

Homotop= y Type Theory is a young area of logic, combining ideas from several establ= ished fields: the use of dependent type theory as a foundation for mathemat= ics, inspired by ideas and tools from abstract homotopy theory. Univalent F= oundations are foundations of mathematics based on the homotopical interpre= tation of type theory.

The goal of this workshop is to bring togethe= r researchers interested in all aspects of Homotopy Type Theory/Univalent F= oundations: from the study of syntax and semantics of type theory to practi= cal formalization in proof assistants based on univalent type theory.
The workshop will be held in person with some support for remote particip= ation.

=3D=3D=3D=3D=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 (Uni= versity of Genova, Italy)
* Nima Rasekh (Max Planck Institute for Mathem= atics, 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 pa= ges abstract, in pdf
format, via https://easychair.org/conferences/?conf=3Dhottuf2= 023.

Considering the broad background of the expected audience, = we encourage
authors to include information of pedagogical value in thei= r 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

Registr= ation is mandatory. Registration information will be provided shortly.
<= br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
# Organizers

= * Evan Cavallo, evan.cavallo@mat= h.su.se (Stockholm University)
* Anja Petkovi=C4=87 Komel, anja.komel@tuwien.ac.at (TU Wien)* Taichi Uemura, taichi.uemur= a@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://g= roups.google.com/d/msgid/HomotopyTypeTheory/CAOOoPfX_xPu%3DSp3YqQQriFRYSYfR= ehEkT7__a0stgMyiFP0j_g%40mail.gmail.com.
--0000000000002aeb9105f1d9e19b--