第41回 記号論理と情報科学 研究集会(SLACS 2024)
2024年 8月 21日(水)~ 22日(木)
SLACSとは...
SLACSとは...
「SLACS(スラックス)は,記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です.1985年1月に第1回が開催されて以来,毎年1回のペースで開催されています.SLACS は,堅苦しい研究会ではなく,その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です.気軽に発表できる場ですから,研究が進行中の話題を持ってきて議論したり,学生さんが発表する場としても適当です.もちろん,発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます.参加者の資格は問いませんので,原則として,どなたでも講演発表・聴講いただけます.発表はごく少数の例外を除いて日本語です.」
開催要領
開催要領
日程: 2024年 8月 21日(水)~ 22日(木)
日程: 2024年 8月 21日(水)~ 22日(木)
形式: 現地開催
形式: 現地開催
費用: 参加費無料(懇親会費は別途徴収)
費用: 参加費無料(懇親会費は別途徴収)
幹事: 浅田 和之(東北大学電気通信研究所, E-mail: asada*riec.tohoku.ac.jp )
幹事: 浅田 和之(東北大学電気通信研究所, E-mail: asada*riec.tohoku.ac.jp )
参加登録・講演申し込み
参加登録・講演申し込み
講演申し込みをされる場合は,参加登録は不要です.
(両方登録されても問題はありません.)
発表時間は質疑込み40分の予定です.
懇親会を 8月 21日(水)の夜に行います.
プログラム
プログラム
TBA
過去のSLACS
過去のSLACS