There is now a European Masters Program in Computational Logic
German Title: Computationale Logik (Individuelles Diplomstudium)
Welcome to the homepage of the university degree computational logic.
We think that it is now high time to provide the necessary information how to study this fabulous degree to all crawling around on the Web.
The aim of this course is to provide a complete and adequate education in the field of computational logic. The course was designed in the interaction between many institutes of the University of Technology Vienna and the Kurt Gödel Society and is now established at the TU Vienna for over ten years.
Computational logic is a research field connecting the disciplines of mathematics, mathematical logic and computer science.
One area in computational logic is theoretical computer science and the corresponding fields of mathematical logic (i.e. complexity theory, formal languages and automata, recursion theory, theory of computability, and proof theory). Another one contains mechanization of logic, automated deduction and connections to artificial intelligence and symbolic computation.