[logic-ml] SLACS & ALGI 共催イベントのお知らせ （9/24-26)

[Ichiro Hasuo]

みなさま，

下のお知らせ，再送させてください．アップデートですが：

 - ウェブページを更新しました．参加者・講演者，スケジュール
   （仮）が見えます．https://sites.google.com/site/slagics2013/

 - 参加申込，まだまだ受付中です（9/13 まで）．
   講演スロットもまだまだありますので，講演希望の方もぜひどうぞ！
   暫定プログラムが
    https://docs.google.com/spreadsheet/ccc?key=0AnyEiro37woZdEo3MkY1c1pUYjFlekZjNlllNVhnSUE#gid=0
   ですが，3日間朝から夕方までやるき満々です．

 - 旅費補助・数研宿舎の申込は締切りました．

どうかよろしくお願いいたします！

SLAGICS organizers:
星野 直彦，蓮尾 一郎


2013/6/3 Ichiro Hasuo <ichiro at is.s.u-tokyo.ac.jp>:
> (English below)
>
> みなさま，（何人かの方々には bcc で失礼します）
>
> こんにちは！ 東京大学の蓮尾です．
>
> 京都大学数理解析研究所で行うワークショップ
>
>  SLAGICS 2013: ALGI and SLACS join forces
>  京都大学数理解析研究所 RIMS研究集会
>  2013/9/24（火） -- 2013/9/26（木）
>  https://sites.google.com/site/slagics2013/
>
> へのお誘いです．
>
> === 背景 ==============================
==
> 毎年行われている研究集会
>
>   ALGI (Algebra, Logic and Geometry in Informatics)
>   代数, 論理, 幾何と情報科学 研究集会
>   http://sakura.math.kyushu-u.ac.jp/algi/
>
> と
>
>   SLACS (Symbolic Logic and Computer Science)
>   記号論理と情報科学 研究集会
>   http://www.math.s.chiba-u.ac.jp/SLACS/
>
> は両方共スコープが広く，共通部分も大きいと考え，ALGI 幹事の星野直
> 彦さんと SLACS 幹事の蓮尾が相談し，今年は京都大学数理解析研究所の
> 研究集会として共催をすることにしました．
> （応募に際してご協力いただいた皆さま，どうもありがとうございました．
> 無事採択されました）
>
> 3日間の日程をなんとなく ALGI day と SLACS day に色分けします．が，
> 特に2日目は相互乗り入れデーとして，東京大学の塚田武志さんによる共
> 同チュートリアルなどを通して，2つのコミュニティの協働関係を築く場
> にできればと考えております．
>
> === プログラム ================================
>
> 9/24 は SLACS day
> 9/25 は 相互乗り入れ day
> 9/26 は ALGI day
>
> とします（なんとなく）．9/25 には，東京大学の塚田武志さん
> http://www.kb.is.s.u-tokyo.ac.jp/~tsukada/
> によるゲーム意味論のチュートリアルを予定しています．
> 懇親会は 9/24 です．
>
> 9/24 の午前から 9/26 の午後まで3日間フルの日程を考えていますが，講
> 演の数によっては短縮の可能性があります．
>
> === 旅費の補助・宿泊 ================================
>
> 京都大学数理解析研究所から旅費の補助があります．また，数理解析研究所附属の
> 宿泊施設（北白川学舎）が使えます（部屋数僅少）．くわしくは
> https://sites.google.com/site/slagics2013/practical
> をごらんください．
>
> === 参加登録 ================================
> https://sites.google.com/site/slagics2013/registration
> からお願いします．
>
> 参加登録の締切は，
>
>  - 旅費希望または北白川学舎宿泊希望のかたは，
>    *** 2013/8/16 （金）***
>    （ただし基本的に早い者勝ちなので，早めがおすすめです）
>  - それ以外の方は *** 2013/9/13 （金）***
>
> とさせてください．
>
>
> ぜひ参加をご検討ください．ご不明な点は遠慮無くお問い合せくださいね．
> それでは！
>
> SLAGICS 2013 オーガナイザー
>
> 星野 直彦
> 京都大学数理解析研究所
> http://www.kurims.kyoto-u.ac.jp/~naophiko/
>
> 蓮尾 一郎
> 東京大学コンピュータ科学専攻
> http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/
>
>
>
> ========================================================
>
>  SLAGICS 2013: ALGI and SLACS join forces
>  RIMS, Kyoto University
>  2013/9/24 (Tue) -- 2013/9/26 (Thu)
>  https://sites.google.com/site/slagics2013/
>
>
> ALGI and SLACS are two series of workshops in Japan whose
> interests range widely from formal logic and semantics to
> algebraic geometric, and categorical methods, with emphases on
> computer science. This year the two series join forces and
> hold a joint workshop in Kyoto.
>
> Though many talks will be in Japanese, your contributed talks
> in English are most welcome and appreciated. See
>
>   https://sites.google.com/site/slagics2013/practical-in-english
>
> for some practical information. (There will be travel support by
> courtesy of RIMS, Kyoto University). The registration deadlines are:
>
>  - *** Fri 16 Aug *** if you'd like travel support or a room
>    at the RIMS accommodation (but do it ASAP since these are
>    first come, first served);
>  - *** Fri 13 Sep *** otherwise.
>
> Looking forward to seeing you in Kyoto!
>
> Best regards,
>
> SLAGICS 2013 Organizers:
> Naohiko Hoshino
> RIMS, Kyoto U.
> http://www.kurims.kyoto-u.ac.jp/~naophiko/
>
> Ichiro Hasuo
> Dept. CS, U. Tokyo
> http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/