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号室

参加申込み (講演は既に締め切りましたが、 25日の晩の懇親会はまだ受け付けています)
プログラム
懇親会 New!

今年も皆で問題を解いて，TPPで解を比べようと思います．以下の問題を解いて下さい．解や質問は上記のメールアドレスに送って下さい．

TPPmark10.pdf (2010-10-29版)
解答

申込み・問い合わせ先： 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.

Call for Participation (The program is now fixed, but you can still apply for the party on the 25th)
Program
Party New!

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.

TPPmark10.pdf (as of 2010-10-29)
Solutions

Registration/questions to: tpp10 at math.nagoya-u.ac.jp (Jacques Garrigue)

Last update: Novermber 26, 2010.