Institute of Computer Science at University of Bonn