From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10892 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Taichi Uemura Newsgroups: gmane.science.mathematics.fom,gmane.science.mathematics.categories Subject: HoTT/UF 2023: Call for Contributions Date: Tue, 10 Jan 2023 18:19:08 +0100 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="35119"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: mu4e 1.8.13; emacs 28.2 Original-X-From: fom-bounces-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org Tue Jan 10 22:08:45 2023 Return-path: Envelope-to: gsmf-fom-2@m.gmane-mx.org Original-Received: from mx.cims.nyu.edu ([216.165.22.131]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pFLrQ-00090R-Dm for gsmf-fom-2@m.gmane-mx.org; Tue, 10 Jan 2023 22:08:44 +0100 Original-Received: from mailman.cims.nyu.edu (mailman.cims.nyu.edu [216.165.22.125]) by mx.cims.nyu.edu (8.14.7/8.14.7) with ESMTP id 30AL85of013210; Tue, 10 Jan 2023 16:08:28 -0500 DKIM-Filter: OpenDKIM Filter v2.11.0 mx.cims.nyu.edu 30AL85of013210 Authentication-Results: mx.cims.nyu.edu; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="D8jwVeVj" Original-Received: from mailman.cims.nyu.edu (localhost.localdomain [127.0.0.1]) by mailman.cims.nyu.edu (Postfix) with ESMTP id 152C4426F7C2; Tue, 10 Jan 2023 16:08:01 -0500 (EST) Original-Received: from mx.cims.nyu.edu (mx.cims.nyu.edu [216.165.22.131]) by mailman.cims.nyu.edu (Postfix) with ESMTP id E040E4154AB2 for ; Tue, 10 Jan 2023 12:27:28 -0500 (EST) Original-Received: from mx0b-00256a01.pphosted.com (mx0a-00256a01.pphosted.com [148.163.150.240]) by mx.cims.nyu.edu (8.14.7/8.14.7) with ESMTP id 30AHRSKx013823 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Tue, 10 Jan 2023 12:27:28 -0500 Original-Received: from pps.filterd (m0142701.ppops.net [127.0.0.1]) by mx0b-00256a01.pphosted.com (8.17.1.19/8.17.1.19) with ESMTP id 30AGRQSE011443 for ; Tue, 10 Jan 2023 12:27:27 -0500 Authentication-Results: ppops.net; spf=pass smtp.mailfrom=t.uemura00-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org; dkim=pass header.d=gmail.com header.s=20210112; dmarc=pass header.from=gmail.com Original-Received: from mail-lj1-f173.google.com (mail-lj1-f173.google.com [209.85.208.173]) by mx0b-00256a01.pphosted.com (PPS) with ESMTPS id 3n19egr8pt-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Tue, 10 Jan 2023 12:27:27 -0500 Original-Received: by mail-lj1-f173.google.com with SMTP id bx6so13295506ljb.3 for ; Tue, 10 Jan 2023 09:27:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:subject:to :to:to:from:user-agent:from:to:cc:subject:date:message-id:reply-to; bh=IraENynqadBy4KUHlCZ1CjBKRTPXomdVTtfKv6hu8DM=; b=D8jwVeVjMWyjj2uxcPFOy70YMiTZVjxzNjBIxhAgjujcN38SefHphb/N000aD3Vmfv H6AzYgl7OYgD+gVBlUKCH29cRMjLUOQKrzDdj8rUFlrYMuCgyE5CkELS/0GnHoE/Ggvd 5w+FhTSk0njeQlzKwtH1g4BFBCdbC+wwSbEGdGOkKvsCwEPe26AtcbaM9QZv5hayPybx gt0InfIDTBnAd97fBmXWwsH13tpS2Z2718/v6UiaOkDD0ktyPb64fsjGsXM3d2YKs2iD 3eL+OUdBBcpTejm7O5dZCjsOjFdaBR+U2LAr1ZMlFQ3HblTXV4caIS8rRV4ShYganjRw Pnww== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:subject:to :to:to:from:user-agent:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=IraENynqadBy4KUHlCZ1CjBKRTPXomdVTtfKv6hu8DM=; b=DBUzrzrYZRRjdULOmU1yHhib6vL1EeDKD+K2jRObCmKQcK6mb8ptOZiRv+bEFjZ861 9lL5j9ZLiu5wkcoU7gRLQbx7NfE8P0+pyJekCe7/t8W50xTWa1Hv8BKQXUiFzLcUdLWL 3TEuV4Emz+P6edWKo9q060t5d3Xw1NAfN50i6j9jV6OmTMKDmYjcPUnYA8GkFrmJGZr3 W8qedXbaE5Iqb/JyZpChfYzPLPLJikzOuHfLoYPBOaevmQWrJXiuZWNRCAmM9sMsm4MM synOSi2++ZXApUYe+PnQDrjyyVrn73UuGCMgXXfIM/hz2LsBwPK+aQzQdpqC7TAflwwZ Tk5g== X-Gm-Message-State: AFqh2kpuCSXM9QQGYlO64yeMjleiZNJTEzDwDqi0RCJOSW0evjz2BseU vvY60Wtpb+MK8IcrJyL6TJi3xZ+C5J6DFg== X-Google-Smtp-Source: AMrXdXt3kQn+41jO3QakvSiw5zbsSNoZFdeggwanwPS/uFON1z1GTPTZ1x5WfO5GvK5PWK4nHPr7GA== X-Received: by 2002:a2e:3019:0:b0:286:7266:8bb5 with SMTP id w25-20020a2e3019000000b0028672668bb5mr1323728ljw.13.1673371645169; Tue, 10 Jan 2023 09:27:25 -0800 (PST) Original-Received: from r304d (r304d.math.su.se. [130.237.198.235]) by smtp.gmail.com with ESMTPSA id p17-20020a2ea4d1000000b002810a67be56sm1383413ljm.84.2023.01.10.09.27.24 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 10 Jan 2023 09:27:24 -0800 (PST) Original-To: categories-59hdLBrVOVU@public.gmane.org Original-To: eutypes-Mttm5w9jbbk@public.gmane.org Original-To: fom-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org X-CLX-Response: 1TFkXGxIZEQpMehcYExoRCllEF29EGVpOBWd9QVtSEQpYWBdnTHAaW10SBVx PUBEKeE4XY1Nja3sTWH4aX14RCnlMF2djbVJJcxNwZX9AEQpDSBcHGR8TEQpDWRcHGxwdEQpDSR caBBoaGhEKWU0XZ2ZyEQpZSRcHHHEbBgcbGHcGGxseBh4SQhsdBhoGHR0GGnEaEBp3BhoGBx8aB hoGGgYaBhpxGhAadwYaEQpZXhdsbHkRCklGF0RPXVNFWEFfdUJFWV5PThEKSUcXeE9NEQpDThcY e1JaXH1Nf2BnQRtDTUYYUFJkGmhOfXAHcHNif2ltWhEKWFwXHwQaBBgSGwUbGgQbGhoEGxkeBBk fEBseGh8aEQpeWRdLEhp5SxEKTVwXGx8eEQpMWhdsaU1raxEKTEYXb2tra2trEQpCTxdrfFlQWB lpXhhmWhEKQ1oXGBoTBBIfBBgaEgQbHRkRCkJeFxsRCkReFxkRCkJcFxsRCl5OFxsRCkJLF2NTY 2t7E1h+Gl9eEQpCSRdjU2NrexNYfhpfXhEKQkUXZFgcH0RYXWgTQF4RCkJOF2NTY2t7E1h+Gl9e EQpCTBdnTHAaW10SBVxPUBEKQmwXY3JhHk9ybE59aWkRCkJAF2RDRlofeV8dbRxkEQpCWBdrc3l EE3BEQE1ISREKTV4XBxsRClpYFx8RCnlDF2xmeWhAQ0EZS18bEQpZSxcbGhobGBEKcGcXbnl9f1 xBQ0ASQmgQGxIRCnBoF2JJGHNjAWFFWWcbEAcZGhEKcGgXbmBeQ39PAUlFEkAQBxkaEQpwaBdvQ lhiZ0xCU1lcXxAHGRoRCnBoF2lEblNpfUJCRm4dEAcZGhEKcGgXb X-Proofpoint-GUID: 2QxpvWgUJMk1igl2zxN0BdWZ-ZYHUCGp X-Proofpoint-ORIG-GUID: 2QxpvWgUJMk1igl2zxN0BdWZ-ZYHUCGp X-CLX-Shades: MLX X-Orig-IP: 209.85.208.173 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.923,Hydra:6.0.545,FMLib:17.11.122.1 definitions=2023-01-10_07,2023-01-10_03,2022-06-22_01 X-Proofpoint-DMARC: pass X-Proofpoint-Spam-Details: rule=inbound_nyu_notspam policy=inbound_nyu score=0 impostorscore=0 malwarescore=0 clxscore=183 priorityscore=290 adultscore=0 lowpriorityscore=0 unknownsenderscore=20 phishscore=0 mlxscore=0 mlxlogscore=798 spamscore=0 suspectscore=0 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2212070000 definitions=main-2301100110 domainage_hfrom=10012 X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.2 (mx.cims.nyu.edu [216.165.22.131]); Tue, 10 Jan 2023 16:08:28 -0500 (EST) X-Greylist: inspected by milter-greylist-4.6.2 (mx.cims.nyu.edu [216.165.22.131]); Tue, 10 Jan 2023 12:27:28 -0500 (EST) for IP:'148.163.150.240' DOMAIN:'mx0a-00256a01.pphosted.com' HELO:'mx0b-00256a01.pphosted.com' FROM:'t.uemura00-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org' RCPT:'' X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.6.2 (mx.cims.nyu.edu [216.165.22.131]); Tue, 10 Jan 2023 12:27:28 -0500 (EST) X-Mailman-Approved-At: Tue, 10 Jan 2023 16:07:59 -0500 X-BeenThere: fom-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: Foundations of Mathematics List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: fom-bounces-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org Original-Sender: "FOM" X-Scanned-By: MIMEDefang 3.2 on 216.165.22.131 Xref: news.gmane.io gmane.science.mathematics.fom:13534 gmane.science.mathematics.categories:10892 Archived-At: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=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 m= athematics, inspired by ideas and tools from abstract homotopy theory. Univ= alent Foundations are foundations of mathematics based on the homotopical i= nterpretation of type theory. The goal of this workshop is to bring together researchers interested in al= l aspects of Homotopy Type Theory/Univalent Foundations: from the study of = syntax and semantics of type theory to practical formalization in proof ass= istants 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 tr= avel. =3D=3D=3D=3D=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 shortl= y. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Organizers * Evan Cavallo, evan.cavallo-AtZWghHxK2bLoDKTGw+V6w@public.gmane.org (Stockholm University) * Anja Petkovi=C4=87 Komel, anja.komel-8zxNtbQCHXIjuwv8T7myQQ@public.gmane.org (TU Wien) * Taichi Uemura, taichi.uemura-AtZWghHxK2bLoDKTGw+V6w@public.gmane.org (Stockholm University) * Jonathan Weinberger, jweinb20-4GNroTWusrE@public.gmane.org (Johns Hopkins University)