LogicLounge with Toby Walsh: Living with Artificial Intelligence – How to stay Human
On September 20th, 2018, one of the leading researchers and an icon for regulation of Artificial Intelligence (AI),
Stefan Woltran elected EurAI-Fellow
European Association for Artificial Intelligence – EurAI recognition
Fully funded PhDs: Logical Methods in Computer Science – LogiCS
Logic in Austria
Prof. Matteo Maffei ERC-funded: Securing internet browsing with WPSE
The team gathered in the Security and Privacy Group around Prof. Matteo Maffei, and his research project ,,Browsec”
Talks at IJCAI-ECAI-18
Talks being given as part of IJCAI-ECAI-18 from the groups around VCLA
Report on the second SYSMICS workshop: Syntax meets Semantics – Methods, Interactions, and Connections in Substructural logics
Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake (TU Wien) prepared the report on the second workshop within the project SYSMICS (Syntax meets Semantics – Methods, Interactions, and Connections in Substructural logics) for the ACM SIGLOG News vol. 5, Issue 2.
The workshop “Substructural logics: semantics, proof theory, and applications” was held in Vienna at the Faculty […]
Fully Funded PhD Positions in LogiCS Doctoral College
NEW: Applications will be screened on the following date: September 1, 2018.
Jeremy Liang An Kong, Outstanding Master Thesis in Computer Science
Computer systems and automation are performing more and more important functions
Einladung: Preisverleihung zum Jugend-Video-Wettbewerb „Algorithmen in 60 Sekunden“
Thursday, June 28, 2018 at 13:00
Third Edition of the VCLA International Student Awards 2018
The highly successful third edition of the VCLA International Student Awards was concluded on June 11, 2018.
