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),
Call For Applications: Helmut Veith Stipend for Female Master´s Students in CS
Deadline: November 30, 2018
Prof. Stefan Woltran elected EurAI-Fellow
Congratulations to professor Stefan Woltran, who has been elected a fellow of the European Association for Artificial Intelligence – EurAI.
Fully funded PhDs: Logical Methods in Computer Science – LogiCS
Logic in Austria
PATAT 2018 – Automated timetabling and scheduling
This has been the 12th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2018) at TU Wien,
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
Jeremy Liang An Kong, Outstanding Master Thesis in Computer Science
Computer systems and automation are performing more and more important functions
Video Competition: Algorithms in 60 Seconds
June 20, 2018
The details of the award ceremony are revealed here.
June 6, 2018
Featuring of the Top 10 Videos on “Algorithms in 60 Seconds” on Youtube starts on June 11, 2018.
Latest Talks
(» further talks)Rajeev Gore
Interactive Synthesis of Verified Vote-counting Programs
Wednesday, September 26, 2018 at 16:30 s.t.
LogicLounge with Toby Walsh
Living with Artificial Intelligence – How to stay Human
Thursday, September 20, 2018 at 18:00
Steven Chaplick
Approximation Schemes for Geometric Coverage Problems
Thursday, July 19, 2018 at 11:00 s.t.
