From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-pl1-x63c.google.com (mail-pl1-x63c.google.com [2607:f8b0:4864:20::63c]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 9ce21855 for ; Tue, 3 Mar 2020 11:09:55 +0000 (UTC) Received: by mail-pl1-x63c.google.com with SMTP id t12sf1621009plo.4 for ; Tue, 03 Mar 2020 03:09:55 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1583233794; cv=pass; d=google.com; s=arc-20160816; b=QlwxWfuJLJZ6a9DAytDRlRMnRzIVrHcAUvIe72b2xaYkdHAk7+8megRUS5nopKWsVP 2WiLUzi63bPVL4d4I1c34yYH3F3c7dIQwtDG+hznqCtqcHGeWzlw1tiQYmTnlXaJInaJ aDnqvJ0cPSHeVhp28MgQQgKKvnJ4Fsqm7MI67KId+73E+k4tj4YDo5/jC4TzQNFE+Co4 0aTnFA7+NIw/4iKROy7GGGvOWu7TswPex4CZT65XGsT6lH1FDKS0LOoQsEMa4vGTy+kT dCQFRyXRjY7wXLgjtwcdeqRC6ICWGGbz+hKMJ+S4jr3449814yGD0gOEJDHvXS02Qg7/ 6FPg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:content-transfer-encoding:to:subject :message-id:date:from:reply-to:in-reply-to:references:mime-version :sender:dkim-signature:dkim-signature; bh=MBH5WP8LSK4cuusnYkT0btiqo/JJQ7+AGQoe2q9KpF4=; b=W1s5VdnXsBDKQOTUvnRaWyfZ1yRrf7x/wqTqt7wRTmc2hGSJnA4a8bsprdxdGrVZdd 2UIV3XFEK1m3awIfXSNMO4Y7UQazK15TTUUNcMaM+7DWyYWcbSqgcA95EwOBeJlRdecw 6cJYNsR4BtSZPg1aVBYs+b4sYKNMACQayUZFbF6LyWNnjn4oDB3lkyhp2bwB3RRPiVtO 7M3VVvwwHMJy+IDdK5G4BhWo6jqpXjiKDfGDtLCxWE1MWQOfbve9hcRCCjcqnFTAeqNB U04YljpC9O9GkxZW79k1mnAtRVnoUbSrg2/USVSeR97g8EFioT23UW+6lenMt7TgAs4z AKOg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=isEQhRPG; spf=pass (google.com: domain of jamievicary@gmail.com designates 2607:f8b0:4864:20::d36 as permitted sender) smtp.mailfrom=jamievicary@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=20161025; h=sender:mime-version:references:in-reply-to:reply-to:from:date :message-id:subject:to:content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=MBH5WP8LSK4cuusnYkT0btiqo/JJQ7+AGQoe2q9KpF4=; b=TPcWIUV1kdRyVzckRQiaTLL/GHQi6VMkZUpEtRgyHOtx7GLRyFYlI0KvL6bBodQUOl Dk4RECL2Q7pyHo+/5fcMYXSe6ip+bomje5NQGG1/35mXVoUZMDOS6s+cgJWOK4IBDVaR D1IU5aYgImUhW6NUhzu3ALvqW/Vri6xx/runAnHTiB8Lv4153+wzv/lY0zreTd5tM2ZJ Gyws9VqODcRwlch+afLrB/0qTbqMp499oYHFFSitAetj3o9azlwK7MgAwq/zkLajAkOt XyaTmZApNCdstUlCUGsBa7IeB5WRPUrGX47mdUqJi2U6IvhpGjfHqFAwJGeTCl1mGz0/ Peqw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:reply-to:from:date:message-id :subject:to:content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=MBH5WP8LSK4cuusnYkT0btiqo/JJQ7+AGQoe2q9KpF4=; b=n8QMTskB5Zy/xDX1BqFJakvGcHOX2cY3vFl6gRpKbECL8xhikZ2GPQHd42rEF1deM3 WBjx6PQKzgLcCgJhhZo+JG4wSBe37DrGpAggUH7B/vgql721yEbCPNse690clUjjTJPh b4w9u7eMYBmsgKfb1hDSMhtNRmvYunipxRcEcLRVcj4irSio4K+RMEX2CyHJdejPyPkF SHTrgZHFI3pnZnrgaCbJmCEgqY5VklDApmcIsBpUGlzISYSOJxygp6qSZ/8jeCc2AzzN JjEr3+X1Y2TFo3Y7a+7aYMTpRhAfFp1vt2M5ep/s2sp49U8YWEw0B6oLLDxKIYdzACpe /9Yw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:references:in-reply-to :reply-to:from:date:message-id:subject: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-unsubscribe; bh=MBH5WP8LSK4cuusnYkT0btiqo/JJQ7+AGQoe2q9KpF4=; b=sxbr6qTPv1w52/3i3MF/i9SbAGUyQG3cpqO1EgQuimbZ13ICTuuOl+rcNtdNH5jt1S 42CEQCno5XlGsmzx+UFrtauFtJ4kNBsJVmrwdY4v7+HUX8Zemasy14lEIKArUxRBEzWQ VZAhKg/a7WRn4obvVq766aJxb2nr09XABJPQxEX2K6If0Yq+4wtld/qqCj1zYJL/T95t Kz1awO//MG0LPuWjy00IsN09WGu+yTaFUzwq15mfaYR3ZMUSVLsYCzd1gk1Rb9TPVKip mUi3OxjM6MQTXD49O9F6knlduEEjoAnEKhgzrb25KxexjjA1wFk6V5b1NA5+Zd1xJwIH V3OA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ANhLgQ0gGeb0qj9uEJ3HKvUjzaE0BI9YHif3yLNRLd1uAAZFTwxQCqrL I635xGb6ZRvB6SN4gI9xOZc= X-Google-Smtp-Source: ADFU+vubHa6utTTQZAb2jIvx2WZwFrTrY6KfYuG2iSz/udzlfNTp2FScs0+9XdM3ChFygVxDZZDDiA== X-Received: by 2002:a17:902:b68b:: with SMTP id c11mr1016058pls.186.1583233793573; Tue, 03 Mar 2020 03:09:53 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:90a:e995:: with SMTP id v21ls1192670pjy.1.gmail; Tue, 03 Mar 2020 03:09:53 -0800 (PST) X-Received: by 2002:a17:902:341:: with SMTP id 59mr3845213pld.29.1583233793040; Tue, 03 Mar 2020 03:09:53 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1583233793; cv=none; d=google.com; s=arc-20160816; b=mIAtmSS1QkEX4JzorVSPSq6ISu0uNQLd23R9pBVkGsWNYF2B8e9J8rxobhVdDQruQM Zwts5YrncfOs6H/azgiYAMFGpbX64V49ESCAOphgchqlijctu+gIREErKU/Bs4Rj+0LT vFJiaI4Q9lxinjuke6sUGyUVpm10MSFna0U/8/7E0dHN5s+wcae3+mv9LphlobxuBKnJ 1r1uiA9+1cbis0AWjTEaMQSGNZCz05tZIK8L9b14uHmTcH6M6HhomPnZ941FjlAvaFIC XtFeOL2EP3aecpkrN/8+etACYiEqg5HRBkmcLxVQ8vOgBuKikTNp0GoiOE63bRXOzVbg i9sw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:to:subject:message-id:date:from:reply-to :in-reply-to:references:mime-version:dkim-signature; bh=+vrY/s1E1A6Fauem47mls3avS1KYBPF5GITr4T/KcaM=; b=gKMdm/tWIydM+AO9RmbsZ7tuIqAepiRSXW+jLl91JBqJjnZpdi5J8Zm8f+5WMO3FAD weH8120W8YwNRpoKrJNedDtqWw5ycfOrfhwFQIt8+YyU7FNGpbtOzZFEbhKJu6Kwp7lQ q1mUcFnhFHr9kyorTXqjGZT36UXG9LAM1ygdr88hpbX9XlSlbH5YbtmipNqzcge7rvFD lURFVD6XAjOYx4vBARvP0/Dvqith72F8Mu+ezVDjwMH1LObQezIVi2U7T5jtXhO8d84F trfiKreACO0khAyLQQQYdtlJ29OmnI4y51BcksvWFCBRbYqgC/n/F4hrp1iwNburD5GU yriw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=isEQhRPG; spf=pass (google.com: domain of jamievicary@gmail.com designates 2607:f8b0:4864:20::d36 as permitted sender) smtp.mailfrom=jamievicary@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-io1-xd36.google.com (mail-io1-xd36.google.com. [2607:f8b0:4864:20::d36]) by gmr-mx.google.com with ESMTPS id 8si755633pfn.1.2020.03.03.03.09.53 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 03 Mar 2020 03:09:53 -0800 (PST) Received-SPF: pass (google.com: domain of jamievicary@gmail.com designates 2607:f8b0:4864:20::d36 as permitted sender) client-ip=2607:f8b0:4864:20::d36; Received: by mail-io1-xd36.google.com with SMTP id h3so3102252ioj.6 for ; Tue, 03 Mar 2020 03:09:53 -0800 (PST) X-Received: by 2002:a02:30c8:: with SMTP id q191mr3517244jaq.34.1583233792175; Tue, 03 Mar 2020 03:09:52 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: Reply-To: jamievicary@gmail.com From: Jamie Vicary Date: Tue, 3 Mar 2020 11:09:36 +0000 Message-ID: Subject: [HoTT] CALL FOR PAPERS - Applied Category Theory Conference (ACT2020) To: Homotopy Type Theory Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Original-Sender: jamievicary@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=isEQhRPG; spf=pass (google.com: domain of jamievicary@gmail.com designates 2607:f8b0:4864:20::d36 as permitted sender) smtp.mailfrom=jamievicary@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: , [Submissions from the HoTT/UF community would be very welcome, in particular with Finster, Garner, Licata, Shulman on the PC this year.] CALL FOR PAPERS 3rd Annual International Conference on Applied Category Theory (ACT2020) July 6 =E2=80=93 10, 2020, MIT, USA http://act2020.mit.edu * * * Applied category theory is a topic of interest for a growing community of researchers interested in studying many different kinds of systems using category-theoretic tools. These systems are found across computer science, mathematics, and physics, as well as in social science, linguistics, cognition, and neuroscience. The background and experience of our members is as varied as the systems being studied. The goal of the Applied Category Theory conference is to bring the majority of researchers in the field together and provide a platform for exposing progress in the area. We seek submissions of both original research papers and extended abstracts of work that's been submitted, accepted, or published elsewhere. Original research papers we accept will be invited for publication in a proceedings volume. Some contributions will be invited to become keynote addresses, and best paper award(s) may also be given. The conference will include a business showcase, and it will be preceded by a tutorial day. This event follows ACT 2018 in Leiden, and ACT 2019 in Oxford. ** IMPORTANT DATES (all in 2020)** Submission of contributed papers: April 26 Acceptance/Rejection notification: May 17 Early bird registration deadline: May 20 Final registration deadline: June 26 Tutorial day: July 5 Main conference: July 6 =E2=80=93 10 ** SUBMISSIONS ** Two types of submissions are accepted, both of which will be reviewed using the same standards: - Proceedings Track. Original contributions of high-quality work consisting of a 5=E2=80=9312 page extended abstract that provides evidence = of results of genuine interest, and with enough detail to allow the program committee to assess the merits of the work. Submission of a work-in-progress is encouraged, but it must be more substantial than a research proposal. - Non-Proceedings Track. Descriptions of high-quality work submitted or published elsewhere will also be considered, provided the work is recent and relevant to the conference. The work may be of any length, but the program committee members may only look at the first 3 pages of the submission, so you should ensure that these pages contain sufficient evidence of the quality and rigor of your work. Submissions should be prepared using LaTeX, and must be submitted in PDF format. The submission link is available on the ACT2020 web page. ** PROGRAM COMMITTEE ** Mathieu Anel, Carnegie Mellon University John Baez, Centre for Quantum Technologies Richard Blute, University of Ottawa Tai-Danae Bradley, City University of New York Andrea Censi, ETH Zurich Bob Coecke, University of Oxford Valeria de Paiva, Samsung Research America and University of Birmingham Ross Duncan, University of Strathclyde Eric Finster, University of Birmingham Brendan Fong, Massachusetts Institute of Technology Tobias Fritz, Perimeter Institute for Theoretical Physics Richard Garner, Macquarie University Fabrizio Romano Genovese, Statebox Amar Hadzihasanovic, IRIF, Universit=C3=A9 de Paris Helle Hvid Hansen, Delft University of Technology Jules Hedges, Max Planck Institute for Mathematics in the Sciences Kathryn Hess Bellwald, Ecole Polytechnique F=C3=A9d=C3=A9rale de Lausanne Chris Heunen, The University of Edinburgh Joachim Kock, Universitat Aut=C3=B2noma de Barcelona Tom Leinster, The University of Edinburgh Martha Lewis, University of Amsterdam Daniel R. Licata, Wesleyan University David Jaz Myers, Johns Hopkins University Paolo Perrone, Massachusetts Institute of Technology Vaughan Pratt, Stanford University Peter Selinger, Dalhousie University Michael Shulman, University of San Diego David I. Spivak, Massachusetts Institute of Technology (co-chair) Walter Tholen, York University Todd Trimble, Western Connecticut State University Jamie Vicary, University of Birmingham (co-chair) Maaike Zwart, University of Oxford ** STEERING COMMITTEE ** John Baez (University of California Riverside) Bob Coecke (University of Oxford) David Spivak (MIT) Christina Vasilakopoulou (University of Patras) --=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/CANr23v02PNx9MaQDVQ7E%3D3nU7nKR6oYV%2BKr7i55e4i97yVM%3D4= Q%40mail.gmail.com.