[logic-ml] 18th TPP meeting (TPP 2022) - call for participation

[Takafumi Saikawa]

Dear all,

We are happy to announce that the 18th TPP meeting will take
place in Eiheiji-cho, Fukui on September 29 - October 1st, 2022. The
meeting is hybrid, so you can attend it online.  Note that
the meeting is co-located with the 57th TRS meeting.

If you will join the meeting in-person, please quickly notify about that
by an email to the organizers ** by September 5th. **

Online presentations can be registered until September 22.
For the details, please visit the event page:
https://t6s.github.io/tpp2022/

Your participation is most welcome!

Best regards,
Mizuhito Ovawa (JAIST), mizuhito at gmail.com
Takafumi Saikawa (Nagoya University), tscompor at gmail.com


皆様

第18回 TPP ミーティングの参加募集の案内をお送り致します。
ミーティングは福井県永平寺町にて開催されますが、オンラインでの
参加も可能となっております。また 第57回 TRS meeting の後に
連続開催されます。皆様、奮ってご参加下さい。

現地参加ご希望の方は、**９月５日までに** 幹事へメールにてご一報ください。
オンライン発表の申し込み期限は９月２２日です。
詳細についてはイベントページをご覧ください：
https://t6s.github.io/tpp2022/

小川瑞史 (JAIST), mizuhito at gmail.com
才川隆文 (名古屋大学), tscompor at gmail.com