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

$Sächische Schweiz$ © M. Bodirsky

Cooperations

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

Cooperations, Activities, Memberships

International Center For Computational Logic, TU Dresden
Research Training Group QuantLA, TU Dresden
Algebra an der Karlsuniversität Prag
Theoretical Computer Scientists for Future
Fachgruppe Logik in der Informatik, Gesellschaft für Informatik.
Gesellschaft für Informatik (GI)
Deutsche Mathematiker Vereinigung (DMV)
Manuel Bodirsky is editor for the journals
- Mathematical Logic Quaterly and
- ACM Transactions of Computational Logic