Skip to main navigation
Skip to secondary navigation
Skip to search
Skip to content

$Sächische Schweiz$ © M. Bodirsky

Activities

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

Kooperationen, Aktivitäten, Mitgliedschaften

International Center For Computational Logic

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

Research Training Group QuantLA

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

Karlsuni

Algebra an der Karlsuniversität Prag

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

Post's lattice factored

Activities, Cooperations, Memberships

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).
Research Training Group QuantLA, TU Dresden (completed)
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

© Wiley-Verlag