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 workshop affiliated with Federated Logic Conference 2018, taking place in Oxford, UK, July 6-19. […]
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 bleiben. In Zukunft werden Algorithmen unser Leben wahrscheinlich noch stärker beeinflussen.
Im […]
Przemysław Andrzej Wałęga
Eunjung Kim
Eunjung Kim, Laboratory LAMSADE
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, as well as their applications, e.g., security, verification and concurrency theory.
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 logic outside the ivory towers of academia.
Vienna Ball of Sciences, took […]
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 logic outside the ivory towers of academia.
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:
