Courses Summer Term 2019
Lectures
Y. Kazakov
A. Huckauf, Y. Kazakov, E. Rukzio, F. Yan
S. Biundo-Stephan, G. Behnke, C. Olz
The first lecture will be held on April 29th. The exercise classes start in the same week. Details concerning the registration for exercise classes will be announced in the first lecture.
S. Biundo-Stephan, G. Behnke
B. Glimm
Projects
- Automated Reasoning & Advanced Automated Reasoning
Y. Kazakov
& - Projects in Automated Planning
S. Biundo-Stephan and employees
& - Semantic Web & Advanced Semantic Web
B. Glimm and employees
&
Seminars
S. Biundo-Stephan and employees