The 9th Theorem Proving and Provers meeting will be held on November 21(Thursday)-22(Friday)
at Engineering Campus, Shinshu University. 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.
- November 21(Thu.)-22(Fri.), 2013
- Engineering Campus, Shinshu University (Wakasato, Nagano).
- OHTA International Memorial Hall .