Category Theory in Epidemiology

This is a talk I gave at the Edinburgh Mathematical Society on December 4, 2023:

Abstract. “Stock and flow diagrams” are widely used for modeling in epidemiology. Modelers often regard these diagrams as an informal step toward a mathematically rigorous formulation of a model in terms of ordinary differential equations. However, these diagrams have a precise syntax, which can be explicated using category theory. Although commercial tools already exist for drawing these diagrams and solving the differential equations they describe, my collaborators and I have created new software that overcomes some limitations of existing tools. Basing this software on categories has many advantages, but I will explain three: functorial semantics, model composition, and model stratification. This is joint work with Xiaoyan Li, Sophie Libkind, Nathaniel Osgood, Evan Patterson and Eric Redekopp.

You can see my slides here. You can get the code for Stockflow
here and for ModelCollab here.

For more, read these:

• John Baez, Xiaoyan Li, Sophie Libkind, Nathaniel D. Osgood and Eric Redekopp, A categorical framework for modeling with stock and flow diagrams, to appear in Mathematics for Public Health, Springer.

• John Baez, Xiaoyan Li, Sophie Libkind, Nathaniel Osgood and Evan Patterson, Compositional modeling with stock and flow diagrams, Proceedings Fifth International Conference on Applied Category Theory, EPTCS 380 (2022), 77-96.

• Sophie Libkind, Andrew Baas, Micah Halter, Evan Patterson and James Fairbanks, An algebraic framework for structured epidemic modeling, Phil. Trans. R. Soc. A. 380 (2022), 20210309.

• Evan Patterson and Micah Halter, Compositional epidemiological modeling using structured cospans.

Lectures on Applied Category Theory

Want to learn applied category theory? You can now read my lectures here:

• Lectures on applied category theory

There are a lot of them, but each one is bite-sized and basically covers just one idea. They’re self-contained, but you can also read them along with Fong and Spivak’s free book to get two outlooks on the same material:

• Brendan Fong and David Spivak, Seven Sketches in Compositionality: An Invitation to Applied Category Theory.

Huge thanks go to Simon Burton for making my lectures into nice web pages! But they still need work. If you see problems, please let me know.

Here’s a problem: I need to include more of my ‘Puzzles’ in these lectures. None of the links to puzzles work. Students in the original course also wrote up answers to all of these puzzles, and to many of Fong and Spivak’s exercises. But it would take quite a bit of work to put all those into webpage form, so I can’t promise to do that. 😢

Here are the lectures:

Chapter 1: Ordered Sets

• Lecture 1 – Introduction

• Lecture 2 – What is Applied Category Theory?

• Lecture 3 – Preorders

• Lecture 4 – Galois Connections

• Lecture 5 – Galois Connections

• Lecture 6 – Computing Adjoints

• Lecture 7 – Logic

• Lecture 8 – The Logic of Subsets

• Lecture 9 – Adjoints and the Logic of Subsets

• Lecture 10 – The Logic of Partitions

• Lecture 11 – The Poset of Partitions

• Lecture 12 – Generative Effects

• Lecture 13 – Pulling Back Partitions

• Lecture 14 – Adjoints, Joins and Meets

• Lecture 15 – Preserving Joins and Meets

• Lecture 16 – The Adjoint Functor Theorem for Posets

• Lecture 17 – The Grand Synthesis

Chapter 2: Resource Theories

• Lecture 18 – Resource Theories

• Lecture 19 – Chemistry and Scheduling

• Lecture 20 – Manufacturing

• Lecture 21 – Monoidal Preorders

• Lecture 22 – Symmetric Monoidal Preorders

• Lecture 23 – Commutative Monoidal Posets

• Lecture 24 – Pricing Resources

• Lecture 25 – Reaction Networks

• Lecture 26 – Monoidal Monotones

• Lecture 27 – Adjoints of Monoidal Monotones

• Lecture 28 – Ignoring Externalities

• Lecture 29 – Enriched Categories

• Lecture 30 – Preorders as Enriched Categories

• Lecture 31 – Lawvere Metric Spaces

• Lecture 32 – Enriched Functors

• Lecture 33 – Tying Up Loose Ends

Chapter 3: Databases

• Lecture 34 – Categories

• Lecture 35 – Categories versus Preorders

• Lecture 36 – Categories from Graphs

• Lecture 37 – Presentations of Categories

• Lecture 38 – Functors

• Lecture 39 – Databases

• Lecture 40 – Relations

• Lecture 41 – Composing Functors

• Lecture 42 – Transforming Databases

• Lecture 43 – Natural Transformations

• Lecture 44 – Categories, Functors and Natural Transformations

• Lecture 45 – Composing Natural Transformations

