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, 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 Workshop Series,
  • the VCLA Schools, a series of winter and summer schools,
  • the VCLA Visiting Fellows Program,
  • the VCLA International Student Awards,
  • Outreach activities

The founding of VCLA was made possible by a three-year competitive grant of TU Wien, under the first co-chairs Stefan Szeider and Helmut Veith (1971-2016) in 2014. The activities of VCLA are typically cofinanced by other grants and organizations. The Center will continue to be funded for at least another four years as a part of the Doctoral College Logical Methods in Computer Science (LogiCS).

The detailed overview of all VCLA activities can be found here. Please direct any to the Center´s PR and Project manager Mihaela Rozman.

Organization

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

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

Local Board

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

International 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 & TheoryDatabase and Artificial Intelligence Group

Formal Methods in Systems Engineering GroupKnowledge-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)

Collaborations

The VCLA regularly collaborates with colleagues from the following institutions: