[logic-ml] *DL Approaching* RIMS Workshop "ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics"

[Ichiro Hasuo]

みなさま，

以前お知らせした京大数理研の研究集会のご案内ですが（下です），
旅費補助，数理研宿舎，講演，懇親会の申込みの締切りが

 *** 5/1 日曜日 ***

です．また，

 - ちょうど親鸞750回忌と重なって，京都市内のホテルが大混雑です．
 - 数理研の宿舎「北白川学舎」，残室5室です！

という都合もありますので，登録・宿舎の手配，どうか早めにお願いいたします．

京都でお会いできるのを楽しみにしていますね．それでは！
運営：照井 一成，佐藤 哲也，蓮尾 一郎


---------- Forwarded message ----------
From: Ichiro Hasuo <ichiro at kurims.kyoto-u.ac.jp>
Date: 2011/4/5
Subject: Call for Contribution and Participation: RIMS Workshop "ACAN:
Algebraic and Coalgebraic Approaches to Non-Classical Logics"
To: logic-ml <logic-ml at sato.kuis.kyoto-u.ac.jp>, sonoteno
<sonoteno at m.aist.go.jp>, sigemb-info <sigemb-info at ertl.jp>,
jssst-ppl at kb.ecei.tohoku.ac.jp


(English version below)

みなさま，（何人かの方々には bcc で失礼します）

こんにちは！ 東京大学コンピュータ科学専攻の蓮尾です．
京都大学数理解析研究所で行うワークショップ

 ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics
 RIMS Workshop, Mon 16 - Wed 18 May 2011
 https://sites.google.com/site/acanws/

へのお誘いです．

現在（3月から5月まで），アムステルダム大学 ILLC の Yde Venema さんが客
員教授として京大数理研に滞在されています．Yde さんは様相論理の教科書
(Blackburn-de Rijke-Venema)などで高名な論理学者で，近年は特に余代数的様
相論理 coalgebraic modal logic の分野で活躍なさっています．
http://staff.science.uva.nl/~yde/

この機会に，Yde さんのご研究分野である様相論理をはじめとしたさまざまな
非古典論理と，彼の最近のアプローチである代数・余代数・圏論的手法とをコ
アトピックとして，数理研での研究集会を企画しました．まず，講演者として
以下のかたがたに参加いただきます：

  Yde Venema さん，Raul Leal さん (ILLC, University of Amsterdam)
  Jose Gil-Ferez さん， Milan Petrik さん (JAIST)
  佐野勝彦さん，丸山善宏さん （京都大学大学院文学研究科）

さらに，オーガナイザーによるチュートリアル

  Algebraic Approaches to Substructural Logics （照井）
  Coalgebra for Modal Logic(ians)  （蓮尾）

も企画しています．みなさま，ぜひご参加ください！

 - ぜひ講演をご検討ください．非古典論理・代数・余代数の一つでもかすって
 いれば大歓迎です！

 - 国内からの参加者の方には，旅費の補助があります．(予算が限られていま
 す．ごめんなさい)

 - ちょうど親鸞750回忌と重なって，京都市内のホテルが大混雑です．宿泊の
 予約はぜひお早めに．また，数理研の宿泊施設「北白川学舎」の予約も受け
 付けます(部屋数限りあり)．

詳しい情報，参加登録，講演登録については，ウェブサイト

 https://sites.google.com/site/acanws/

をご覧になってください．

京都でお会いするのを楽しみにしております．それでは！

運営：照井 一成，佐藤 哲也，蓮尾 一郎

=================================================

Dear all,

This is Ichiro Hasuo at Dept. CS, Univ. Tokyo. This is an invitation
to the workshop

 ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics
 Mon 16 - Wed 18 May 2011
 RIMS, Kyoto University
 https://sites.google.com/site/acanws/

This workshop is organized on the occasion of the visit of
Prof.Dr. Yde Venema, a modal logician from ILLC, University of
Amsterdam, as a visiting professor at RIMS, Kyoto University. It will
feature Yde's talk and talks by

 * Jose Gil-Ferez (JAIST)
 * Raul Leal (ILLC, University of Amsterdam)
 * Yoshihiro Maruyama (Grad. School of Letters, Kyoto University)
 * Milan Petrik (JAIST)
 * Katsuhiko Sano (Grad. School of Letters, Kyoto University)

as well as tutorial talks by two organizers:

 * Kazushige Terui on algebraic approaches to substructural logics
 * Ichiro Hasuo on coalgebra for modal logic(ians)

We solicit your participation (and your contributed talk if possible).
Some organizational matters:

 - We will financially support your trip, if it is from inside Japan
 and within our budget

 - The hotel rooms in Kyoto will be tight due to a big Buddhism event.
 So book in advance! Some rooms at the RIMS accommodation are
 available, too.

Visit the website

 https://sites.google.com/site/acanws/

for more info and registration.

Looking forward to seeing you in Kyoto!

Best regards,

Organization Committee:
Kazushige Terui
Tetsuya Sato
Ichiro Hasuo