• Lecture 46 – Isomorphisms

• Lecture 47 – Adjoint Functors

• Lecture 48 – Adjoint Functors

• Lecture 49 – Kan Extensions

• Lecture 50 – Left Kan Extensions

• Lecture 51 – Right Kan Extensions

• Lecture 52 – The Hom-Functor

• Lecture 53 – Free and Forgetful Functors

• Lecture 54 – Tying Up Loose Ends

Chapter 4: Collaborative Design

• Lecture 55 – Enriched Profunctors and Collaborative Design

• Lecture 56 – Feasibility Relations

• Lecture 57 – Feasibility Relations

• Lecture 58 – Composing Feasibility Relations

• Lecture 59 – Cost-Enriched Profunctors

• Lecture 60 – Closed Monoidal Preorders

• Lecture 61 – Closed Monoidal Preorders

• Lecture 62 – Enriched Profunctors

• Lecture 63 – Composing Enriched Profunctors

• Lecture 64 – The Category of Enriched Profunctors

• Lecture 65 – Collaborative Design

• Lecture 66 – Collaborative Design

• Lecture 67 – Feedback in Collaborative Design

• Lecture 68 – Feedback in Collaborative Design

• Lecture 69 – Feedback in Collaborative Design

• Lecture 70 – Tensoring Enriched Profunctors

• Lecture 71 – Caps and Cups for Enriched Profunctors

• Lecture 72 – Monoidal Categories

• Lecture 73 – String Diagrams and Strictification

• Lecture 74 – Compact Closed Categories

• Lecture 75 – The Grand Synthesis

• Lecture 76 – The Grand Synthesis

• Lecture 77 – The End? No, the Beginning!

Seminar on Applied Category Theory

On Tuesday June 6, 2023, David Corfield ran a one-day Seminar on Applied Category Theory. He started with a quick introduction to applied category theory for philosophers! Then Toby St Clere Smith spoke about categorical cybernetics and the Bayesian brain. Then I gave a gentle introduction to applied category theory—more about the history of the subject, what people are trying to do, and my own personal involvement than any actual math.

Here are the talks. You can click on the titles to see slides. My slides have links for further exploration in brown.

• David Corfield (Kent), Introduction: Applied Category Theory from a Philosophical Point of View.

• Toby St Clere Smithe (Topos Institute, Oxford), Understanding the Bayesian Brain with Categorical Cybernetics.

• John Baez (U.C. Riverside), Applied Category Theory.

Here is David Corfield’s description of the whole show:

The language of Category Theory has been under development since the 1940s and continues to evolve to this day. It was originally created as a formal language to capture common mathematical structures and inference methods across various branches of mathematics, and later found application outside of mathematics. By introducing arrows to mediate between objects, the language is designed to represent anything that can be perceived as a process – including processes of inference and physical processes.

The first applications of Category Theory outside of mathematics and logic were to physics and to computer science. There was also an early application in biology by Robert Rosen.

But over the past decade we have seen researchers under the banner of Applied Category Theory take on a variety of novel subjects, addressing topics which include:

causality, probabilistic reasoning, statistics, learning theory, deep neural networks, dynamical systems, information theory, database theory, natural language processing, cognition, consciousness, systems biology, genomics, epidemiology, chemical reaction networks, neuroscience, complex networks, game theory, robotics, and quantum computing.

In this hybrid seminar at the Centre for Reasoning, University of Kent, we will be hearing online from two leading practitioners. All are welcome to attend.

Category Theory Outreach Panel

They just don’t quit! Besides their Joy of Abstraction book club, the Topos Institute also has another way for you to start learning category theory. It’s called the CT Outreach Panel, and it’s happening on March 16 at 17:00 UTC.

Some of the best explainers of category theory in the world—Emily Riehl, Eugenia Cheng, Tai-Danae Bradley, Paul Dancstep and Oliver Lugg—will explain their approaches to the subject and answer questions.

You can submit questions here:

https://topos.site/ct-outreach-self-learners/

Applied Category Theory 2023

You can now submit a paper if you want to give a talk here:

• 6th Annual International Conference on Applied Category Theory (ACT2023), University of Maryland, July 31 — August 4, 2023

The Sixth International Conference on Applied Category Theory will take place at the University of Maryland from 31 July to 4 August 2023, preceded by the Adjoint School 2023 from 24 to 28 July. This event will be hybrid.

This conference follows previous events at Strathclyde (UK), Cambridge (UK), Cambridge (MA), Oxford (UK) and Leiden (NL). Applied category theory is important to a growing community of researchers who study computer science, logic, engineering, physics, biology, chemistry, social science, systems, 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

There are three submission formats:

