Description: Le programme de doctorat Logical Methods in Computer Science est un programme de doctorat, financé par le Fonds autrichien pour la science FWF et géré conjointement par les trois universités autrichiennes TU Wien (Université de technologie de Vienne), Université de technologie de Graz et Université Johannes Kepler de Linz.