Upcoming Courses
menu
News
People
Former Members
Research
Formal Methods
Structural Semantics
Services, KM & Interaction
Semantization
Bibliography
Systems
Orphaned Systems
Historic Systems
Projects
Completed Projects
Courses & Theses
Overview (D)
Former Courses
Upcoming Courses
Thesis Topics & Projects
Completed Theses
Events
Hiring
Contact
The courses in the upcoming semester:
AI 1/2 Systems Project
Informatische Werkzeuge in den Geistes- und Sozialwissenschaften IWGS-II
Logic-Based Representation of Mathematical/Technical Knowledge
Seminar Wissensrepräsentation und -verarbeitung
