From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a17:902:8697:: with SMTP id g23mr13878174plo.306.1588522710930; Sun, 03 May 2020 09:18:30 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:902:a701:: with SMTP id w1ls15035428plq.7.gmail; Sun, 03 May 2020 09:18:29 -0700 (PDT) X-Received: by 2002:a17:90a:246d:: with SMTP id h100mr12757997pje.58.1588522709478; Sun, 03 May 2020 09:18:29 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1588522709; cv=none; d=google.com; s=arc-20160816; b=yMJJhqA1Uc1beXnKmZh5q4fdn9NRQ3DpS5W0CtBiStTMr130chrxuuElJZ0zLFjsc2 JSXU4bUC+Y4Y3JOIyj1ma1k+i4y222SzbMtaoDiVj1x6BN4FLRwDDUGtIF6gF+12MlGv RXVHFRzA7dXhIL+u1t1VJvTtiKFUWyYo4UJSzSWIjJ8F8ISETYiKKNZI4gUpBioBR85b fYJQmd01t6S1JE1dgES8g6oPbHwhOHiaX0dgWe21aJ9GmyqwtFCXF1fA1bclQho65kXV clqEPKfnfOly+NcSLZ8aiYLHjm0nd0BhuXvszwBu5+14vkh8rcvOPgaj71FUJv1xmr+k a/Tw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:reply-to:in-reply-to:references :mime-version:dkim-signature; bh=tzqN3LYEBJM49SN7ooIrjOJ0M3vnq1CMoByyYq410y4=; b=TTchIm0sv5qQo+X6+OUV8a8fKBu65hq+SZ3q591uyLbe8c1Yo9EcarCJkPCvLuIsqu jutl6zRm+s7BKNlccvZfYgtX6oTsQb5wpQGiLISufF3KyGxOcqEeSKJx0Iqo5SQc6W0Q lopACrOMQqU2DiypJsYs2t2tzWGX9Fz0De77Qb/kwCL372BhqIE99mael5bAwFCpZLru t+M/xNRxIjaa0VVbvDt/Rs3Ysyya9Ts9K0cVWm7CTej+LKWxB3rOuEuuW08xYbsV6Fyt H5+SSQ62nDScSp2PjppO2Hyg0y+yxw20iqqI8mFUnD+TD08+d37Fw7vZG2QRtmyFgkpn E66w== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=liE5yQPD; spf=pass (google.com: domain of jamie...@gmail.com designates 2607:f8b0:4864:20::12a as permitted sender) smtp.mailfrom=jamie...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-il1-x12a.google.com (mail-il1-x12a.google.com. [2607:f8b0:4864:20::12a]) by gmr-mx.google.com with ESMTPS id q189si861628pfc.0.2020.05.03.09.18.29 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 03 May 2020 09:18:29 -0700 (PDT) Received-SPF: pass (google.com: domain of jamie...@gmail.com designates 2607:f8b0:4864:20::12a as permitted sender) client-ip=2607:f8b0:4864:20::12a; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=liE5yQPD; spf=pass (google.com: domain of jamie...@gmail.com designates 2607:f8b0:4864:20::12a as permitted sender) smtp.mailfrom=jamie...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: by mail-il1-x12a.google.com with SMTP id s10so9004706iln.11 for ; Sun, 03 May 2020 09:18:29 -0700 (PDT) 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; bh=tzqN3LYEBJM49SN7ooIrjOJ0M3vnq1CMoByyYq410y4=; b=liE5yQPDlVmcnQR6bef2DPwUsRHt/S2NqL2gCuZltYwi+FgNhlVxSpZkkDciBEOb0O BqPD7unxvLal0OgG8VDPycxdZPpL0eHjyMFqJeJXCB53wvmnmw/MBGeVXgoYy1sm+oq0 S65IZQY3qK6zkJdGQJ33EeoWoKsa+bndAYuYeGJy7b0eTJF6UbiELqefPIxdg11u8ktp sMt92U3becX/17xf8s3oZRrh0q10D/bqO7nd9MB5NVfaUznp67lMWnWYXZ1f6ogzkNrH /PJR9Mnr2a8S3PsiDai0Um0xV636g7CZRz/rYNCd/GmMS028xjIIRPi0x+60SdBrU670 jRDw== X-Gm-Message-State: AGi0PuY55EFaj7PFXd6FhvY2TEOgI5SOVxtMUhwYb6O3MnkWcEjOvNZK zTHwDdV2J1PpbRNvp3CE6ZURqOvOr6MCwK2QH9B5DIvC X-Received: by 2002:a92:9edb:: with SMTP id s88mr6206376ilk.294.1588522708542; Sun, 03 May 2020 09:18:28 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: Reply-To: jamie...@gmail.com From: Jamie Vicary Date: Sun, 3 May 2020 17:18:19 +0100 Message-ID: Subject: Second CfP: Applied Category Theory Conference (ACT2020) To: Homotopy Type Theory , types-a...@lists.seas.upenn.edu Content-Type: multipart/alternative; boundary="000000000000c2a7d705a4c0c3dd" --000000000000c2a7d705a4c0c3dd Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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 Miriam Backens, University of Birmingham John Baez, Centre for Quantum Technologies Richard Blute, University of Ottawa Tai-Danae Bradley, City University of New York Andrea Censi, ETH Zurich Corina Cirstea, ETC 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 Jeremy Gibbons, University of Oxford 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 Alex Hoffnung, Bridgewater Joachim Kock, Universitat Aut=C3=B2noma de Barcelona Alexander Kurz, Chapman University 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 Daniela Petrisan, University of Paris, IRIF Vaughan Pratt, Stanford University Peter Selinger, Dalhousie University Michael Shulman, University of San Diego David I. Spivak, Massachusetts Institute of Technology (co-chair) John Terilla, Tunnel Technologies Walter Tholen, York University Todd Trimble, Western Connecticut State University Christina Vasilakopoulou, University of Patras 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) --000000000000c2a7d705a4c0c3dd Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
SECOND CALL FOR PAPERS

