Added draft of the post proceedings
Merge branch 'master' of https://github.com/fikovnik/ttc14-fixml-sigma