Report: Helmut-Veith-Memorial Workshop 2020
Logicians amid the Austrian Alps
Mihaela Rozman
Accepted papers at the AAAI 2020
10 papers accepted at the 34th AAAI Conference on Artificial Intelligence 2020
Several Doctoral Positions in Computer Science in Austria
Jointly run doctoral college LogiCS is looking for 12 doctoral students.
Several Fully Funded PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS)
TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidates for our joint doctoral program on Logical Methods in Computer Science (LogiCS). The PhD program focuses on interdisciplinary research topics covering computational logic, and applications of logic to…
Torsten Schaub
Joost-Pieter Katoen
Viktoriia Korchemna awarded Helmut Veith Stipend
The 2018 Helmut Veith Stipend was presented at an award ceremony collocated with the symposium Humans & Machines,