From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10183 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: David Spivak Newsgroups: gmane.science.mathematics.categories Subject: Applied Category Theory Conference (ACT2020) Date: Fri, 3 Apr 2020 11:24:58 -0400 Message-ID: Reply-To: David Spivak Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="7432"; mail-complaints-to="usenet@ciao.gmane.io" To: categories list Original-X-From: majordomo@rr.mta.ca Sat Apr 04 03:01:38 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jKXBp-0001o9-Lf for gsmc-categories@m.gmane-mx.org; Sat, 04 Apr 2020 03:01:37 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:49724) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1jKX6o-0005VB-7C; Fri, 03 Apr 2020 21:56:26 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1jKXBD-0006ue-9V for categories-list@rr.mta.ca; Fri, 03 Apr 2020 22:00:59 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10183 Archived-At: SECOND CALL FOR PAPERS 3rd Annual International Conference on Applied Category Theory (ACT2020) July 6 =E2=80=93 10, 2020 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 provide a platform for researchers in the area to discuss recent progress. 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. ACT2020 will be held entirely online, with all the attendant advantages: no registration fee, no need to travel, etc. It will consist of three 2-hour sessions per day, spaced the clock to accommodate the different time zones of our speakers. All the talks will be both live streamed and recorded on YouTube. Our goal is a conference that provides high quality, interactive talk sessions; generative, high bitrate discussions; and serendipitous interactions with new people. The conference will include a business showcase, and it will be preceded by a tutorial day. This event follows ACT2018 in Leiden, and ACT2019 in Oxford. ** IMPORTANT DATES (all in 2020)** Submission of contributed papers: Sunday May 10 Success notification: Sunday June 7 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=93 12 page extended abstract that provides evidenc= e 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) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]