Modern technologies and innovations make important contributions to the design of intelligent mobility and open up great economic opportunities in the transport technology sector. In one of the current projects of Prof. Günther Raidl, new approaches are being explored, in…
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,…
Logic in Austria
This has been the 12th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2018) at TU Wien,
Talks being given as part of IJCAI-ECAI-18 from the groups around VCLA
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.…
Computer systems and automation are performing more and more important functions
It is our pleasure to announce the call for the SIGLOG/VCLA Travel Award for attendees of Women in Logic 2018 – WiL 2018 Workshop at FLoC 2018 on July 8th 2018. The second Women in Logic Workshop (WiL 2018) is…
This has been the 12th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2018) at TU Wien, hosted by the Database and Artificial Intelligence Group at the Institute for Logic and Computation. Whether it is sporting events,…
The highly successful third edition of the VCLA International Student Awards was concluded on June 11, 2018.
