Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

February 25, 2022

Applied Category Theory 2022

Posted by John Baez

The Fifth International Conference on Applied Category Theory, ACT2022, will take place at the University of Strathclyde from 18 to 22 July 2022, preceded by the Adjoint School 2022 from 11 to 15 July. This conference follows previous events at Cambridge (UK), Cambridge (MA), Oxford and Leiden.

Applied category theory is important to a growing community of researchers who study computer science, logic, engineering, physics, biology, chemistry, social science, linguistics and other subjects using category-theoretic tools. 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, strengthen the applied category theory community, disseminate the latest results, and facilitate further development of the field.

Submissions

We accept submissions in English of original research papers, talks about work accepted/submitted/published elsewhere, and demonstrations of relevant software. Accepted original research papers will be published in a proceedings volume. The keynote addresses will be chosen from the accepted papers. The conference will include an industry showcase event and community meeting. We particularly encourage people from underrepresented groups to submit their work and the organizers are committed to non-discrimination, equity, and inclusion.

Submission formats

Extended Abstracts should be submitted describing the contribution and providing a basis for determining the topics and quality of the anticipated presentation (1-2 pages). These submissions will be adjudicated for inclusion as a talk at the conference. Such work should include references to any longer papers, preprints, or manuscripts providing additional details.

Conference Papers should present original, high-quality work in the style of a computer science conference paper (up to 14 pages, not counting the bibliography; detailed proofs may be included in an appendix for the convenience of the reviewers). Such submissions should not be an abridged version of an existing journal article (see item 1) although pre-submission Arxiv preprints are permitted. These submissions will be adjudicated for both a talk and publication in the conference proceedings.

Software Demonstrations should be submitted in the format of an Extended Abstract (1-2 pages) giving the program committee enough information to assess the content of the demonstration. We are particularly interested in software that makes category theory research easier, or uses category theoretic ideas to improve software in other domains.

Extended abstracts and conference papers should be prepared with LaTeX. For conference papers please use the EPTCS style files available at

http://style.eptcs.org

The submission link is

https://easychair.org/conferences/?conf=act2022

Important dates

The following dates are all in 2022, and Anywhere On Earth.

  • Submission Deadline: Monday 9 May
  • Author Notification: Tuesday 7 June
  • Camera-ready version due: Tuesday 28 June
  • Adjoint School: Monday 11 to Friday 15 July
  • Main Conference: Monday 18 to Friday 22 July

Conference format

We hope to run the conference as a hybrid event with talks recorded or streamed for remote participation. However, due to the state of the pandemic, the possibility of in-person attendance is not yet confirmed. Please be mindful of changing conditions when booking travel or hotel accommodations.

Financial support

Limited financial support will be available. Please contact the organisers for more information.

Program committee

  • Jade Master, University of Strathclyde (Co-chair)
  • Martha Lewis, University of Bristol (Co-chair)

The full program committee will be announced soon.

Organizing committee

  • Jules Hedges, University of Strathclyde
  • Jade Master, University of Strathclyde
  • Fredrik Nordvall Forsberg, University of Strathclyde
  • James Fairbanks, University of Florida

Steering committee

  • John Baez, University of California, Riverside
  • Bob Coecke, Cambridge Quantum
  • Dorette Pronk, Dalhousie University
  • David Spivak, Topos Institute
Posted at February 25, 2022 5:09 PM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/3384

14 Comments & 0 Trackbacks

Re: Applied Category Theory 2022

Why are the deadlines in the AoE timezone rather than UTC?

Posted by: Madeleine Birchfield on February 25, 2022 10:08 PM | Permalink | Reply to this

Re: Applied Category Theory 2022

“Anywhere on Earth” isn’t intended to be a specific timezone, though maybe in practice it’s the last place on Earth where midnight happens. The reason for not using UTC is that people easily make mistakes trying to convert UTC to their local timezone, so people submitting their papers at the last minute miss their deadlines. So, it’s easier if everyone on Earth can submit their paper before midnight and make the deadline.

Posted by: John Baez on February 26, 2022 5:43 PM | Permalink | Reply to this

Re: Applied Category Theory 2022

Is registration for the conference open yet?

Posted by: James Sheppard on April 22, 2022 5:51 PM | Permalink | Reply to this

Re: Applied Category Theory 2022

I’ve seen no signs of that, neither on the conference website nor in conversations. I’ll ask the organizers Jules Hedges and Jade Master what’s up.

I don’t remember registering for earlier ACTs, but it could be just my forgetfulness.

