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