TPP2013 9th Theorem Proving and Provers meeting 本文へジャンプ
TPP2013参加申し込み 


参加申し込み
飛び入り参加も歓迎いたしますが、よろしければご参加を予定されている皆様は事前にメールにて下記の要領でお知らせいただければ助かります。
よろしくお願いいたします。

参加申し込み・問合せ先
okazaki@cs.shinshu-u.ac.jp

TPP2013 参加申し込み
お名前:
ご所属:
懇親会:参加する/参加しない


Call for Participation.

We hope you can participate in TPP2013.
If you are planning to attend the meeting, please send the information slip below to the indicated address as early as possible.

Submission/questions to: 
okazaki@cs.shinshu-u.ac.jp

TPP 2013 Registration
Name:
Affiliation:
Will attend the party: Yes/No