概要
SLACS（記号論理と情報科学研究集会）は，1985年から毎年1回開催されてきた，記号論理学（Symbolic Logic）と計算機科学（Computer Science）の研究者の相互交流（and）を目的とした研究集会です。進行中の研究も含めて，自由な雰囲気の中で議論しています。詳しくは，下記のリンクをご覧ください。
2007年の開催場所と日程
2007年は慶應大学の日吉キャンパスで，9/18（火）と 9/19（水）の2日間開催されました。参加された方々に感謝します。
プログラム
プログラムは，以下をご覧ください。
向井国昭先生の講演で使われたデモは，以下のページにあります。
懇親会
9/18（火）の夜に来往舎1Fにあるファカルティラウンジで懇親会を開きました。会費が6,700円余りましたので，来年度に繰り越しさせて頂きます。
周辺案内
いまさらですが，宿泊情報などを載せた周辺案内のページをつくってみました。
|