Semantics A place for homework assignments I did for the Semantics course during the WS 2014/15 @ TUM