定理証明及び定理証明系について討論するためのミーティングです． 研究途上の問題，興味をもっていることのサーベイ，など完成した研究以外に ついても討論できる場としたいと考えています．
特に必要ありません．持参していただいても問題ありません． 発表時間は質疑応答を含めて30分程度． 聴講のみの参加も歓迎します． 日本語を母国語としない参加者のために 発表者は可能ならば英語版のスライドをご用意ください． 講演は日本語で結構です．
------------------------------------------------------------------------- TPPミーティング お名前： 懇親会：参加する／参加しない -------------------------------------------------------------------------