1. Conference Papers should present original, high-quality work in the style of a computer science conference paper (up to 12 pages, not counting the bibliography; more detailed parts of 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 although pre-submission arXiv preprints are permitted. These submissions will be adjudicated for both a talk and publication in the conference proceedings.

2. Talk proposals not to be published in the proceedings, e.g. about work accepted/submitted/published elsewhere, should be submitted as abstracts, one or two pages long. Authors are encouraged to include links to any full versions of their papers, preprints or manuscripts. The purpose of the abstract is to provide a basis for determining the topics and quality of the anticipated presentation.

3. Software demonstration proposals should also be submitted as abstracts, one or two pages. The purpose of the abstract is to provide the program committee with enough information to assess the content of the demonstration.

The original conference papers will ultimately be published with EPTCS, and authors are advised to use the style files available at style.eptcs.org.

Please submit your papers and talk proposals here:

• OpenReview.

You will need to create an account or log in. Please tell OpenReview as much as you can about yourself, and your past papers, because it uses this to automatically calculate conflict of interest. (Reviewing is single-blind, and we are not making public the reviews, reviewer names, the discussions nor the list of under-review submissions. This is the same as previous instances of ACT.) The exact deadline time on these dates is given by anywhere on earth (AoE).

Important dates

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

• Submission Deadline: Wednesday 3 May

• Author Notification: Wednesday 7 June

• Camera-ready version due: Tuesday 27 June

• Conference begins: 31 July

Program committee

Benedikt Ahrens

Mario Álvarez Picallo

Matteo Capucci

Titouan Carette

Bryce Clarke

Carmen Constantin

Geoffrey Cruttwell

Giovanni de Felice

Bojana Femic

Marcelo Fiore

Fabio Gadducci

Zeinab Galal

Richard Garner

Neil Ghani

Tamara von Glehn

Amar Hadzihasanovic

Masahito Hasegawa

Martha Lewis

Sophie Libkind

Rory Lucyshyn-Wright

Sandra Mantovanni

Jade Master

Konstantinos Meichanetzidis

Stefan Milius

Mike Mislove

Sean Moss

David Jaz Myers

Susan Niefield

Paige Randall North

Jason Parker

Evan Patterson

Sophie Raynor

Emily Roff

Morgan Rogers

Mario Román

Maru Sarazola

Bas Spitters

Sam Staton (co-chair)

Dario Stein

Eswaran Subrahmanian

Walter Tholen

Christina Vasilakopoulou (co-chair)

Christine Vespa

Simon Willerton

Glynn Winskel

Vladimir Zamdzhiev

Fabio Zanasi

Organizing committee

James Fairbanks, University of Florida

Joe Moeller, National Institute for Standards and Technology, USA

Sam Staton, Oxford University

Priyaa Varshinee Srinivasan, National Institute for Standards and Technology, USA

Christina Vasilakopoulou, National Technical University of Athens

Steering committee

John Baez, University of California, Riverside

Bob Coecke, Cambridge Quantum

Dorette Pronk, Dalhousie University

David Spivak, Topos Institute

Shannon Entropy from Category Theory

I’m giving a talk at Categorical Semantics of Entropy on Wednesday May 11th, 2022. You can watch it live on Zoom if you register, or recorded later. Here’s the idea:

Shannon entropy is a powerful concept. But what properties single out Shannon entropy as special? Instead of focusing on the entropy of a probability measure on a finite set, it can help to focus on the “information loss”, or change in entropy, associated with a measure-preserving function. Shannon entropy then gives the only concept of information loss that is functorial, convex-linear and continuous. This is joint work with Tom Leinster and Tobias Fritz.

You can see the slides now, here. I talk a bit about all these papers:

• John Baez, Tobias Fritz and Tom Leinster, A characterization of entropy in terms of information loss, 2011.

• Tom Leinster, An operadic introduction to entropy, 2011.

• John Baez and Tobias Fritz, A Bayesian characterization of relative entropy, 2014.

• Tom Leinster, A short characterization of relative entropy, 2017.

• Nicolas Gagné and Prakash Panangaden, A categorical characterization of relative entropy on standard Borel spaces, 2017.

• Tom Leinster, Entropy and Diversity: the Axiomatic Approach, 2020.

• Arthur Parzygnat, A functorial characterization of von Neumann entropy, 2020.

• Arthur Parzygnat, Towards a functorial description of quantum relative entropy, 2021.

• Tai-Danae Bradley, Entropy as a topological operad derivation, 2021.

Applied Category Theory 2022

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 sciences, 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

Learn Applied Category Theory!

Do you like the idea of learning applied category theory by working on a project, as part of a team led by an expert? If you’re an early career researcher you can apply to do that now!

• Mathematical Research Community: Applied Category Theory, meeting 2022 May 29–June 4. Details on how to apply: here. Deadline to apply: Tuesday 2022 February 15 at 11:59 Eastern Time.

After working with your team online, you’ll take an all-expenses-paid trip to a conference center in upstate New York for a week in the summer. There will be a pool, bocci, lakes with canoes, woods to hike around in, campfires at night… and also whiteboards, meeting rooms, and coffee available 24 hours a day to power your research!

Later you’ll get invited to the 2023 Joint Mathematics Meetings in Boston.

There will be three projects to choose from:

• Valeria de Paiva (Topos Institute) will lead a study in the context of computer science that investigates indexed containers and partial compilers using lenses and Dialectica categories.

• Nina Otter (Queen Mary University of London) will lead a study of social networks using simplicial complexes.

• John Baez (University of California, Riverside) will lead a study of chemical reaction networks using category theoretic methods such as structured cospans.

The whole thing is being organized by Daniel Cicala of the University of New Haven:

and Simon Cho of Two Six Technologies:

I should add that this is just one of four ‘Mathematical Research Communities’ run by the American Mathematical Society in 2022, and you may prefer another. The applied category theory session will be held at the same time and place as one on data science! Then there are two more:

• Week 1a: Applied Category Theory

Organizers: John Baez, University of California, Riverside; Simon Cho, Two Six Technologies; Daniel Cicala, University of New Haven; Nina Otter, Queen Mary University of London; Valeria de Paiva, Topos Institute.

• Week 1b: Data Science at the Crossroads of Analysis, Geometry, and Topology

Organizers: Marina Meila, University of Washington; Facundo Mémoli, The Ohio State University; Jose Perea, Northeastern University; Nicolas Garcia Trillos, University of Wisconsin-Madison; Soledad Villar, Johns Hopkins University.

• Week 2a: Models and Methods for Sparse (Hyper)Network Science

Organizers: Sinan G. Aksoy, Pacific Northwest National Laboratory; Aric Hagberg, Los Alamos National Laboratory; Cliff Joslyn, Pacific Northwest National Laboratory; Bill Kay, Oak Ridge National Laboratory; Emilie Purvine, Pacific Northwest National Laboratory; Stephen J. Young, Pacific Northwest National Laboratory; Jennifer Webster, Pacific Northwest National Laboratory.

• Week 2b: Trees in Many Contexts

Organizers: Miklós Bóna, University of Florida; Éva Czabarka, University of South Carolina; Heather Smith Blake, Davidson College; Stephan Wagner, Uppsala University; Hua Wang, Georgia Southern University.

Applicants should be ready to engage in collaborative research and should be “early career”—either expecting to earn a PhD within two years or having completed a PhD within five years of the date of the summer conference. Exceptions to this limit on the career stage of an applicant may be made on a case-by-case basis. The Mathematical Research Community (MRC) program is open to individuals who are US citizens as well as to those who are affiliated with US institutions and companies/organizations. A few international participants may be accepted. Depending on space and other factors, a small number of self-funded participants may be admitted. Individuals who have once previously been an MRC participant will be considered for admission, and their applications must include a rationale for repeating. Please note that individuals cannot participate in the MRC program more than twice: applications from individuals who have twice been MRC participants will not be considered.

We seek individuals who will both contribute to and benefit from the MRC experience, and the goal is to create a collaborative research community that is vibrant, productive, and diverse. We welcome applicants from academic institutions of all types, as well as from private industry and government laboratories and agencies. Women and under-represented minorities are especially encouraged to apply.

All participants are expected to be active in the full array of MRC activities—the summer conference, special sessions at the Joint Mathematics Meetings, and follow-up collaborations.

Category Theory and Systems

I’m giving a talk on Monday the 31st of May, 2021 at 17:20 UTC, which happens to be 10:20 am Pacific Time for me. You can see my slides here:

• Category theory and systems.

I’ll talk about how to describe open systems as morphisms in symmetric monoidal categories, and how to use ‘functorial semantics’ to describe the behavior of open systems.

It’s part of the 2021 Workshop on Compositional Robotics: Mathematics and Tools, and if you click the link you can see how to attend!  If you stick around for the rest of the workshop you’ll hear more concrete talks from people who really work on robotics. 

Applied Category Theory 2021 — Call for Papers

The deadline for submitting papers is coming up soon: May 12th.

• Fourth Annual International Conference on Applied Category Theory (ACT 2021), July 12–16, 2021, online and at the Computer Laboratory of the University of Cambridge.

Plans to run ACT 2021 as one of the first physical conferences post-lockdown are progressing well. Consider going to Cambridge! Financial support is available for students and junior researchers.

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
• 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

Program 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é 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