第20回 「記号論理学と情報科学」(SLACS 2003)

2003年9月11日(木) 〜 9月12日(金)

東京大学 工学部 (本郷キャンパス 工学部2号館 3階 26講義室) (地図)

* SLACS 2003 プログラム
2003年度のSLACSは9月11, 12日に行なわれ、盛会のうちに終了しました。 来年度は愛知学院大学の久馬栄道先生を幹事として行なわれる予定です。