8th TPP (2012) in Chiba University
Theorem Proving and Provers meeting
The 8th Theorem Proving and Provers meeting will be held on November 21(Wednesday)-22(Thursday) at Chiba 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.
- Time
- November 21(Wed.)-22(Thu.), 2012
- Place
- Nishi-Chiba Campus, Chiba University (Access Information). Academic Link Center Bldg.-I 3F seminar room "KIWAMI" (Room 303).
- CFP
- Program
- This year again we would like you to solve a problem in your favorite theorem prover, and compare solutions at the workshop. Please send questions and solutions to the email address below.
- Submitted solutions added
定理証明及び定理証明系ミーティング
Past TPP's / これまでのTPP
Questions / 問い合わせ先
mituharu+tpp2012@math.s.chiba-u.ac.jp (YAMAMOTO Mitsuharu / 山本 光晴)