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.
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…
Przemysław Andrzej Wałęga
Eunjung Kim
2nd SYSMICS Workshop on Substructural logics: semantics, proof theory, and applications
This is the second workshop in the framework of the MSCA-RISE project SYSMICS (Syntax meets semantics—Methods, interactions, and connections in substructural logics). Its program will be focused on the interactions between syntactic and semantic methods in substructural and related logics,…
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…
