From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10480 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: ** DEADLINE EXTENSION ** FINAL CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE Date: Sat, 8 May 2021 20:34:14 +0100 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============2019309064161838201==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="10604"; mail-complaints-to="usenet@ciao.gmane.io" To: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, homotopytypetheory-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Mon May 10 14:06:47 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 1lg4gL-0002KO-Is for gcst-types-announce@m.gmane-mx.org; Mon, 10 May 2021 14:06:41 +0200 Original-Received: from pps.filterd (m0128480.ppops.net [127.0.0.1]) by mx0b-000c2a01.pphosted.com (8.16.1.2/8.16.1.2) with SMTP id 14AC0569026868; Mon, 10 May 2021 08:05:52 -0400 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0b-000c2a01.pphosted.com with ESMTP id 38ej5v88sk-1; Mon, 10 May 2021 08:05:51 -0400 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 14AC5oiS029947; Mon, 10 May 2021 08:05:50 -0400 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 14AC5odD108678; Mon, 10 May 2021 08:05:50 -0400 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 148JYTk7121743 for ; Sat, 8 May 2021 15:34:30 -0400 Original-Received: from pps.filterd (m0172793.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 148JVFs1016147 for ; Sat, 8 May 2021 15:34:29 -0400 Original-Received: from relay18.mail.ox.ac.uk (relay18.mail.ox.ac.uk [163.1.2.165]) by mx0b-00390e01.pphosted.com with ESMTP id 38dp6achv2-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Sat, 08 May 2021 15:34:29 -0400 Original-Received: from smtp9.mail.ox.ac.uk ([129.67.1.206]) by relay18.mail.ox.ac.uk with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lfSiZ-0008og-98 for types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org; Sat, 08 May 2021 20:34:27 +0100 Original-Received: from mail-yb1-f169.google.com ([209.85.219.169]:41521) by smtp9.mail.ox.ac.uk with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.94.2) (envelope-from ) id 1lfSiZ-000288-Uo for types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org; Sat, 08 May 2021 20:34:27 +0100 Original-Received: by mail-yb1-f169.google.com with SMTP id l7so16319320ybf.8 for ; Sat, 08 May 2021 12:34:26 -0700 (PDT) X-Gm-Message-State: AOAM531FghZpovmiedYg9zd6XBIhXEPA+TV6smFfN/lHtTgbeqnY9R5I aqYO1EaLYI9AnNHzJjqrP7Iwd1XvIUT3FiCi+B0R/A== X-Google-Smtp-Source: ABdhPJzw88R5yghZPYDCCLh7JTCDFYItrYI4J8IXUkw8mp8+Zy4jrakfj1i/hZ8bg6ka/0p4huSvpHow4isPden/lUc= X-Received: by 2002:a25:ea06:: with SMTP id p6mr16799684ybd.37.1620502465137; Sat, 08 May 2021 12:34:25 -0700 (PDT) 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.391, 18.0.761 definitions=2021-05-08_08:2021-05-06, 2021-05-08 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=0 phishscore=0 impostorscore=0 bulkscore=0 spamscore=0 mlxlogscore=999 mlxscore=0 malwarescore=0 lowpriorityscore=0 clxscore=400 adultscore=0 suspectscore=0 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2104190000 definitions=main-2105080158 X-Mailman-Approved-At: Mon, 10 May 2021 08:05:38 -0400 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-GUID: exOfJ6n13CZicBD_bxWyzNYqNEe6O3Pf X-Proofpoint-ORIG-GUID: exOfJ6n13CZicBD_bxWyzNYqNEe6O3Pf X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.136,Aquarius:18.0.761,Hydra:6.0.391,FMLib:17.0.607.475 definitions=2021-05-10_07,2021-05-10_05,2020-04-07_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 spamscore=0 mlxscore=0 mlxlogscore=999 adultscore=0 bulkscore=0 lowpriorityscore=0 phishscore=0 impostorscore=0 suspectscore=0 clxscore=1011 priorityscore=1501 malwarescore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2104190000 definitions=main-2105100089 Xref: news.gmane.io gmane.comp.science.types.announce:9631 gmane.science.mathematics.categories:10480 Archived-At: --===============2019309064161838201== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============2019309064161838201== Content-Type: multipart/alternative; boundary="000000000000cae60d05c1d6a17a" --000000000000cae60d05c1d6a17a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable FINAL 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 * * * <<< DEADLINE EXTENSION: Due to popular demand, the submission deadline has been extended to Wednesday 12 May. >>> <<< UPDATE: Our plans to run ACT 2021 as one of the first physical conferences post-lockdown are progressing well. Consider joining us in person in Cambridge! We also have financial support available for students and junior researchers. >>> 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. ** FINANCIAL SUPPORT ** We are able to offer financial support to PhD students and junior researchers. Full guidance is on the webpage. ** IMPORTANT DATES (all in 2021) ** - Submission Deadline: Wednesday 12 May (previously Monday 10 May) - Author Notification: Monday 7 June - Financial Support Application Deadline: Monday 7 June - Financial Support Notification: Tuesday 8 June - Priority Physical Registration Opens: Wednesday 9 June - Ordinary Physical Registration Opens: Monday 13 June - Reserved Accommodation Booking Deadline: Monday 13 June - Adjoint School: Monday 5 to Friday 9 July - Main Conference: Monday 12 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 summary, up to 12 pages excluding bibliography, that provides evidence of results of genuine interest, and with enough detail to allow the program committee to assess the merits of the work. Full proofs of mathematical statements are not necessarily required. Accepted submissions in this track will be invited for publication in a proceedings volume. Additional appendices beyond the page limit are permitted but may not be read by reviewers, and will not be included in the proceedings. - Non-Proceedings Track. Submissions presenting high-quality work submitted or published elsewhere, or for which publication in the proceedings is not desired by the authors, may be submitted to this track, 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 Members: - Richard Blute, University of Ottawa - Spencer Breiner, NIST - Daniel Cicala, University of New Haven - Robin Cockett, University of Calgary - Bob Coecke, Cambridge Quantum Computing - Geoffrey Cruttwell, Mount Allison University - Valeria de Paiva, Samsung Research America and University of Birmingham - Brendan Fong, Massachusetts Institute of Technology - Jonas Frey, Carnegie Mellon University - Tobias Fritz, Perimeter Institute for Theoretical Physics - Fabrizio Romano Genovese, Statebox - Helle Hvid Hansen, University of Groningen - Jules Hedges, University of Strathclyde - Chris Heunen, University of Edinburgh - Alex Hoffnung, Bridgewater - Martti Karvonen, University of Ottawa - Kohei Kishida, University of Illinois, Urbana-Champaign (chair) - Martha Lewis, University of Bristol - Bert Lindenhovius, Johannes Kepler University Linz - Ben MacAdam, University of Calgary - Dan Marsden, University of Oxford - Jade Master, University of California, Riverside - Joe Moeller, NIST - Koko Muroya, Kyoto University - Simona Paoli, University of Leicester - Daniela Petrisan, Universit=C3=A9 de Paris, IRIF - Mehrnoosh Sadrzadeh, University College London - Peter Selinger, Dalhousie University - Michael Shulman, University of San Diego - David Spivak, MIT and Topos Institute - Joshua Tan, University of Oxford - Dmitry Vagner - Jamie Vicary, University of Cambridge - John van de Wetering, Radboud University Nijmegen - Vladimir Zamdzhiev, Inria, LORIA, Universit=C3=A9 de Lorraine - Maaike Zwart --000000000000cae60d05c1d6a17a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
FINAL CALL FOR PAPERS

