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: