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

第28回記号論理と情報科学研究集会 (SLACS 2011) は，奈良女子大学で開催しました．

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

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

開催要項

~~日程に余裕がある限り、直前まで講演を募集しております。~~

開催日：2011年9月12日(月)午後〜 9月13日(火)午後
場所：奈良女子大学G棟G302教室
- 奈良女子大学へは、大阪または京都から近鉄が便利です。近鉄奈良駅から徒歩約5分です。当日は夏期休暇中で南門が閉鎖されているため、正門におまわりください。
  - アクセスマップ
  - キャンパスマップ
懇親会：9月12日夜に懇親会を予定しています．
- およその人数を把握するため、懇親会への参加をご希望の方は、可能でしたら~~9月10日(土)~~9月11日(日)までに slacs2011@mensa.ics.nara-wu.ac.jp 宛にその旨をお知らせください。参加する可能性のある方は「参加する可能性がある」とお知らせください。なお、講演申し込みと同じメールアドレスを共用していますので、Subjectフィールドで区別できるようにしていただくと、助かります。
- 一般5000円程度、学生割引ありで調整中です。
参加費，参加申込はともに不要です．（懇親会につきましては費用を御負担いただきます．）

~~講演を希望される方は、~~

などの情報を

slacs2011@mensa.ics.nara-wu.ac.jp

~~までお知らせください。とりあえず、「講演したいと思っている」程度の不完全情報でも結構です。~~

~~多くの皆さんのご講演・ご参加をお待ちしております。~~ 10件の講演と27名の参加がありました。ありがとうございます。

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

鴨浩靖（奈良女子大学理学部）