OUTDATED, moved to https://github.com/curry-language/tutorial
Possible topics for the (masters') seminar.