Rajeev Gore
Interactive Synthesis of Verified Vote-counting Programs
Wednesday, September 26, 2018 at 16:30 s.t.
Stefan Woltran elected EurAI-Fellow
European Association for Artificial Intelligence – EurAI recognition
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”
LogicLounge with Toby Walsh
Living with Artificial Intelligence – How to stay Human
Thursday, September 20, 2018 at 18:00
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 […]
Iyad Kanj
How to navigate through obstacles?
Wednesday, July 25, 2018 at 14:00 s.t.
Markus Endres
Preference-Aware Database Systems
Tuesday, July 24, 2018 at 14:00 s.t.
