- The curriculum is structured into modules of course work, the PhD
thesis and its defense.
- The course work comprises 36 ECTS credits (abbreviated crs)
and consists of the modules basic training camp, PhD colloquia,
PhD workshop, across borders workshop, soft skills, and
language and communication.
- Within the PhD thesis
a doctoral candidate shall demonstrate that he/she can
solve an open research problem within the area of Computational Logic by
his/her own. The PhD thesis has to contain new scientific results and the
applied methods and techniques as well as the representation of the results
must be according to scientific standards. 114 crs will be awarded upon the
acceptance of the PhD thesis.
- In the defense of his/her PhD thesis a doctoral candidate shall
demonstrate that he/she is able to present, to discuss and to defend the
results of his/her PhD thesis in a scientific colloquium. 30 crs will be
awarded upon the successful defense of the PhD thesis.