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

[Ichiro Hasuo]

Dear all,

I forgot to mention: there's no deadline for registration, but if
you'd like a talk slot,
travel support and/or a room at the RIMS accommodation, please
register ***by Sun 1 May***.
Thanks!

Best, Ichiro

===========================
みなさま，

すみません．お伝えするのを忘れていました．
参加登録に締切りはありませんが，講演・旅費援助・北白川学舎の部屋の予約
をご希望のかたは，*** 5/1 日曜日 *** までに参加登録をお済ませください．

よろしくお願いいたします．それでは！
蓮尾 一郎


2011/4/5 Ichiro Hasuo <ichiro at kurims.kyoto-u.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
>