Explore projects

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

Deliverable 4.2

Related Work for FrameIT

KAT papers

we archive completed B.Sc supervision repositories here after a while