LogiCS PhD positions funded by Austrian Science Fund
Congratulations to the students, faculty and staff on the renewal of the funding for the LogiCS doctoral program, a PhD degree program funded by the Austrian Science Fund FWF.
Category Events Sidebar
2nd Workshop Women in Logic (WiL2018) at FLoC 2018
Here the Call for Nominations: SIGLOG/VCLA Travel Award for WiL 2018 with a deadline June 13th, 2018. We are proud to be one of the sponsors of Second Workshop of Women in Logic (WiL2018), Logic in Computer Science (LiCS) associated…
Jugend Videowettbewerb: Algorithmen in 60 Sekunden
Algorithmen sind aus unserem Leben nicht wegzudenken: sie werken im Smartphone, im Computer und im Navi. Algorithmen sorgen auch dafür, dass im Supermarkt der Lieblingssnack immer verfügbar ist und sie sorgen auf sozialen Netzwerken, dass wir mit unseren Freunden up-to-date…
RiSE/SHiNE Winter School 2018
Knowledge-Based System Group is inviting to the RiSE/SHiNE Winter School 2018 taking place between February 5 and February 9, 2018 at TU Wien, Austria.
Vienna Ball of Sciences 2018
The new chairs of Vienna Center for Logic and Algorithms (VCLA), Agata Ciabattoni and Stefan Szeider, have once again partnered up with the Vienna Ball of Sciences, thus continuing the legacy of VCLA co-founder Helmut Veith, planting the seeds of…
Vienna Ball of Sciences 2018
The new chairs of Vienna Center for Logic and Algorithms (VCLA), Agata Ciabattoni and Stefan Szeider, have once again partnered up with the Vienna Ball of Sciences, thus continuing the legacy of VCLA co-founder Helmut Veith, planting the seeds of…
Leopoldo Bertossi
VCLA and Wolfgang Pauli Institut (WPI) hosted visiting professor Leopoldo Bertossi, School of Computer Science, Carleton University, from September to December 2017 on the invitation of Georg Gottlob. Prof. Bertossi´s farewell words:
17th FMCAD 2017
This fall was a computer science autumn for Vienna, the science hub of Central Europe. From ALGO Congress on Algorithms to 17th FMCAD (Formal Methods in Computer-Aided Design), the research groups of VCLA have been busy.
Reach VCLA ―Enrich Social Media
Social media constitute an important medium for disseminating information. To achieve the spill over effect of the knowledge accumulated within the constituting research groups of VCLA and to connect their members with the network of stakeholders and the general public,…
Helmut Veith Symposium
Thank you for joining the Symposium in Memoriam Helmut Veith, the co-founder of Vienna Center for Logic and Algorithms, hosted by the organizers of the 17th FMCAD – Formal Methods in Computer-Aided Design, held at TU Wien, Vienna, Austria, from October 2–6,…