How to design a perfect subway map?
![](https://www.vcla.at/wp-content/uploads/2019/01/TU-Wien-2nd-Schematic-Mapping-Workshop-2019-124.jpg)
2nd Schematic Mapping Workshop took place at TU Wien
SIGLOG/VCLA Travel Awards for Women in Logic Workshop 2019 (WiL 2019)
![](https://www.vcla.at/wp-content/uploads/2019/04/GOLD-WIL.jpg)
Extended Deadline: May 21, 2019
The algorithm is a racist / Der Algorithmus ist rassistisch?
What do an algorithm and a cooking recipe have in common? More than you might think! In the media, algorithms come up again and again – but usually when something goes wrong. Headlines such as “The algorithm is a racist” are not uncommon. However, algorithms are not a new phenomenon, but have been with us […]
Extended Deadline: Call for Nominations for the VCLA International Student Awards
![](https://www.vcla.at/wp-content/uploads/2018/12/VCLA_Student_Awards_2018_Winners_FLOC.jpg)
The annually awarded VCLA International Student Awards for Outstanding Master and Undergraduate Research (Bachelor) Theses (or equivalent) recognize authors of scientific works across the wide spectrum of Computer Science.
Main areas of interest:
Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint […]
Laura Kovacs awarded ERC´s Proof of Concept Grant
![](https://www.vcla.at/wp-content/uploads/2019/02/kovacs1-768x512.jpg)
From a research project to a software startup in Austria
Thomas Eiter and Peter Schüller lead “Artificial Intelligence for the European Union – AI4EU” at TU Wien
![](https://www.vcla.at/wp-content/uploads/2019/01/ALGO-2017_by_Nadja-Meister_IMG_2887.jpg)
The pan-European project funded with €20 million connecting 79 partners from 21 countries
Eduard Eiben awarded with the national “Award of Excellence”
![](https://www.vcla.at/wp-content/uploads/2018/12/EduardEiben_AwardofExcellence.jpg)
Alumnus of the LogiCS doctoral college funded by the FWF
Vienna Ball of Sciences 2019: Steps of Logic by Anna Lukina
![](https://www.vcla.at/wp-content/uploads/2018/11/Vienna-Ball-of-Sciences-2019-COPY_SciBall_R.Ferrigato.jpg)
Inspired by the nature, brought to life by a machine
Logik und Informatik
Die Logik ist für die Informatik wie Kalkül für die Physik. Selbst das Bedürfnis, im modernen Leben klarer zu denken, kann mit logischem Training befriedigt werden. Das Vienna Center for Logic and Algorithms bring den stärksten Werkzeug in Technik und Informatik zur GEWINN Info Day 2018 – größten Wirtschaftskongress für Schülerinnen und Schüler in Österreich.
Logikpuzzle
VCLA […]
Artificial Intelligence: Between the second Renaissance and the Terminator
![](https://www.vcla.at/wp-content/uploads/2018/09/LogicLounge-with-Toby-Walsh-at-TU-Wien-2018-4.jpg)
Prof. Toby Walsh at the LogicLounge discussion in Vienna