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.
Contents
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,
- the Science Education
- 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 co-financed 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).
A 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
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:
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:
- Kurt Gödel Society (KGS)
- Austrian Society for Rigorous Systems Engineering (ARiSE)
- Wolfgang Pauli Institute (WPI)
- Institute of Science and Technology Austria (IST Austria)