The 7th Theorem Proving and Provers meeting will be held on November 17(Thursday)-18(Friday) at AIST (Tsukuba). TPP is held every year since 2005, and provides a forum to exchange ideas for both users and implementors of theorem provers and proof assistants. Time: November 17(Thu.)-18(Fri.), 2011 Place: Conference Room no. 2, Auditorium, Central 1, Tsukuba Central. Access information. Call for Par