Resources related to the Kwarc seminar, i.e., slides and project papers. Public, i.e., no grading information.
a new EU EOSC proposal
resources for the TAs and instructors of the AI courses.
The MMT blue notes
The (Jekyll generated part) of the kwarc website
Bachelor Thesis Denis Rochau
Includes Proposal, Thesis and Presentation
FrameIT Paper for CICM16
Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller
Related Work for FrameIT
we archive completed B.Sc supervision repositories here after a while