Vienna University of Technology

Computational Logic

The European Master’s Programme in Computational Logic provides students with profound theoretical and practical knowledge essential for professional practice in the field. It offers a comprehensive survey of the disciplines of Computational Logic and enhances students' ability to work using scientific methods.

Deadline:Feb 12, 2026