[logic-ml] TPP 2021: Nov. 21-22 in Kitami

Dear all (English version follows below),

皆様、

名古屋大学の才川隆文と申します。 今年のTPPミーティングを以下のように開催いたします。 どうぞ皆様ふるってご参加ください。

開催日程：2021年11月21日(日), 22日(月) 会場：北見工業大学 14号館 1階 E131講義室 住所：090-8507 北海道北見市公園町165番地

Zoomによるオンライン参加も可能です。

詳細、TPPmark、登録はこちらをご覧ください: https://t6s.github.io/tpp2021/

才川

---- Dear Colleagues,

I am pleased to announce this year's TPP meeting as follows:

Date: Sun. 21st to Mon. 22nd, November 2021 Venue: Kitami Institute of Technology, Building 14, 1st Floor, Room E131 Address: 165 Koen-cho, Kitami, Hokkaido 090-8507

We also welcome online participation using Zoom.

Please visit the website for registration and more details, including TPPMark problems: https://t6s.github.io/tpp2021/

Best regards, Takafumi Saikawa