SLACS2012講演者の方々および参加者を考慮されている皆様，
9/15-16に開催されるSLACS2012の参加案内およびプログラムの 9/9 ver.をお送りします。前回との変更点は以下の通りです。
* 司会のことを考慮して9/16の蓮尾一郎さん，丸山善宏さん， Michele Basaldellaさんの順序を変更しました。 もしご都合が悪ければご連絡をよろしくお願いいたします。
* 蓮尾一郎さん，小林聡さん，佐藤雅大の講演時間短縮をなくしました。 既に研究会直前ですので前回のアナウンス通りに 15分以上短縮されても昼食や終了が前倒しになるだけで 大丈夫なようにしてあります。講演予定に合わせてお決め下さい。
* 懇親会の時間を30分繰り上げました。
----------------------------------------------------------
SLACS2012研究会への参加案内
第29回記号論理と情報科学研究集会 (SLACS 2012) は，京都産業大学むすびわ ざ館で開催の予定です．SLACSは，記号論理学とコンピュータ科学の研究者や 学生の相互交流を目的として開催されている研究集会で毎年持ち回りで行われ ています（http://www.math.s.chiba-u.ac.jp/SLACS/%EF%BC%89%E3%80%82%E5%AE%8C%E6%88%90%E... ならず，発展途上の話題やサーベイなども大歓迎です．記号論理以外にも， 圏論やアルゴリズム理論などコンピュータ科学に関わるご講演を広く行われま す。
開催要項
開催日：2011年9月15日（土）13:00 〜 9月16日（日）18:20
場所：京都産業大学むすびわざ館 〒600-8533 京都市下京区中堂寺命婦町1-10 Tel.075-277-1600 Fax.075-277-1699 （京都産業大学神山キャンパスとは異なります） http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/ アクセス：最寄り駅はJR丹波口駅および阪急大宮駅 http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/access.html
研究会参加について申し込みも費用も不要です （懇親会については後述）。 皆様ふるってご参加よろしくお願いいたします。
懇親会は9月15日18:00-20:00に予定しています．
かごの屋五条七本松店 075-326-1165 http://www.kinrei.com/shop/spec/?shop_id=42 http://r.gnavi.co.jp/k539974/ （ぐるなび）
懇親会の参加・不参加についても事前に連絡して頂けると助かります。 （9/15の15:00頃に人数を確定して私が店に連絡致します。 予算3-4千円程度）。
梗概については長くなりますので別のメールでお送り致します。 現在まだ，題目・梗概が未定の方は連絡をよろしくお願い致します。
---- 京都産業大が理学部数理科学科 三好博之 hxm@cc.kyoto-su.ac.jp
----------------------------------------------------------
SLACS2012 プログラム
9/15（土曜日）
13:00-13:30 三角形に関する平面ユークリッド幾何への数式処理の応用 鴨浩靖，萩尾由貴子，溝口涼子（講演者）（奈良女子大学理学部）
13:35-14:05 オラクルの圏論的記述―終対象の一般化として― 吉村和人（JAIST）
14:10-14:40 Rewriting Apploaches to Computational Complexity and Complexity 江口直日（東北大学理学研究科）
14:40-15:00 休憩20分
15:00-15:30 論理CDの補完定理について 河野友亮（東京工業大学情報理工学研究科）
15:35-16:05 様相Lukasiewicz論理の公理化について 岩波克（東京工業大学情報理工学研究科）
14:40-15:00 休憩20分
16:10-16:40 Non-Commutative First-Order Sequent Calculus 龍田真（国立情報学研究所）
16:45-17:15 TLCA未解決問題20番: 遺伝的置換子の型 龍田真（国立情報学研究所）
17:15-17:30 ビジネスミーティング（次回開催について）
18:00-20:00 懇親会
9/16（日曜日）
10:00-11:00 Duality, Quantum Symmetry and Categorical Logic 丸山善宏（Oxford University）
11:10-12:10 Nonstandard Static Analysis: Discrete Verification Methodologies 蓮尾一郎（東京大学情報理工学研究科）
12:10-13:30 昼食
13:30-14:15 An interactive semantics for classical arithmetic (in English) Michele Basaldella (JAIST)
14:15-15:00 On some variants of the Jayne-Rogers THeorem via the 木原貴行(JAIST)
15:05-15:35 ゲーム論的確率論入門 宮部賢志（京都大学数理解析研究所）
15:35-15:55 休憩20分
15:55-16:40 戦略的論理式 松尾亮太（名古屋大学大学院情報科学研究科計算機数理科学専攻）
16:45-17:30 未定 小林聡（京都産業大学コンピュータ理工学部）
17:35-18:35 未定（Coqによる数学について） 佐藤雅大（名古屋大学多元数理科学研究科）
18:35-18:40 次回予定アナウンスおよび挨拶
----