[logic-ml] 証明論研究集会 & SLACS のご案内

Toshihiko Kurata kurata at i.hosei.ac.jp
Mon Dec 7 15:06:48 JST 2015


皆様,

証明論研究集会とSLACSの講演申込みを有難うございました.

暫定版プログラムなど詳しい情報はHP

https://sites.google.com/site/ptslacs2015/

から御確認頂けたらと思います.現状で枠に若干の余裕が出来ましたので,
埋まるまでの間は講演の募集を続けることとなりました.希望をされる方
は申し込みを頂けますと幸いです.

あと,都合により懇親会は月曜日に行うこととなりました.御不便をお掛
けしますが,よろしくお願いいたします.

佐々木克巳(南山大学)倉田俊彦(法政大学)



More information about the Logic-ml mailing list