SLACSとは：以下はSLACSのページの冒頭からの抜粋です。
http://www.math.s.chiba-u.ac.jp/SLACS/「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発
表・研究討論の場を提供することを目的にして開催されている研究集会です．
1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています．
SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの
手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場で
すから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場
としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに
関する発表も数多く聞くことができます．参加者の資格は問いませんので，原
則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を
除いて日本語です．」
より詳しい情報はSLACSのページや最近の開催情報をご確認ください．