[logic-ml] **講演希望の方もお早めに** SLACS & ALGI 共催イベントのお知らせ （9/24-26)

[Ichiro Hasuo]

みなさま，

蓮尾です．ALGI + SLACS = SLAGICS 2013
のお知らせを再送します．

すみません，日程を確定させる必要上，講演希望の方も
早め（できれば今週中，8/16 金曜日まで）に参加申し込み
をお願いいたします．
https://sites.google.com/site/slagics2013/registration

それでは，京都でお会いしましょう！
蓮尾 一郎


==============================
(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, a room
   at the RIMS accommodation, and/or a talk slot (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/