AIFB – Institut für Angewandte Informatik und Formale Beschreibungsverfahren Rolle am ZKM Gruppen Benjamin Berens Melanie Volkamer Phillip Matheis