Aktivitäten
Die Professur pflegt verschiedene lokale und internationale Kooperationen.
Aktivitäten, Kooperationen, Mitgliedschaften
- 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.
- Manuel Bodirsky ist Managing Editor im Journal Mathematical Logic Quaterly.
- 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.