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

[Takafumi Saikawa]

Dear all (English version follows below),

皆様、

COVID-19の状況が落ち着いていますので、
今年のTPPミーティングは予定通り現地開催します。
皆様の参加ご登録をお待ちしております。

また、Zoomによる配信も並行して行い、
そのリンクは後日参加登録者にお送りします。

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

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

才川

----
Dear Colleagues,

As COVID-19 is currently tamed in Japan,
we have decided to hold this year's TPP 2021 physically in Kitami.
We are welcoming your registration!

We are going to also prepare a Zoom channel.
Its link will be sent to the registered participants later.

Date: Sun. 21st to Mon. 22nd, November 2021
Venue: Kitami Institute of Technology;
   Room C121 for 21st and Room E131 for 22nd
Address: 165 Koen-cho, Kitami, Hokkaido 090-8507

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

Best regards,
Takafumi Saikawa