[logic-ml] CCA 2015 と併設ワークショップの御案内

[Akitoshi Kawamura]

皆様

計算可能解析学の国際会議
　　Twelfth International Conference on Computability and Complexity in Analysis (CCA 2015)
　　平成27年7月12～15日　明治大学駿河台キャンパス（東京都千代田区）
　　http://cca-net.de/cca2015/
の参加登録を受付けておりますので御案内申し上げます。
http://www.graco.c.u-tokyo.ac.jp/~kawamura/cca2015-local/
こちらのページより御登録下さい（参加費12000円（懇親会ナシの場合2000円）は当日受付にてお支払い下さい）。
早期・晩期の参加費の違いは設けておりませんが、準備の都合上なるべく早めに登録頂けますと幸いです。
特に懇親会参加の場合は今月中の御登録をお願い致します。

初日である7月12日（日）には
　　日独ワークショップ「実数計算の理論と実際」
を開催します。こちらは計算理論と数値計算の協働的発展を目指し、双方の専門家が
基礎から最近の話題まで紹介するワークショップで、この日だけなら参加無料・申込不要です。

詳しくは上記ウェブページを御覧下さい。皆様の御参加をお待ち申し上げます。

-- 
河村彰星
東京大学大学院総合文化研究科広域科学専攻広域システム科学系


2015-02-03 11:39 GMT+09:00 Hajime Ishihara <ishihara at jaist.ac.jp>:
> First Call for Papers:
>
> Twelfth International Conference on
>
>       Computability and Complexity in Analysis (CCA 2015)
>       http://cca-net.de/cca2015/
>
> July 12-15, 2015, Tokyo, JAPAN
>
> ______________________________________________________________
>
>
> Scientific Program Committee
>
>      * Andrej Bauer (Ljubljana, Slovenia)
>      * Stephen A. Cook (Toronto, Canada)
>      * Guido Gherardi (Munich, Germany)
>      * Daniel Graça (Faro, Portugal)
>      * Hajime Ishihara (Ishikawa, Japan)
>      * Ker-I Ko (Hsinchu, Taiwan)
>      * Timothy McNicholl (Ames, USA)
>      * André Nies (Auckland, New Zealand)
>      * Mariko Yasugi (Kyoto, Japan)
>      * Martin Ziegler, chair (Darmstadt, Germany)
>
>
> Organizing Committee
>
>     * Naohi Eguchi (Chiba University, Japan)
>     * Kojiro Higuchi (Chiba University, Japan)
>     * Akitoshi Kawamura, chair (University of Tokyo, Japan)
>     * Kenshi Miyabe (Meiji University, Japan)
>     * Ryuhei Mori (Tokyo Institute of Technology, Japan)
>     * Hideki Tsuiki (Kyoto University, Japan)
>
>
> Submissions
>
>      Authors are invited to submit 1-2 pages abstracts in PDF format
>      by March 31st via https://easychair.org/conferences/?conf=cca2015
>
>
> Conference Web Page
>
>      http://cca-net.de/cca2015/
>
>
>
> _______________________________________________
> Kisoron-ml mailing list
> Kisoron-ml at fos.kuis.kyoto-u.ac.jp
> http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/kisoron-ml