TPP 2025発表・参加募集ならびにTPPmark 2025のご案内

[Eijiro Sumii]

関連メーリングリストのみなさま

下のとおりTPP 2025の発表・参加募集をお送りします．
東北大学青葉山キャンパスにて12/3（水）・4（木）に開催されます．

https://tpp2025.blogspot.com/

合わせてTPPmark 2025も上のとおりご案内いたします．

いずれも，定理証明器にご関心のある皆様のご発表・ご参加・
ご応募をどうぞよろしくお願い申し上げます．

__
東北大学 大学院 情報科学研究科・工学部 電気情報物理工学科
教授 住井 英二郎 http://www.kb.ecei.tohoku.ac.jp/~sumii/
〒980-8579 宮城県仙台市青葉区荒巻字青葉6-3-09
E-Mail: su...@tohoku.ac.jp　研究室Tel: 022-795-7526
（旧 su...@ecei.tohoku.ac.jp 当面は両方とも届きます）

[Eijiro Sumii]

皆様

TPP 2025の発表・参加募集を再送させていただきます．
（昼食・懇親会に関する情報量が少し増えました．）
皆様の（できればお早めの）お申し込みを宜しくお願いいたします．

https://forms.gle/jHuj7z4tBogDcBfb6

TPPmarkのご応募も積極的にお願い申し上げます．

https://tpp2025.blogspot.com/

__
東北大学 大学院 情報科学研究科・工学部 電気情報物理工学科

教授 住井 英二郎　E-mail: su...@tohoku.ac.jp

[Eijiro Sumii]

みなさま，

12/3（水）午後～12/4（木）に東北大学青葉山キャンパスにて開催される，
定理証明・定理証明器に関するワークショップTPP 2025の発表・参加申込締切が
来週11/15（土）に近づいておりますので，何度も恐れ入りますが最後の募集を
お送りさせていただきます．

なお申込後も締切まで変更可能ですが，変更の場合はできれば新たに申し込むのではなく
forms-recei...@google.com からの控メールにある「回答を編集」ボタンから
編集して再度「送信」いただければ幸いです．

[This is the last call for presentations and participation in TPP
2025, due on Nov 15, Sat.]

https://forms.gle/jHuj7z4tBogDcBfb6

定理証明コンテストの一種であるTPPmark 2025のご回答も
よろしくお願いもうしあげます．こちらは実務上可能な限り
直前まで回答を受け付けております．

[Please submit your answers to TPPmark 2025, too!]

https://tpp2025.blogspot.com/2025/09/tppmark-2025.html

住井 [Eijiro]