Aktuelle Informationen des Instituts für Theoretische Informatik