3= rd Annual International Conference on
Applied Category Theory (ACT2020)<= br>
July 6 =E2=80=93 10, 2020

http://act2020.mit.edu


= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0* * *


Applied category = theory is a topic of interest for a growing community of researchers intere= sted in studying many different kinds of systems using
category-theoreti= c tools. These systems are found across computer science, mathematics, and = physics, as well as in social science, linguistics, cognition, and neurosci= ence. The background and experience of our members is as varied as the syst= ems 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 a= bstracts of work that's been submitted, accepted, or published elsewher= e. Original research papers we accept will be invited for publication in a = proceedings volume. Some contributions will be invited to become keynote ad= dresses, and best paper award(s) may also be given.

ACT2020 will be = held entirely online, with all the attendant advantages: no registration fe= e, 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; gen= erative, 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 Le= iden, and ACT2019 in Oxford.


** IMPORTANT DATES (all in 2020)**<= br>
Submission of contributed papers: Sunday May 10
Success notificat= ion: 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:

= =C2=A0 - Proceedings Track. Original contributions of high-quality work=C2= =A0 consisting of a 5 =E2=80=93 12 page extended abstract that provides evi= dence of results of genuine interest, and with enough detail to allow the p= rogram 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 pro= posal.

=C2=A0 - 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 leng= th, 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 e= vidence 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
Miriam Backens, Unive= rsity of Birmingham
John Baez, Centre for Quantum Technologies
Richar= d Blute, University of Ottawa
Tai-Danae Bradley, City University of New = York
Andrea Censi, ETH Zurich
Corina Cirstea, ETC Zurich
Bob Coeck= e, University of Oxford
Valeria de Paiva, Samsung Research America and U= niversity of Birmingham
Ross Duncan, University of Strathclyde
Eric F= inster, University of Birmingham
Brendan Fong, Massachusetts Institute o= f Technology
Tobias Fritz, Perimeter Institute for Theoretical PhysicsRichard Garner, Macquarie University
Fabrizio Romano Genovese, Statebo= x
Jeremy Gibbons, University of Oxford
Amar Hadzihasanovic, IRIF, Uni= versit=C3=A9 de Paris
Helle Hvid Hansen, Delft University of Technology<= br>Jules Hedges, Max Planck Institute for Mathematics in the Sciences
Ka= thryn Hess Bellwald, Ecole Polytechnique F=C3=A9d=C3=A9rale de Lausanne
= Chris Heunen, The University of Edinburgh
Alex Hoffnung, Bridgewater
= Joachim Kock, Universitat Aut=C3=B2noma de Barcelona
Alexander Kurz, Cha= pman University
Tom Leinster, The University of Edinburgh
Martha Lewi= s, University of Amsterdam
Daniel R. Licata, Wesleyan University
Davi= d Jaz Myers, Johns Hopkins University
Paolo Perrone, Massachusetts Insti= tute of Technology
Daniela Petrisan, University of Paris, IRIF
Vaugha= n Pratt, Stanford University
Peter Selinger, Dalhousie University
Mic= hael Shulman, University of San Diego
David I. Spivak, Massachusetts Ins= titute of Technology (co-chair)
John Terilla, Tunnel Technologies
Wal= ter Tholen, York University
Todd Trimble, Western Connecticut State Univ= ersity
Christina Vasilakopoulou, University of Patras
Jamie Vicary, U= niversity of Birmingham (co-chair)
Maaike Zwart, University of Oxford

** STEERING COMMITTEE **

John Baez (University of Californi= a Riverside)
Bob Coecke (University of Oxford)
David Spivak (MIT)
= Christina Vasilakopoulou (University of Patras)
--000000000000c2a7d705a4c0c3dd--