Applied Category Theory 2020 (Part 1)
Posted by John Baez
Here’s the big annual conference on applied category theory:
- ACT2020, 2020 July 6-10, online worldwide. Organized by Brendan Fong and David Spivak.
This happens right after the applied category theory school, which will be held June 29 – July 3. There will also be a tutorial day on Sunday July 5, with talks by Paolo Perrone, Emily Riehl, David Spivak and others.
To give a talk at ACT2020, you have to submit a paper. You can submit either original research papers or extended abstracts of work submitted/accepted/published elsewhere. Accepted original research papers will be invited for publication in a proceedings volume. Some contributions will be invited to become keynote addresses, and best paper awards may also be given. The conference will also include a business showcase.
Here’s how to submit papers. Two types of submissions are accepted, which will be reviewed to the same standards:
Proceedings Track. Original contributions of high quality work consisting of a 5–12 page extended abstract that provides evidence for results of genuine interest, and with enough detail to allow the program committee to assess the merits of the work. Submissions of works in progress are encouraged, but 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 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. Submission is currently open, and can be perfomed at the following web page:
https://easychair.org/conferences/?conf=act2020
Here are some important dates, all in 2020:
- Submission of contributed papers: April 26
- Acceptance/rejection notification: May 17
- Early bird registration deadline: May 20
- Final registration deadline: June 26
- Tutorial day: July 5
- Main conference: July 6–10
Here is the program committee:
- Mathieu Anel, CMU
- John Baez, University of California, Riverside
- Richard Blute, University of Ottawa
- Tai-Danae Bradley, City University of New York
- Andrea Censi, 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
- Amar Hadzihasanovic, IRIF, Université 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édérale de Lausanne
- Chris Heunen, The University of Edinburgh
- Joachim Kock, UAB
- Tom Leinster, The University of Edinburgh
- Martha Lewis, University of Amsterdam
- Daniel R. Licata, Wesleyan University
- David Jaz Myers, Johns Hopkins University
- Paolo Perrone, MIT
- Vaughan Pratt, Stanford University
- Peter Selinger, Dalhousie University
- Michael Shulman, University of San Diego
- David I. Spivak, MIT (co-chair)
- Walter Tholen, York University
- Todd Trimble, Western Connecticut State University
- Jamie Vicary, University of Birmingham (co-chair)
- Maaike Zwart, University of Oxford
Here is the steering committee:
- John Baez
- Bob Coecke
- David Spivak
- Christina Vasilakopoulou
Here is the committee running the school:
- Carmen Constantin
- Eliana Lorch
- Paolo Perrone
And here are the local organizers:
- Destiny Chen (administration)
- Brendan Fong
- David Jaz Myers (logistics)
- Paolo Perrone (publicity)
- David Spivak
More news will follow!
Re: Applied Category Theory 2020
This comment is a bit tangential, but I’d be interested to know: what’s the current thinking among the conference organizers about coronavirus? Obviously this is something for all conferences everywhere, not just ACT2020.
The question’s on my mind right now for a whole bunch of reasons, including the fact that I’d normally be starting to book my summer conference flights about now. (Or at least, I’d be starting to tell myself that I should be starting to book them.) But I’m wondering whether, in fact, they’ll all be going ahead. There are a couple of spring conferences whose organizers I know, and they’re already having to take account of the coronavirus problem.
Obviously no one knows what’s going to happen with the virus, especially as far ahead as June/July. I guess I’m just interested to know what other people are doing, both organizers and conference-goers. E.g. are others going ahead and booking their flights to CT2020 in Genova, or holding off?