TPP'10: 6th Theorem Proving and Provers Meeting


English version

第6回 TPPミーティングを 11月 25日(木)-26日(金) に名古屋大学にて開催します.
このミーティングは,2005年から年に1回開催され, 定理証明系を作っている人から使う側の人まで幅広い人たちが集まり, 様々な側面からの話をしてアイディアの交換をしてきたものです.

日時:11月25日(木) 13:00 〜 11月26日(金) 15:00
場所:名古屋大学 多元 数理科学研究科 理学部A館 A428号室
今年も皆で問題を解いて,TPPで解を比べようと思います. 以下の問題を解いて下さい. 解や質問は上記のメールアドレスに送って下さい. 申込み・問い合わせ先: tpp10 at math.nagoya-u.ac.jp (Jacques Garrigue)


The 6th Theorem Proving and Provers meeting will be held on November 25(Thu) - 26(Fri), 2010 at Nagoya 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: 11/25 1pm to 11/26 3pm
Place: Nagoya University Graduate School of Mathematics, Bld. A of the Faculty of Sciences, Room A428.
This year again we would like you to solve a problem in your favorite theorem prover, and compare solutions at the workshop. Here is the problem. Please send questions and solutions to the above mail address. Registration/questions to: tpp10 at math.nagoya-u.ac.jp (Jacques Garrigue)


Last update: Novermber 26, 2010.