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,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 28416 invoked from network); 4 Feb 2022 19:42:55 -0000 Received: from mail-wr1-x439.google.com (2a00:1450:4864:20::439) by inbox.vuxu.org with ESMTPUTF8; 4 Feb 2022 19:42:55 -0000 Received: by mail-wr1-x439.google.com with SMTP id t14-20020adfa2ce000000b001e1ad2deb3dsf2442105wra.0 for ; Fri, 04 Feb 2022 11:42:55 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1644003774; cv=pass; d=google.com; s=arc-20160816; b=TNXGvsFmKutCEHn3VNXytV10CLhAseDjY6Uq0fdr3txM3cYyzn+Vuars+jzzJLQkxV oUxc3LMUjvK8h8vunNqQ13s/+1HAUKpPVYZo7nz0SM9AkZTPoHqsNnfYDyyFTFurcuFo IFxh8kOTbeMy4TCpl2Ao/P95hq9kxEcrbAWFNd71kF91GR6WBQL21DSxhLD/6QlNeEKh MovGQhPCp+mUPua59P62vPjChcI7iVkQvSE+qnZW5Tde9p3xzWdxJWIhFsRf1Gekyul8 fm5TcYNJJyssbVInP1k8FDcfor0d6ytjsrt5y3iUYRfQ8E+0l85j+gm28hcVUxf5G73f n1ug== 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:content-transfer-encoding:to :content-language:subject:from:user-agent:mime-version:date :message-id:sender:dkim-signature:dkim-signature; bh=yNEASKtmIc+1uk+EKz/djbzvq1a1AL+eq72uXGKyEnA=; b=oaG21sLqU6CgxTj06VU/lkxg5tEG3E03cMS48Bv00i9V84QIIom5aMjsJj3L21S/sA bbnDe+KC+o6aW8uR8gpFMw8nzDhyw5PQx8r+6O3R1mH+Xk0kH+HuHz/G5HyqmH+hruUU +W68Qt1x4xv7c4gCs8bg+KXZmJV5JxbyYfCEyeZ9/LvZ6lsHoCTQNbXATCHxWilW+ynj 7SRGA1ddsErc5qqbRP8iyMu5B+dTH3lNfQSGubaqDZh9OONKHFC0xRutvuMXTHh/kQJm CTmNgQ0R4EH8v/Q12NvnC2MgOIWuMPm5J2SkATGc5m32vVX4zhrU1DUSwCkdHsynFFHi kz2A== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=e76bbGxp; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::335 as permitted sender) smtp.mailfrom=benedikt.ahrens@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=sender:message-id:date:mime-version:user-agent:from:subject :content-language:to:content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=yNEASKtmIc+1uk+EKz/djbzvq1a1AL+eq72uXGKyEnA=; b=VCyzKwv5D5jKiV3E/c1wZEZK5AB+LafyTb4E17hfOqCvZ9epySZ59PNiENJaayEs7N p/a4j31kIo8tB++oUcea8/FGXnR4ZsEIToywRkYmTFDHmceUzHrx6g3KgRPxBRMuLVY8 rxC6HTfe7GQY1tk3r0OBymMnqQCmEj383ph52DEqGEhu1CfUj3D8qfRsaTMxMS1+02rn rwwFgdg82OaGscpf+v4Tew45aarmHl2+20a2Tp+shk6jmyb0kXLJO1hPs1/eHAPWD+ac tx9bjGXOYN50ttqScoED9Ucq7Irf/v1yn7H37P8nFEJs+OMdJJDmUbxbN3Hs+GDXl/oR Jn8g== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=message-id:date:mime-version:user-agent:from:subject :content-language:to:content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=yNEASKtmIc+1uk+EKz/djbzvq1a1AL+eq72uXGKyEnA=; b=j3Gw8s1DQJ40QtVpTbt7f2r3y0AdJ6mKLAx//+ERIdbvrH8RQGtVcXj0GrZ+Xnpd1y sWv6oRsAH4hwE+lKHpjsAlzZQcZRtssERPc+eQUPV+E7fsuqcDm5zqCD1oW/TZnXeXb3 D3sZjsiZ0hgU24tKCV7MIO56t+JwFtt9WMLJbptmdo6NFBfM56LDky2KX4vPrtinfQPt qF+JDVP9tnZSL3cQx4n1pEqVJNv9rgzM5v29yrK0zBURtI4sgzDBq1rJSvizuLHlMynu aqoWx3fYdj5pFKZGpAYD9Htlve/Vezd37yDY3B4Alfru6zfqPpNbXZ3nOLI6vz1FCiWk rf6w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:message-id:date:mime-version:user-agent :from:subject:content-language:to:content-transfer-encoding :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=yNEASKtmIc+1uk+EKz/djbzvq1a1AL+eq72uXGKyEnA=; b=OgNo3r0ClO90gk5XnNAlaPmuM0fJzgMb8LAYSCe0q4s3uBNQspoLiFYkLzff4eL8qF hBDyPUwsd1tlbTzcajP9LK6QZHzparAR1CRnKcKzSQM8jZYdYaI2Oa7DbwJGZSot3M+4 Fr+jdqek55SyS+zAynwuQoKEHaOBEZFc/XBbFLr1TJTcLiGCUe+yuVm7ZOz5X0kcM4J8 11sU3AzdoPpObFfGHxZyEk6u+ypxje1Yyb4IGolmvT6B3py8l3YuI42f2JWm1Ri5TR5B 0GOe+tVmsWSd06JShqQg3nafjXqKwnOhF832eKRdrHmFq5nF+hJOvrVhJCXJsfbqVaeN u//w== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530Go7RUCzS3WYXuvDvobpB5UoBP6j1mLCqrDT5In7KiwA0Vsken T6OYNg1pNBLubmaNlhN2LHM= X-Google-Smtp-Source: ABdhPJwX2Sb8IcaMHhyj1VE/JtjIK7NIuIMeE+Go0/AEedypvU93FW1yTXRLUAkUDpRaQwD8P/BfRA== X-Received: by 2002:adf:cf11:: with SMTP id o17mr378698wrj.660.1644003774223; Fri, 04 Feb 2022 11:42:54 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6000:3c8:: with SMTP id b8ls5487wrg.0.gmail; Fri, 04 Feb 2022 11:42:52 -0800 (PST) X-Received: by 2002:a5d:64c1:: with SMTP id f1mr367147wri.5.1644003772510; Fri, 04 Feb 2022 11:42:52 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1644003772; cv=none; d=google.com; s=arc-20160816; b=TvVPsq60s3Wbgvg6l5UaIR1JfPSp3198wO9Rt4FpmVdec5eNT2xOuehc11zBDzXHCM ggUJdwf2mkOgVGaDdM1cjUF9Kgi2T8Dbm+ijk/t6umGd6J3CEC3PRHRJVrvkQShOv6UT +PeO3QGdqSHDlnBtMBwfvpsFMmeyNtuIAmaMoc9ZMAWDzw47x284TY2s8k5jwmrPRayH 2JOOyzYGZgPZRy8nUsL17s375ujy9ULh/oKM1yfid2YjyWlzbHJOTXFZ59MPXS28DoQ2 ijB+SfNZxCfxvOr8CciJ8MFURIwKwHwNLqNEidR5QZ3Zp3n4E3OpBIcA25ccQNsIvLzH yY1g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:to:content-language:subject:from :user-agent:mime-version:date:message-id:dkim-signature; bh=V633i9BDGi/gbdqbO1qLS7jOXsEEULHnUFtIBW8uuOQ=; b=MEaWJUJAd3J33jyE2TlSLERPDbFqunbCpJB5IDnJ208D0m43PQpnch2uwwlgywLq0E DKLrYWt6gE53d24qPwoynRYoplpXcvjGcxUrKnOllnwouM8bMTOHs/RsedLgVWOZ2XPb m2Rhr0kDtoo0QSkwUeLN2Tx3F958TPKQyrWQcUHV4+3h5kOjils49zrfljMqaDCdWUGN 6hTPELtzEWar1jSxKUJZOuJpmoSl6BQg9ZL7jd9d0NftRXFP/Ck+OKKuz/dijnTMfPNo OFVXoGXE8uULHe3y/xFI56UgZzNnrILDhGEWoGQ8sOAgLcX5PqIKg3Hg5lhjiMdV82/w DMSQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=e76bbGxp; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::335 as permitted sender) smtp.mailfrom=benedikt.ahrens@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-wm1-x335.google.com (mail-wm1-x335.google.com. [2a00:1450:4864:20::335]) by gmr-mx.google.com with ESMTPS id x2si149087wmk.2.2022.02.04.11.42.52 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 04 Feb 2022 11:42:52 -0800 (PST) Received-SPF: pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::335 as permitted sender) client-ip=2a00:1450:4864:20::335; Received: by mail-wm1-x335.google.com with SMTP id v129so1714013wme.2 for ; Fri, 04 Feb 2022 11:42:52 -0800 (PST) X-Received: by 2002:a1c:f413:: with SMTP id z19mr3547893wma.144.1644003772002; Fri, 04 Feb 2022 11:42:52 -0800 (PST) Received: from [147.188.201.16] (vpn201-16.cs.bham.ac.uk. [147.188.201.16]) by smtp.gmail.com with ESMTPSA id n2sm3086671wrx.108.2022.02.04.11.42.51 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 04 Feb 2022 11:42:51 -0800 (PST) Message-ID: <63d00b69-ea2e-d97f-2411-ff63115b6c57@gmail.com> Date: Fri, 4 Feb 2022 20:42:50 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.5.0 From: Benedikt Ahrens Subject: [HoTT] HoTT/UF 2022: Call for Contributions Content-Language: en-US To: homotopytypetheory@googlegroups.com Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable X-Original-Sender: benedikt.ahrens@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=e76bbGxp; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::335 as permitted sender) smtp.mailfrom=benedikt.ahrens@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: , =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=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 2022, co-located with FSCD 2022) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=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 July 31 - August 1, 2022, Haifa, Israel https://hott-uf.github.io/2022/ Co-located with FSCD 2022 http://www.cs.tau.ac.il/~nachumd/FSCD/ Abstract submission deadline: 10 May 2022 ------------------------------------------------------------------------ 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. As part of the workshop there will be an introductory tutorial intended to make the invited and contributed talks accessible to non-experts. =3D=3D=3D=3D=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 * Eric Finster (University of Birmingham) * Kristina Sojakova (INRIA Paris) * Taichi Uemura (Stockholm University) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Submissions * Abstract submission deadline: 10 May 2022 * Author notification: mid June 2022 Submissions should consist of a title and a 1-2 pages abstract, in pdf format, via https://easychair.org/conferences/?conf=3Dhottuf2022. 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=3D=3D=3D=3D=3D=3D # Program committee * Benedikt Ahrens (Delft University of Technology and U of Birmingham) * Carlo Angiuli (Carnegie Mellon University) * Evan Cavallo (Stockholm University) * Chris Kapulkin (Western University) * Nicolai Kraus (University of Nottingham) * Peter LeFanu Lumsdaine (Stockholm University) * Anja Petkovi=C4=87 Komel (Vienna University of Technology) * Paige Randall North (University of Pennsylvania) * Christian Sattler (Chalmers University of Technology) * Michael Shulman (University of San Diego) * Th=C3=A9o Winterhalter (Max Planck Institute, Bochum) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Organizers * Benedikt Ahrens (Delft University of Technology and U of Birmingham) * Evan Cavallo (Stockholm University) * Chris Kapulkin (Western University) * Anja Petkovi=C4=87 Komel (Vienna University of Technology) * Paige Randall North (University of Pennsylvania) --=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/63d00b69-ea2e-d97f-2411-ff63115b6c57%40gmail.com.