$Sächische Schweiz$ © M. Bodirsky

Activities

The chair of algebra has many local and international cooperation partners.

Kooperationen, Aktivitäten, Mitgliedschaften

Dresden's new home for knowledge technologies and logic in computer science

Manuel Bodirsky is one of the PIs of the DFG-funded research training group "QuantLA: Quantitative Logics and Automata"

Das Institut für Algebra an der Karlsuniversität Prag

Programme committee member of the 51st EATCS International Colloquium on Automata, Languages and Programming, (ICALP 24).
International Center For Computational Logic, TU Dresden
Manuel Bodirsky is editor of the journal ACM Transactions of Computational Logic.
Manuel Bodirsky is managing editor of the journal Mathematical Logic Quaterly.
Manuel Bodirsky is in the board of the society Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG).
Theoretical Computer Scientists for Future
Board member of the Fachgruppe Logik in der Informatik, Gesellschaft für Informatik
Membership: Gesellschaft für Informatik (GI)
Membership: Deutsche Mathematiker Vereinigung (DMV)
Cooperation partner: Research Unit Algebra at TU Wien
Cooperation partner: Institute of Algebra at Charles University Prague

Completed: