SLACS2016のご案内 - Logic-ml - fos.kuis.kyoto-u.ac.jp

17 Aug 2016


      みなさま
「記号論理と情報科学研究集会 （SLACS）」のプログラム(暫定版)を
http://www.seto.nanzan-u.ac.jp/~sasaki/SLACS2016.html
におきました．若干の余裕がありますので，
8月21日
まで講演申込を受け付けます．詳細は，上記URLをご確認ください．
プログラム等について，ご指摘・ご意見がある場合は，世話人([email protected])宛にご連絡ください．
世話人　南山大学　佐々木克巳
sasaki [email protected]