From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10395 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Nick Hu Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE Date: Tue, 16 Feb 2021 13:09:11 +0000 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="30899"; mail-complaints-to="usenet@ciao.gmane.io" To: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Wed Feb 17 06:54:34 2021 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0b-000c2a01.pphosted.com ([148.163.155.36]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lCFnG-0007tX-I5 for gcst-types-announce@m.gmane-mx.org; Wed, 17 Feb 2021 06:54:34 +0100 Original-Received: from pps.filterd (m0128480.ppops.net [127.0.0.1]) by mx0b-000c2a01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 11H5rnGr009536; Wed, 17 Feb 2021 00:53:49 -0500 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0b-000c2a01.pphosted.com with ESMTP id 36p9vy982r-1; Wed, 17 Feb 2021 00:53:49 -0500 Original-Received: from RHIZOME.seas.upenn.edu (RHIZOME.SEAS.UPENN.EDU [158.130.69.24]) by leopard.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 11H5rdRR026250; Wed, 17 Feb 2021 00:53:39 -0500 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 11H5rdWm123602; Wed, 17 Feb 2021 00:53:39 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from mx0b-00390e01.pphosted.com (mx0b-00390e01.pphosted.com [148.163.137.158]) by RHIZOME.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 11GD9QDP052299 for ; Tue, 16 Feb 2021 08:09:26 -0500 Original-Received: from pps.filterd (m0172794.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 11GD74GW009930 for ; Tue, 16 Feb 2021 08:09:26 -0500 Original-Received: from relay20.mail.ox.ac.uk (relay20.mail.ox.ac.uk [163.1.2.170]) by mx0b-00390e01.pphosted.com with ESMTP id 36pw28fhrj-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Tue, 16 Feb 2021 08:09:26 -0500 Original-Received: from smtp8.mail.ox.ac.uk ([163.1.2.204]) by relay20.mail.ox.ac.uk with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lC06W-0007TP-FW for types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org; Tue, 16 Feb 2021 13:09:24 +0000 Original-Received: from mail-ua1-f41.google.com ([209.85.222.41]:42428) by smtp8.mail.ox.ac.uk with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.94) (envelope-from ) id 1lC06W-0006qy-RG for types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org; Tue, 16 Feb 2021 13:09:24 +0000 Original-Received: by mail-ua1-f41.google.com with SMTP id j15so1868233uaa.9 for ; Tue, 16 Feb 2021 05:09:23 -0800 (PST) X-Gm-Message-State: AOAM532SdZCadFJrV5RKwq3UGfzODd/fI4XTqBqZSZQHiH3I4f16iLP4 gIzHeoEdOhzRVbvoEZlF581nJJX7fZycjwwotbd9PA== X-Google-Smtp-Source: ABdhPJykAOH+byumWRH9DTj8SSRmvCUToSTK1ucJxLn/9F4juQJZhP9KrwXbGqWlNwER4XinuClDhKawmPYVWU3QvA4= X-Received: by 2002:ab0:614d:: with SMTP id w13mr11052804uan.67.1613480961920; Tue, 16 Feb 2021 05:09:21 -0800 (PST) X-Gmail-Original-Message-ID: X-Oxford-Username: scat6489 X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.369, 18.0.761 definitions=2021-02-16_02:2021-02-16, 2021-02-16 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 lowpriorityscore=0 priorityscore=0 mlxscore=0 spamscore=0 suspectscore=0 adultscore=0 malwarescore=0 clxscore=300 bulkscore=0 impostorscore=0 phishscore=0 mlxlogscore=999 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2102160122 X-Mailman-Approved-At: Wed, 17 Feb 2021 00:53:38 -0500 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.369,18.0.761 definitions=2021-02-17_02:2021-02-16,2021-02-17 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 suspectscore=0 lowpriorityscore=0 spamscore=0 impostorscore=0 malwarescore=0 bulkscore=0 phishscore=0 adultscore=0 mlxlogscore=999 clxscore=1011 priorityscore=1501 mlxscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2102170045 Xref: news.gmane.io gmane.comp.science.types.announce:9451 gmane.science.mathematics.categories:10395 Archived-At: [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS Fourth Annual International Conference on Applied Category Theory (ACT 2021) 12 - 16 July, 2021, Cambridge, United Kingdom (and online) https://www.cl.cam.ac.uk/events/act2021 * * * The Fourth International Conference on Applied Category Theory will take place at the Computer Laboratory of the University of Cambridge on 12-16 July, 2021, preceded by the Adjoint School 2021 on 5-9 July. This conference follows previous events at MIT, Oxford and Leiden. 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 series is to bring researchers together, disseminate the latest results, and facilitate further development of the field. We accept submissions of both original research papers, and work accepted/submitted/ published elsewhere. Accepted original research papers will be invited for publication in a proceedings volume. The keynote addresses will be drawn from the best accepted papers. The conference will include an industry showcase event. We hope to run the conference as a hybrid event, with physical attendees present in Cambridge, and other participants taking part online. However, due to the state of the pandemic, the possibility of in-person attendance is not yet confirmed. Please do not book your travel or hotel accommodation yet. ** IMPORTANT DATES (all in 2021) ** - Submission of contributed papers: Monday 10 May - Acceptance/rejection notification: Monday 7 June - Adjoint school: Monday 5 July to Friday 9 July - Main conference: Monday 12 July to Friday 16 July ** SUBMISSIONS ** The following two types of submissions are accepted: - Proceedings Track. Original contributions of high-quality work consisting of an extended abstract, up to 12 pages, 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 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 rigour of your work. Papers in the two tracks will be reviewed against the same standards of quality. Since ACT is an interdisciplinary conference, we use two tracks to accommodate the publishing conventions of different disciplines. For example, those from a Computer Science background may prefer the Proceedings Track, while those from a Mathematics, Physics or other background may prefer the Non-Proceedings Track. However, authors from any background are free to choose the track that they prefer, and submissions may be moved from the Proceedings Track to the Non-Proceedings Track at any time at the request of the authors. Contributions must be submitted in PDF format. Submissions to the Proceedings Track must be prepared with LaTeX, using the EPTCS style files available at . The submission link will soon be available on the ACT2021 web page: ** PROGRAMME COMMITTEE ** Chair: Kohei Kishida, University of Illinois, Urbana-Champaign The full programme committee will be announced soon. ** LOCAL ORGANIZERS ** Lukas Heidemann, University of Oxford Nick Hu, University of Oxford Ioannis Markakis, University of Cambridge Alex Rice, University of Cambridge Calin Tataru, University of Cambridge Jamie Vicary, University of Cambridge ** STEERING COMMITTEE ** John Baez, University of California Riverside and Centre for Quantum Technologies Bob Coecke, Cambridge Quantum Computing David Spivak, Topos Institute