From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10725 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Jade Edenstar Master Newsgroups: gmane.science.mathematics.categories Subject: Applied Category Theory 2022: Second Call for Papers Date: Wed, 27 Apr 2022 10:48:11 +0100 Message-ID: Reply-To: Jade Edenstar Master 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="6381"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Fri Apr 29 17:41:01 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1nkSjr-0001R0-Vy for gsmc-categories@m.gmane-mx.org; Fri, 29 Apr 2022 17:41:00 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:58596) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1nkSho-0001w1-Dn; Fri, 29 Apr 2022 12:38:52 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1nkShU-0004iG-L2 for categories-list@rr.mta.ca; Fri, 29 Apr 2022 12:38:32 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10725 Archived-At: 5th Annual International Conference on Applied Category Theory (ACT2022) July 18=E2=80=9322, 2022 https://msp.cis.strath.ac.uk/act2022/ The Fifth International Conference on Applied Category Theory will take place at the University of Strathclyde from 18 to 22 July 2022, preceded by the Adjoint School 2022 from 11 to 15 July. This conference follows previous events at Cambridge (UK), Cambridge (MA), Oxford and Leiden. Applied category theory is important to a growing community of researchers who study computer science, logic, engineering, physics, biology, chemistry, social science, linguistics and other subjects using category-theoretic tools. The background and experience of our members is as varied as the systems being studied. The goal of the Applied Category Theory conference series is to bring researchers together, strengthen the applied category theory community, disseminate the latest results, and facilitate further development of the field. SUBMISSIONS We accept submissions in English of original research papers, talks about work accepted/submitted/published elsewhere, and demonstrations of relevant software. Accepted original research papers will be published in a proceedings volume. The keynote addresses will be chosen from the accepted papers. The conference will include an industry showcase event and community meeting. We particularly encourage people from underrepresented groups to submit their work and the organisers are committed to non-discrimination, equity, and inclusion. Submission formats: 1. Extended Abstracts should be submitted describing the contribution and providing a basis for determining the topics and quality of the anticipa= ted presentation (1-2 pages). These submissions will be adjudicated for inclusion as a talk at the conference. Such work should include referenc= es to any longer papers, preprints, or manuscripts providing additional details. 2. Conference Papers should present original, high-quality work in the style of a computer science conference paper (up to 14 pages, not counti= ng the bibliography; detailed proofs may be included in an appendix for the convenience of the reviewers). Such submissions should not be an abridge= d version of an existing journal article (see item 1) although pre-submiss= ion Arxiv preprints are permitted. These submissions will be adjudicated for both a talk and publication in the conference proceedings. 3. Software Demonstrations should be submitted in the format of an Extended Abstract (1-2 pages) giving the program committee enough information to assess the content of the demonstration. We are particularly interested = in software that makes category theory research easier, or uses category theoretic ideas to improve software in other domains. Extended abstracts and conference papers should be prepared with LaTeX. For conference papers please use the EPTCS style files available at < http://style.eptcs.org>. The submission link is https://easychair.org/conferences/?conf=3Dact2022. IMPORTANT DATES The following dates are all in 2022, and Anywhere On Earth. - Submission Deadline: Monday 9 May - Author Notification: Tuesday 7 June - Camera-ready version due: Tuesday 28 June - Adjoint School: Monday 11 to Friday 15 July - Main Conference: Monday 18 to Friday 22 July CONFERENCE FORMAT Assuming additional Covid restrictions will not be introduced in the UK, the conference will run as a hybrid event, with talks recorded or streamed for remote participation. Please be mindful of changing conditions when booking travel or hotel accommodations. FINANCIAL SUPPORT Limited financial support will be available for travel and accommodation. Priority will be given to people with financial need and those giving presentations. Please contact the organisers for more information. PROGRAM COMMITTEE Tai-Danae Bradley, City University of New York Benjamin Merlin Bumpus, University of Glasgow Matteo Capucci, University of Strathclyde Andrea Censi, ETH Zurich Corina Cirstea, University of Southampton Elena Di Lavore, Tallinn University of Technology James Fairbanks, University of Florida Zardini Gioele, ETH Zurich Jules Hedges, University of Strathclyde Kohei Kishida, University of Illinois, Urbana-Champaign Barbara K=C3=B6nig, University of Duisburg-Essen Clemens Kupke, University of Strathclyde Alexander Kurz, Chapman University Martha Lewis, University of Bristol (PC co-chair) Sophie Libkind, Stanford University Jade Master, University of Strathclyde (PC co-chair) Conor Mcbride, University of Strathclyde Joe Moeller, National Institute of Standards and Technology Elizabeth Munch, Michigan State University Fredrik Nordvall Forsberg, University of Strathclyde Paige North, University of Pennsylvania Emily Roff, University of Edinburgh Mehrnoosh Sadrzadeh, University College London Jonathan Sterling, Aarhus University Todd Trimble, Western Connecticut State University Christina Vasilakopoulou, University of Patras Greece Maaike Zwart, IT University of Copenhagen ORGANISING COMMITTEE Jules Hedges, University of Strathclyde Jade Master, University of Strathclyde Fredrik Nordvall Forsberg, University of Strathclyde James Fairbanks, University of Florida STEERING COMMITTEE John Baez, University of California, Riverside Bob Coecke, Cambridge Quantum Dorette Pronk, Dalhousie University David Spivak, Topos Institute [For admin and other information see: http://www.mta.ca/~cat-dist/ ]