[logic-ml] Call for Contribution and Participation: RIMS Workshop "ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics"

[Ichiro Hasuo]

(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