ProofWiki talk:Current events/ITP 2011