Editorial and Community
The logic group is part of the Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg. This is essentially where I live.
2023 - ongoing.
ItaCa is the italian community of category theorists. I served in the Promoting Committee and currently serve in the Scientific Committee of the ItaCa Fest.
2019 - ongoing.
A biweekly seminar on category theory and type theory based at the University of Gothenburg and Chalmers University of Technology. I am part of the permanent scientific commitee of the seminar.
2026 - ongoing.
The Scandinavian Logic Society is a member of The Division of Logic, Methodology and Philosophy of Science of The International Union of History and Philosophy of Science. The Society wishes to construe the concept of logic as broadly as possible, including the fields computer science, philosophy, mathematics and linguistics. I am a member of the Society.
2024 - ongoing.