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.

November 21(Wed.)-22(Thu.), 2012
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


第8回TPPミーティングを11月21日(水)〜22日(木) に千葉大学にて開催します。 このミーティングは、2005年から年に1回開催され、定理証明系を作っている人から使う側の人まで幅広い人たちが集まり、様々な側面からの話をしてアイディアの交換をしてきたものです。

千葉大学西千葉キャンパス(交通アクセス) アカデミック・リンク・センター I棟3階セミナールーム「きわみ」(303号室)

Past TPP's / これまでのTPP

Questions / 問い合わせ先

mituharu+tpp2012@math.s.chiba-u.ac.jp (YAMAMOTO Mitsuharu / 山本 光晴)

Date: 2012-11-22T13:36+0900

Author: YAMAMOTO Mitsuharu

Org version 7.9.2+ with Emacs version 24

Validate XHTML 1.0