TPP2012 (The 8th Theorem Proving and Provers meeting) の案内が出ていた。
まだ出てないけど、今年も皆で解く問題(TPPmark)はあるのかな。
http://www.math.s.chiba-u.ac.jp/tpp2012/