Vienna Center for Logic and Algorithms