Rajeev Gore
Interactive Synthesis of Verified Vote-counting Programs
Wednesday, September 26, 2018 at 16:30 s.t.
Stefan Woltran elected EurAI-Fellow
![](https://www.vcla.at/wp-content/uploads/2018/09/csm_woltran_stefan_c_tu_wien_afa4867518.jpg)
European Association for Artificial Intelligence – EurAI recognition
Fully funded PhDs: Logical Methods in Computer Science – LogiCS
![](https://www.vcla.at/wp-content/uploads/2018/09/Final-Deadline.jpg)
Logic in Austria
PATAT 2018 – Automated timetabling and scheduling
![](https://www.vcla.at/wp-content/uploads/2018/08/PATAT_2018_30_Aug-222.jpg)
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
![](https://www.vcla.at/wp-content/uploads/2018/08/csm_Maffei_web_1e84abc5f1.jpg)
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
![](https://www.vcla.at/wp-content/uploads/2018/08/41938541270_bd050cb61e_o.jpg)
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.