Logical Methods in Computer Science博士项目是由奥地利科学基金FWF资助，由奥地利三所大学TU Wien（维也纳科技大学）、Graz University of Technology和Johannes Kepler University Linz联合办学的博士项目。