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 当面は両方とも届きます）