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頃
- 場所：名古屋大学 多元
数理科学研究科
参加者と講演の数を大体把握しておきたいと思いますので，
講演される方は10月22日までに
下の参加申し込みを下記メールアドレスまでお送りください．
参加者には，できるだけ講演していただければと思います．
参加のみは随時受け付けます．
25日の晩に懇親会を予定しています．
申込み・問い合わせ先：
tpp10 at math.nagoya-u.ac.jp (Jacques Garrigue)
TPP 2010 参加申し込み
お名前：
ご所属:
講演 ：する／しない
懇親会：参加する／参加しない
講演する場合
タイトル：
注：外国人の参加者もいますので，スライドは英語でお願いします．
発表は日本語で構いません．
TPPmark
今年も皆で問題を解いて，TPPで解を比べようと思います．
以下の問題を解いて下さい．
解や質問は上記のメールアドレスに送って下さい．
This is the call for participation for the 6th TPP meeting, to 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 around 1pm to 11/26 around 3pm
- Place: Nagoya
University Graduate School of Mathematics
If you are planning to attend the meeting, please send the information
slip below to the indicated address by October 22.
Participants not giving talks can apply after this date.
There will be a party on the 25th.
Registration/questions to: tpp10 at math.nagoya-u.ac.jp
(Jacques Garrigue)
TPP 2010 Registration
Name:
Affiliation:
Will give a talk: Yes/No
Will attend the party: Yes/No
Title of the talk:
This is not a formally international workshop, so presentations
may be in Japanese, but we expect slides to be in English.
TPPmark
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.
Last update: November 1, 2010.