Aktivitäten, Kooperationen, Mitgliedschaf­ten

• Ich unterstütze die  EATCS als ein Verein, der die Forscher:innen in theoretischer Informatik vertritt. Es ist das Ziel unserer Gemeinschaft, inklusiv und unterstützend zu sein, insbesondere in Bezug auf jüngere Forscher:innen und benachteiligten Gruppen. Weiterhin denke ich, dass wir viele Konferenzen in theoretischer Informatik benötigen, die zu den weltweit besten gehören, so dass europäische Wissenschaftlicher:innen nicht in andere Kontinente zu reisen müssen, um Ihre besten Arbeiten zu präsentieren. Ich halte den Begutachtungsprozess für Konferenzbeiträge in theoretischer Informatik für sehr erfolgreich, und möchte diesen als eine schnelle und kompetitive Publikationsform beibehalten und weiterentwicheln. Weiterhin denke ich, dass es nicht mehr zeitgemäß ist, diese Publikationsform fest mit einer Pflicht zur Konferenzteilnahme zu verbinden. 
• Manuel Bodirsky ist Managing Editor des neu gegründeten Journals ZML: Zeitschrift für Mathematische Logik (Diamond Open Access: weder Autor:innen noch Leser:innen und Bibliotheken müssen bezahlen).

• Im Programmkomittee der Konferenz "51st EATCS International Colloquium on Automata, Languages and Programming", (ICALP 24).

• Manuel Bodirsky ist im Vorstand der Deutschen Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG).
• Manuel Bodirsky ist im Leitungsgremium der GI Fachgruppe Logik in der Informatik. 
• Manuel Bodirsky ist Editor im Journal ACM Transactions of Computational Logic.
• Mitglied: International Center For Computational Logic, TU Dresden 
• Kooperationspartner: Algebra an der Karlsuniversität Prag
• Kooperationspartner: Forschungsgruppe Algebra an der TU Wien
• Theoretical Computer Scientists for Future (TCSFF)
• Mitgliedschaft: Gesellschaft für Informatik (GI)
• Mitgliedschaft: Deutsche Mathematiker Vereinigung (DMV)

Abgeschlossen: 

• Research Training Group QuantLA, TU Dresden + Uni Leipzig.