European Association for Computer Science Logic (EACSL) (Externe Organisation)Aktivität: Mitgliedschaften/Ämter an der TUD und externen Einrichtungen › Netzwerke und Partnerschaften › Komitee Personen und EinrichtungenChristel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Mitglied) Datum2018 → 2021 BeschreibungMitglied im Auswahlkomitee für den Ackermann Dissertation Award Schlagworte
