FORTE'13 added
Merge remote-tracking branch 'upstream/master'
Small typo fix in README.md
Merge pull request #10 from dbeyer/master

FORTE 2013 added (and a minor typo fix in README.md)