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