Fourth Annual International C= onference on
Applied Category Theory (ACT 2021)

12 - 16 July, 202= 1, Cambridge, United Kingdom (and online)

https://www.cl.cam.ac.uk/events/act2021
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0* * *
<<< DEA= DLINE EXTENSION: Due to popular demand, the submission deadline
has been= extended to Wednesday 12 May. >>>

<<< UPDATE: Our= plans to run ACT 2021 as one of the first physical
conferences post-loc= kdown are progressing well. Consider joining us in
person in Cambridge! = We also have financial support available for
students and junior researc= hers. >>>

The Fourth International Conference on Applied Ca= tegory Theory will
take place at the Computer Laboratory of the Universi= ty 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 growin= g community
of researchers, interested in studying many different kinds = of systems
using category-theoretic tools. These systems are found acros= s computer
science, mathematics, and physics, as well as in social scien= ce,
linguistics, cognition, and neuroscience. The background and experie= nce
of our members is as varied as the systems being studied. The goal o= f
the Applied Category Theory conference series is to bring researchers<= br>together, disseminate the latest results, and facilitate further
deve= lopment of the field.

We accept submissions of both original researc= h papers, and work
accepted/submitted/ published elsewhere. Accepted ori= ginal research
papers will be invited for publication in a proceedings v= olume. 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 presen= t 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 accommodatio= n yet.


** FINANCIAL SUPPORT **

We are able to offer finan= cial support to PhD students and junior
researchers. Full guidance is on= the webpage.


** IMPORTANT DATES (all in 2021) **

