European Association for Computer Science Logic (EACSL) (External organisation)Activity: Memberships/Positions at TUD and external institutions › Networks and partnerships › Committee Persons and affiliationsChristel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Member) Date2018 → 2021 DescriptionMitglied im Auswahlkomitee für den Ackermann Dissertation Award Keywords
