The Communication Technologies group of the University of Vienna is looking for a motivated student interested in pursuing a PhD on developing the foundations of the next generation of reliable networks: networks which are highly automated, and verify and correct…
The Women in Logic Workshop 2020 (Wil) will due to COVID-19 take place virtually.
Eligible degrees conferred between November 15th, 2018 and December 31st, 2019
Logicians amid the Austrian Alps
10 papers accepted at the 34th AAAI Conference on Artificial Intelligence 2020
Jointly run doctoral college LogiCS is looking for 12 doctoral students.
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…
The 2018 Helmut Veith Stipend was presented at an award ceremony collocated with the symposium Humans & Machines,
