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

[Takafumi Saikawa]

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