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
Sunday, July 8, 2018
Jugend Videowettbewerb: Algorithmen in 60 Sekunden
Tuesday, May 15, 2018
Przemysław Andrzej Wałęga
Horn fragments of Halpern-Shoham logic: complexity vs expressiveness
Wednesday, December 13, 2017 at 11:30 s.t.
Eunjung Kim
Erdos-Posa Property of Chordless Cycles and its Applications
Tuesday, December 19, 2017 at 16:00 s.t.
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
Monday, February 5, 2018 – Friday, February 9, 2018
Vienna Ball of Sciences 2018
Saturday, January 27, 2018
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:
