About VCLA

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 of TU Wien, 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. The annual reports offer a detailed overview of all VCLA activities.

Main activities

The VCLA was founded in September 2011 and officially opened in January 2012 in the presence of the rector of the Technische Universität Wien (TU Wien) Sabine Seidler and Turing Award laureate Edmund M. Clarke. The Center was founded by Stefan Szeider and Helmut Veith (1971 – 2016) and led by both until Helmut Veith passed away in March 2016. In December 2017, Agata Ciabattoni became the new elected co-chair, and the VCLA board structure changed. The VCLA funded as a part of the Doctoral Program Logical Methods in Computer Science (LogiCS). The activities of VCLA are typically co-financed by other grants and organizations.

A detailed overview of all VCLA activities can be found in annual reports published here. Please direct any questions to the Center´s PR and Project manager Andrea Hackl.


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.

Executive Board

Agata Ciabattoni (co-chair) Reinhard Pichler
Thomas Eiter Stefan Szeider (co-chair)
Matteo Maffei Georg Weissenbacher

Local Board

Matthias Baaz Martin Nöllenburg
Pavol Cerny Magdalena Ortiz
Laura Kovács Stefan Woltran
Alexander Leitsch

Advisory Board

Roderick Bloem (TU Graz) Georg Gottlob (TU Wien/University of Oxford)
Nadia Creignou (Université d’Aix-Marseille) Anuj Dawar (University of Cambridge)
Fedor Fomin (University of Bergen) Miroslaw Truszczyński (University of Kentucky)
Moshe Y. Vardi (Rice University)

Logic and Algorithms Groups

The Center is hosted by six research groups at the Faculty of Informatics, TU Wien:

AClogoshortLogo Logic & Theory     Database and Artificial Intelligence GroupFormal Methods in Systems Engineering Group

Knowledge-Based Systems Group      

Together, the six groups occupy recently refurbished areas on the second, third, and forth floors of the department building at Favoritenstrasse 9-11, in Vienna’s fourth district, close to Karlsplatz and the Vienna Opera House.

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. (Update in progress as of Jan 2018)


The VCLA regularly collaborates with colleagues from the following institutions: