The Vienna Center for Logic and Algorithms (VCLA) is an initiative of Technische Universität Wien – TU Wien (Vienna University of Technology). Located at the Faculty of Informatics, the Center is promoting international scientific collaboration in logic and algorithms. Moreover, the VCLA outreach activities are aimed towards raising aspirations of young people for academic pursuits and to raise awareness on the impact of the research done in the areas of logic, philosophy, mathematics, computer science and artificial intelligence among the general public alike. VCLA is coordinated by the executive board in consultation with the local board while taking into account the strategic advice from the international advisory board. The acting chairs are Agata Ciabattoni and Stefan Szeider.

VCLA is hosted by five research groups at the Faculty of Informatics:

Algorithms and Complexity Group

Theory and Logic Group

Database and Artificial Intelligence Group

Formal Methods in System Engineering Group

Knowledge-Based Systems Group

International recognition of their work is reflected by a Wittgenstein Award, two START Prizes, the ERC Starting Grant COMPLEX REASON, the ERC Advanced Grant DIADEM, the National Research Network RiSE, numerous grants by the Austrian and the Vienna Science Fund, two memberships in the Austrian Academy of Sciences as well as TU Vienna’s graduate programs in this area.

LogicLounges were born out of the largest event in the history of logic research, Vienna Summer of Logic, attended by more than 2000 computer scientists from all over the world. LogicLounge is a place where the public and scientists build bridges, recognizing the social embeddedness of information technology in post-modern societies.

Facebook: Vienna Center for Logic and Algorithms at TU Wien

Twitter: @vclaTUwien

www.vcla.at