SLACS 2009 - 記号論理と情報科学研究集会

第26回記号論理と情報科学研究集会 (SLACS 2009) は，京都大学で開催の予定です．

SLACSは，記号論理学と計算機科学の研究者や学生の相互交流を目的として開催されている研究集会です．

完成された研究のみならず，発展途上の話題も大歓迎です．

SLACS 2009 は，10件の素晴らしいご発表と，（少なくとも）37名のみなさまのご参加により，大変有意義な研究集会となりました．ありがとうございました．

開催日：2009年8月31日(月)午後～ 9月1日(火)午後
場所：京都大学（吉田キャンパス本部構内工学部総合校舎 2階213室）
- Googleマップ（付近のバス停情報もこちら）
- 交通案内
懇親会：8月31日夜に懇親会を予定しています．
- 懇親会への参加をご希望の方は8月28日(金)までに世話人までお名前をお知らせください．
  「参加する可能性がある」などの場合もその旨お知らせいただけますと助かります．
  （確認の返答メールは省略させていただいております．御了承ください．）
- 場所はSLACS会場近く，会費は一般5,000円程度，学生3,500円（固定）を予定しています．
参加費，参加申込はともに不要です．（懇親会につきましては費用を御負担いただきます．）

SLACSの趣旨や過去の情報は，SLACS ホームページをご参照ください．

中澤巧爾（京都大学大学院情報学研究科）