Understanding the theoretical foundations, methods, design, algorithmic realization and application of selected (semi-)automated reasoning systems in computational logic
Theoretical foundations, algorithmic realization, system design, implementation and application of of selected (semi-)automated reasoning systems in computational logic
Examples: CERES (Cut Elimination by RESolution) , VMTL (Vienna Modular Termination Laboratory)
For details of the course we refer to its homepage
Proof of accomplishment of indiviually agreed upon project goals
Not necessary
Depends on the individually selected or agree upon project