みなさま，
下のお知らせ，再送させてください．アップデートですが：
- ウェブページを更新しました．参加者・講演者，スケジュール （仮）が見えます．https://sites.google.com/site/slagics2013/
- 参加申込，まだまだ受付中です（9/13 まで）． 講演スロットもまだまだありますので，講演希望の方もぜひどうぞ！ 暫定プログラムが https://docs.google.com/spreadsheet/ccc?key=0AnyEiro37woZdEo3MkY1c1pUYjFlekZ... ですが，3日間朝から夕方までやるき満々です．
- 旅費補助・数研宿舎の申込は締切りました．
どうかよろしくお願いいたします！
SLAGICS organizers: 星野 直彦，蓮尾 一郎
2013/6/3 Ichiro Hasuo [email protected]:
(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/