The Vienna Center for Logic and Algorithms (VCLA) is an initiative of Technische Universität Wien – TU Wien (Vienna University of Technology).