みなさま，
以前お知らせした京大数理研の研究集会のご案内ですが（下です）， 旅費補助，数理研宿舎，講演，懇親会の申込みの締切りが
*** 5/1 日曜日 ***
です．また，
- ちょうど親鸞750回忌と重なって，京都市内のホテルが大混雑です． - 数理研の宿舎「北白川学舎」，残室5室です！
という都合もありますので，登録・宿舎の手配，どうか早めにお願いいたします．
京都でお会いできるのを楽しみにしていますね．それでは！ 運営：照井 一成，佐藤 哲也，蓮尾 一郎
---------- Forwarded message ---------- From: Ichiro Hasuo [email protected] Date: 2011/4/5 Subject: Call for Contribution and Participation: RIMS Workshop "ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics" To: logic-ml [email protected], sonoteno [email protected], sigemb-info [email protected], [email protected]
(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