Call for Contribution and Participation: RIMS Workshop "ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics"
(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
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@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
logic-ml@fos.kuis.kyoto-u.ac.jp
-
Ichiro Hasuo