Scientific Community Game Proposals
Letter of Intent to NSF (March 2013)
Crowdsourcing of Formal Scientific Knowledge
Google Fall 2013
This proposal did not use Semantic Games as a solid foundation.
Self-Evaluating Collaborative Labs for Formal Sciences