Posted by: John Baez on April 22, 2022 6:23 PM | Permalink | Reply to this

Re: Applied Category Theory 2022

ACT 2021 required registration, which opened on 21 April: hence my question.

Posted by: James Sheppard on April 23, 2022 10:16 AM | Permalink | Reply to this

Re: Applied Category Theory 2022

I’ve asked the organizers about this, but have not heard back yet.

Posted by: John Baez on April 23, 2022 5:49 PM | Permalink | Reply to this

Re: Applied Category Theory 2022

I note the recent announcement that the conference is sponsored by Huawei. I wonder what the organisers’ position is on the very close connection between that company and the government of the Peoples Republic of China? Do the organisers wish to comment on the implications of that government’s policies of mass surveillance and control of its population, its increasing political repression in Hong Kong, or its policies of oppression, possibly amounting to genocide, of the ethnic minorities in Xinjiang and Tibet?

Posted by: James Sheppard on May 15, 2022 4:23 PM | Permalink | Reply to this

Re: Applied Category Theory 2022

For starters, where’s this announcement you’re talking about? I can’t find a list of sponsors of ACT2022 anywhere.

Posted by: John Baez on May 15, 2022 6:22 PM | Permalink | Reply to this

Re: Applied Category Theory 2022

For starters, where’s this announcement you’re talking about? I can’t find a list of sponsors of ACT2022 anywhere.

Huawei is listed as a sponsor on the ACT2022 page.

https://msp.cis.strath.ac.uk/act2022/#sponsors

Posted by: RodMcGuire on May 15, 2022 11:43 PM | Permalink | Reply to this

Re: Applied Category Theory 2022

That is indeed what I was referring to.

Posted by: James Sheppard on May 16, 2022 4:33 PM | Permalink | Reply to this

Re: Applied Category Theory 2022

Does anyone see any sponsors listed there? I don’t. Am I being blind?

Posted by: John Baez on May 17, 2022 9:06 PM | Permalink | Reply to this

Re: Applied Category Theory 2022

Perhaps your browser has cached an old version of the webpage: if so, there should be a way of refreshing it. But as a member of the Steering Committee for the conference, were you not aware of this sponsorship already? The question I asked was about the propriety of accepting sponsorship from the PRC, not about the website.

Posted by: James Sheppard on May 18, 2022 9:12 AM | Permalink | Reply to this

Re: Applied Category Theory 2022

I see 3 sponsors on that page: Huawei, Protocol Labs, and Cambridge Quantum. They’re listed between the submission link and the program committee.

Posted by: Madeleine Birchfield on May 17, 2022 11:05 PM | Permalink | Reply to this

Re: Applied Category Theory 2022

James wrote:

Perhaps your browser has cached an old version of the webpage: if so, there should be a way of refreshing it.

I tried removing the cache and that didn’t help. Then I turned off my ad blocker and that did the job! Pretty funny — I hadn’t realized an ad blocker would hide corporate sponsors of conferences.

Madeleine wrote:

I see 3 sponsors on that page: Huawei, Protocol Labs, and Cambridge Quantum.

Right. Now I see them.

But as a member of the Steering Committee for the conference, were you not aware of this sponsorship already?

No, other people were running that stuff. Nobody ever mentioned the sponsors to me. I should have sought out that information.

I agree that Huawei is a problematic entity. ACT2019 also had sponsors that some people objected to. Others vigorously defended them. If you were involved in the ACT community at the time, you’d remember that controversy.

I think the fundamental problem is that the people who seek out corporate sponsors for the ACT conference series — roughly speaking, the experts at getting funding — have different standards than some other people involved in applied category theory.

(In case it’s not obvious, I’m not an expert at getting funding — quite the opposite. I retired in part because pressure on me to get grants was increasing as people in my department started considering me some sort of bigshot.)

To some extent this difference in opinions can be dealt with by making sure potential funding sources are discussed ahead of time by a larger number of people, not just left to those few experts. It’s possible that Huawei is contributing a small enough amount of money that it could have been avoided without major sacrifices. I don’t know.

The deeper problem of ethically funding ACT research will not go away so easily: right now, most of the entities funding research on this subject — or computer science in general, or homotopy type theory for that matter — have goals that deserve scrutiny.

There’s a lot more to say about this. My ACT talks, assuming I’m invited to speak, will indicate my own personal approach to this problem.

Posted by: John Baez on May 19, 2022 1:53 AM | Permalink | Reply to this

Post a New Comment