Call For Applications: Helmut Veith Stipend for Female Master´s Students in CS

Deadline: November 30, 2018

The 11th Informatics Day: Digital Education for All

Explanatory videos as didactic resources for the basic digital education? This was results of the youth video competition “Algorithms in 60 Seconds”.

Artificial Intelligence: Between the second Renaissance and the Terminator

How to prepare economically, culturally, politically, and legally for the changes brought about by the artificial intelligence addressed by Toby Walsh at the LogicLounge in Vienna.

Talks at the Federated Logic Conference – FLoC 2018 and affiliated events

Talks being given as part of FLoC 2018 by the faculty and PhD candidates of the FWF-funded doctoral college Logical Methods in Computer Science – LogiCS are sorted by the title of the paper.

Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck:
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CAV (1) 2018: 547-564

Jens […]

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.

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”

Video Competition: Algorithms in 60 Seconds

September 26, 2018

The 20 videos which came among the finalist of the competition will be presented at the 11. Informatiktag, at University of Vienna. More here.

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.