Theorem Proving and Provers (TPP 2015) を主催します。

日時:2015-09-16(Wed), 17(Thu)
場所:神奈川大学理学部情報科学科(湘南ひらつかキャンパス)
くわしくは web site をご覧ください。