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
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.…
Iyad Kanj
Markus Endres
Steven Chaplick
Fully Funded PhD Positions in LogiCS Doctoral College
NEW: Applications will be screened on the following date: September 1, 2018.