You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Nick Hu (Feb 17 2021 at 19:37):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 http://style.eptcs.org.
The submission link will soon be available on the ACT2021 web page: https://www.cl.cam.ac.uk/events/act2021
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
Jules Hedges (Feb 18 2021 at 03:15):I was definitely not expecting this so soon. But at least May is kind of a long time away, or at least that's what I'll tell myself
Jules Hedges (Feb 18 2021 at 03:16):Nick Hu said:
However, due to the state of the pandemic, the possibility of in-person attendance is not yet confirmed.
Oh no not again. Haven't we been through all this already a year ago?
John Baez (Feb 18 2021 at 04:25):This time there's a vaccine. But we'll see.
Nick Hu (Feb 18 2021 at 13:00):You never know. Especially when the British government is concerned
Jules Hedges (Feb 18 2021 at 13:03):Things are going surprisingly well now on Plague Island. I realistically expect to be able to go to the pub in July, but I don't realistically expect casual international travel
Nick Hu (Feb 18 2021 at 15:15):The physical component is expected to be primarily for UK locals
John Baez (Feb 18 2021 at 17:03):I was planning to visit Jamie for the summer last summer, and now I'm not sure I'll do it this summer.
(I can't justify short trips over long distances, but I can sorta kinda half-justify a long air trip if I spend several months somewhere. Even that makes me feel guilty.)
John Baez (Feb 18 2021 at 17:03):It looks more likely that I'll spend time in Berkeley this summer.
Nick Hu (Apr 16 2021 at 11:25):12 - 16 July, 2021, Cambridge, United Kingdom (and online)
https://www.cl.cam.ac.uk/events/
<<< 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: 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 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 <http://style.eptcs.org>.
The submission link will soon be available on the ACT2021 web page: <https://www.cl.cam.ac.uk/events/act2021>
PROGRAMME COMMITTEE
Chair:
Members:
Nick Hu (Apr 16 2021 at 11:52):A request: would anyone be able to advertise this on the n-Category cafe? I have no idea how to post to that :)
Jules Hedges (Apr 16 2021 at 11:53):Uh, when did May 10th get so close? I think there's a bug in the simulation where time is going much too fast
John Baez (Apr 16 2021 at 13:43):A request: would anyone be able to advertise this on the n-Category Cafe? I have no idea how to post to that :)
You post to it by being a host or asking a host. You just did!
John Baez (Apr 16 2021 at 13:58):I posted it: https://golem.ph.utexas.edu/category/2021/04/applied_category_theory_2021_c.html
Nick Hu (Apr 16 2021 at 14:04):Thanks John!
JS PL (he/him) (Apr 25 2021 at 07:33):@Nick Hu : Just double checking: for the extended abstracts, is it 12 page including references or 12 pages exlucding references?
Nick Hu (Apr 27 2021 at 16:37):JS Pacaud Lemay said:
Nick Hu : Just double checking: for the extended abstracts, is it 12 page including references or 12 pages exlucding references?
Bibliography is not included in the 12 page limit. The web page has also been updated; thanks for the query!
Nick Hu (May 08 2021 at 19:35):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 <http://style.eptcs.org>.
The submission link will soon be available on the ACT2021 web page: <https://www.cl.cam.ac.uk/events/act2021>
PROGRAMME COMMITTEE
Chair:
Members:
Nick Hu (May 08 2021 at 19:36):The submission deadline has been extended 2 days, now it's Wednesday 12th May
Nick Hu (May 08 2021 at 19:38):@John Baez Could you please post about this deadline extension on the nCategory Cafe?
John Baez (May 08 2021 at 20:12):Sure, and also my own blog.
John Baez (May 08 2021 at 20:12):Wait - just a 2-day extension??? People must be really desperate if that makes a difference.
John Baez (May 08 2021 at 20:14):Actually, I think it's a bit pathetic to run whole new blog articles just about a 2-day extension.
John Baez (May 08 2021 at 20:14):I'll just post a comment and change what the articles say.
John Baez (May 08 2021 at 20:15):Anyone desperately eager to get an extension of 2 days will be motivated to find out about it, I hope.
John Baez (May 08 2021 at 20:20):I'll tweet about it. That'll probably reach more people than a blog article, and it makes more sense to tweet about a 2-day extension than to blog about it. A blog article is supposed to have a certain amount of gravitas.
Guillaume Boisseau (Jun 09 2021 at 20:42):Who's planning to go physically to the conference? I'm wondering if it's worth the effort
John Baez (Jun 09 2021 at 21:07):Not me.
By the way - a separate issue - a bunch of students at the ACT2021 "adjoint school" are going to the Topos Institute in July. These are just those who are in the group on "Categorical and computational aspects of C-sets", with mentors James Fairbanks and Evan Patterson, and TAs Owen Lynch and Christian Williams. I'll be there too.
Nick Hu (Jun 10 2021 at 12:10):Guillaume Boisseau said:
Who's planning to go physically to the conference? I'm wondering if it's worth the effort
I think there are about ~10 people from Oxford planning to go in person
Nick Hu (Jul 08 2021 at 16:35):12 - 16 July, 2021, Cambridge, United Kingdom (and online), 09:00-17:30 BST
Webpage: https://www.cl.cam.ac.uk/events/act2021
Registration for online participation: https://forms.gle/KENNAbk6iLwqJ7i36
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.
For a full schedule of talks, please see https://www.cl.cam.ac.uk/events/act2021/#programme.
The conference will be run as a hybrid event, with physical attendees present in Cambridge, and other participants taking part online. Physical registration is now closed, but online registration is still available: https://www.cl.cam.ac.uk/events/act2021/#registration.
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é de Lorraine
- Maaike Zwart
Nick Hu (Jul 08 2021 at 16:37):Can the twitter-savvy please circulate? :grinning_face_with_smiling_eyes:
Jade Master (Jul 12 2021 at 17:37):Thank you for organizing. When do you estimate that the talks will show up on YouTube?
Guillaume Boisseau (Jul 16 2021 at 11:02):I just asked @Jamie Vicary, he says hopefully around next week
Bryce Clarke (Jul 16 2021 at 22:28):I wasn't able to be there for the end of the conference, but was it announced where Applied Category Theory 2022 will be held?
Bryce Clarke (Jul 16 2021 at 22:29):Also thank you to the organisers of ACT2021 for a fantastic hybrid event!
Nathanael Arkor (Jul 16 2021 at 23:09):Bryce Clarke said:
I wasn't able to be there for the end of the conference, but was it announced where Applied Category Theory 2022 will be held?
No, I think they mentioned they were looking for organisers for next year.
Jules Hedges (Jul 17 2021 at 09:08):It's far too late now, but it would have been better to have all the chat here on Zulip instead of on the Zoom chat, like we did last year
John Baez (Jul 17 2021 at 16:19):Yeah, I wonder why they didn't do that. Maybe because the organizers don't use this Zulip.
Nick Hu (Jul 18 2021 at 23:52):I think the main problem is that it creates a divide between 'conference-proper' and 'Zulipland', just my 2¢
Nick Hu (Jul 18 2021 at 23:58):By the way, it would be great to hear about what everyone thought went well, and what didn't go so well, for next time! I'm sure hybrid conferences will become the norm for at least the medium-term future
Cole Comfort (Jul 18 2021 at 23:59):I think that a zulip chat would have been a much better alternative. Especially if the zoom chat were disabled.
First of all, there would be an archive of the chat.
Second, the physical atendees would more easily be able to chat with the virtual atendees.
Cole Comfort (Jul 19 2021 at 00:03):The latter part, I feel was the most lacking from this conference. Why turn on zoom if you are attending physically? On the other hand, as a physical attendee, I was already checking zulip, despite the fact that people were not talking about the talks at the conference.
John Baez (Jul 19 2021 at 00:50):There are the people who use this Zulip and those who don't, and I'm afraid the ACT2021 conference organizers were mainly in the latter camp.
Matteo Capucci (he/him) (Jul 19 2021 at 07:08):I agree with Cole and Jules, a common Zulip thread would have been the cherry on top. That said, the conference was wonderfully organized! For a first run it went amazingly smooth, so it's more of a desiderata for next year than a criticism.
Jules Hedges (Jul 19 2021 at 09:33):Nick Hu said:
By the way, it would be great to hear about what everyone thought went well, and what didn't go so well, for next time! I'm sure hybrid conferences will become the norm for at least the medium-term future
I suspect the decision to organise the entire schedule around UTC+1 will be a bit devisive, it's extremely convenient for some and extremely inconvenient for others
Nick Hu (Jul 19 2021 at 11:23):We were heavily restricted by the department's restrictions on opening hours, etc. I think it's fair to say that what Jamie accomplished is nothing short of a bureaucratic miracle getting the department to agree to it in the first place (and I'm speaking from experience of trying to get things running in Oxford)
Nick Hu (Jul 19 2021 at 11:25):I think there's also some broader point about how not everyone wants to participate in Zulip, and social media in general, but maybe this isn't the crowd for it
Morgan Rogers (he/him) (Jul 19 2021 at 12:41):Why would you cater to the people that don't want to participate rather than those who do..?
Cole Comfort (Jul 19 2021 at 13:06):As long as there is no barrier to entry for signing up for zulip, then what is the difference from asking someone to use zoom? I suppose some people might not want their comments to be immortalized on some archive somewhere.
Cole Comfort (Jul 19 2021 at 13:09):Matteo Capucci (he/him) said:
I agree with Cole and Jules, a common Zulip thread would have been the cherry on top. That said, the conference was wonderfully organized! For a first run it went amazingly smooth, so it's more of a desiderata for next year than a criticism.
Yes, the conference was amazing. Especially in person!
Matteo Capucci (he/him) (Jul 19 2021 at 13:38):Cole Comfort said:
As long as there is no barrier to entry for signing up for zulip, then what is the difference from asking someone to use zoom? I suppose some people might not want their comments to be immortalized on some archive somewhere.
In that case I could arrange to disable archiving for that particular stream
Jason Erbele (Jul 20 2021 at 12:20):Comments on zulip would still, in a sense, be immortalized, even if not on the publicly searchable web...
There is also the minor barrier to entry here, that you need an invite link as part of the registration process for this zulip. But that should be easily overcome by creating a conference-specific invite link.
Nathaniel Virgo (Jul 29 2021 at 02:40):Just in case anyone else hadn't realised this yet: the videos of the talks are available on YouTube now. There are video links on the list of accepted presentations on the conference web site.
Jules Hedges (Jul 29 2021 at 09:11):Oh, that was kept quiet, thanks
Spencer Breiner (Jul 30 2021 at 15:56):Does anyone know if the Industry Session was recorded? There doesn't seem to be a link from the main page, and the Day 1 recording ends after the previous session.
Emma Phillips (Aug 09 2021 at 01:37):It was; it's available here: https://www.youtube.com/watch?v=_EKyK_fiZfY&ab_channel=AppliedCategoryTheory
Jade Master (Aug 09 2021 at 19:15):Thank you so much @Emma Phillips much appreciated.
Spencer Breiner (Aug 09 2021 at 19:42):Thanks!