Editorial and Community

ItaCa

ItaCa is the italian community of category theorists. I serve both in the Scientific Committee of the ItaCa Fest and in the Promoting Committee.

The Sigplan-M

The SIGPLAN-M is a long-term mentoring program for programming languages researchers. The program helps aspiring or junior researchers to form long-term connections in the programming languages community. I serve as a mentor. I have three mentees.

The Scandinavian Logic Society

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.