第27回記号論理と情報科学研究集会 (SLACS 2010) は，東北大学で開催の予定です．
SLACSは，記号論理学と計算機科学の研究者や学生の相互交流を目的として開催されている研究集会です．
完成された研究のみならず，発展途上の話題も大歓迎です．
|
第27回記号論理と情報科学研究集会 (SLACS 2010) は，東北大学で開催の予定です． SLACSは，記号論理学と計算機科学の研究者や学生の相互交流を目的として開催されている研究集会です． 完成された研究のみならず，発展途上の話題も大歓迎です． |
SLACSの趣旨や過去の情報は，SLACS ホームページをご参照ください．
菊池 健太郎 （東北大学電気通信研究所）