Logic-ml の皆様、

北海道大学の佐野です。3月7日に開催されるworkshop "Sapporo One-day Workshop on Hybrid Logic and Proof Theory" についてご案内します。

佐野勝彦

----------------------------------------------------------------------- This is the announcement of the "Sapporo One-day Workshop on Hybrid Logic and Proof Theory" to be held on March 7.

As a satellite event of the 7th Asian Workshop on Philosophical Logic (https://sites.google.com/view/awpl2024/home), we plan to hold the Sapporo One-day Workshop on Hybrid Logic and Proof Theory", whose registration fee is 1500 Yen.

The program of the workshop is now available on the website. You can see it on the website and also get the detailed pdf version.

https://sites.google.com/view/sapporoworkshop2024spring/

Also, the information of the banquet is now announced. Time: 18:30- Place: Hyakuya (https://h554804.gorp.jp/) Fee: 4000 Yen

If you would like to attend, please register using the following form.

https://forms.gle/XsP921BGznFc9EVTA

Please note that the registration deadline for the banquet is *March 2 (JST)*. We look forward to your participation.