=C2=A0 = - Submission Deadline: Wednesday 12 May (previously Monday 10 May)
=C2= =A0 - Author Notification: Monday 7 June
=C2=A0 - Financial Support Appl= ication Deadline: Monday 7 June
=C2=A0 - Financial Support Notification:= Tuesday 8 June
=C2=A0 - Priority Physical Registration Opens: Wednesday= 9 June
=C2=A0 - Ordinary Physical Registration Opens: Monday 13 June=C2=A0 - Reserved Accommodation Booking Deadline: Monday 13 June
=C2=A0= - Adjoint School: Monday 5 to Friday 9 July
=C2=A0 - Main Conference: M= onday 12 to Friday 16 July


** SUBMISSIONS **

The followin= g two types of submissions are accepted:

=C2=A0 =C2=A0 - Proceedings= Track. Original contributions of high-quality work
consisting of an ext= ended summary, up to 12 pages excluding
bibliography, that provides evid= ence of results of genuine interest,
and with enough detail to allow the= program committee to assess the
merits of the work. Full proofs of math= ematical statements are not
necessarily required. Accepted submissions i= n this track will be
invited for publication in a proceedings volume. Ad= ditional appendices
beyond the page limit are permitted but may not be r= ead by reviewers,
and will not be included in the proceedings.

= =C2=A0 =C2=A0 - Non-Proceedings Track. Submissions presenting high-quality = work
submitted or published elsewhere, or for which publication in theproceedings is not desired by the authors, may be submitted to this
tr= ack, provided the work is recent and relevant to the conference. The
wor= k 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 standar= ds
of quality. Since ACT is an interdisciplinary conference, we use two<= br>tracks to accommodate the publishing conventions of different
discipl= ines. For example, those from a Computer Science background may
prefer t= he Proceedings Track, while those from a Mathematics, Physics
or other b= ackground may prefer the Non-Proceedings Track. However,
authors from an= y background are free to choose the track that they
prefer, and submissi= ons may be moved from the Proceedings Track to the
Non-Proceedings Track= at any time at the request of the authors.

Contributions must be su= bmitted in PDF format. Submissions to the
Proceedings Track must be prep= ared with LaTeX, using the EPTCS style
files available at <http://style.eptcs.org>.

The submiss= ion link will soon be available on the ACT2021 web page:
<https://www.cl.cam.ac.uk/events/ac= t2021>


** PROGRAMME COMMITTEE **

Chair:
- Kohei= Kishida, University of Illinois, Urbana-Champaign

Members:
- Ric= hard Blute, University of Ottawa
- Spencer Breiner, NIST
=C2=A0- Dani= el Cicala, University of New Haven
=C2=A0- Robin Cockett, University of = Calgary
=C2=A0- Bob Coecke, Cambridge Quantum Computing
=C2=A0- Geoff= rey Cruttwell, Mount Allison University
=C2=A0- Valeria de Paiva, Samsun= g Research America and University of Birmingham
=C2=A0- Brendan Fong, Ma= ssachusetts Institute of Technology
=C2=A0- Jonas Frey, Carnegie Mellon = University
=C2=A0- Tobias Fritz, Perimeter Institute for Theoretical Phy= sics
=C2=A0- Fabrizio Romano Genovese, Statebox
=C2=A0- Helle Hvid Ha= nsen, University of Groningen
=C2=A0- Jules Hedges, University of Strath= clyde
=C2=A0- Chris Heunen, University of Edinburgh
=C2=A0- Alex Hoff= nung, Bridgewater
=C2=A0- Martti Karvonen, University of Ottawa
=C2= =A0- Kohei Kishida, University of Illinois, Urbana-Champaign (chair)
=C2= =A0- Martha Lewis, University of Bristol
=C2=A0- Bert Lindenhovius, Joha= nnes Kepler University Linz
=C2=A0- Ben MacAdam, University of Calgary=C2=A0- Dan Marsden, University of Oxford
=C2=A0- Jade Master, Univers= ity of California, Riverside
=C2=A0- Joe Moeller, NIST
=C2=A0- Koko M= uroya, Kyoto University
=C2=A0- Simona Paoli, University of Leicester=C2=A0- Daniela Petrisan, Universit=C3=A9 de Paris, IRIF
=C2=A0- Mehrno= osh Sadrzadeh, University College London
=C2=A0- Peter Selinger, Dalhous= ie University
=C2=A0- Michael Shulman, University of San Diego
=C2=A0= - David Spivak, MIT and Topos Institute
=C2=A0- Joshua Tan, University o= f Oxford
=C2=A0- Dmitry Vagner
=C2=A0- Jamie Vicary, University of Ca= mbridge
=C2=A0- John van de Wetering, Radboud University Nijmegen
=C2= =A0- Vladimir Zamdzhiev, Inria, LORIA, Universit=C3=A9 de Lorraine
=C2= =A0- Maaike Zwart
--000000000000cae60d05c1d6a17a-- --===============2019309064161838201==--