12 Apr
2013
12 Apr
'13
9:15 a.m.
皆様
東京大学の河村です お世話になっております
先日御案内させて頂きました 解析における計算理論に関する国際会議（CCA 2013）は 査読つき論文投稿をこのほど締切りましたが 論文なしの発表を5月20日まで募集致します 御発表を検討頂ければ幸いです
--
河村彰星
東京大学大学院情報理工学系研究科コンピュータ科学専攻
助教（今井研究室）
03-5841-4097
http://www-imai.is.s.u-tokyo.ac.jp/~kawamura/index_j.html
______________________________________________________________
First Call for Informal Presentations
Tenth International Conference on
Computability and Complexity in Analysis (CCA 2013)
http://cca-net.de/cca2013/
July 8-10, 2013, Nancy, France
Submission deadline: May 20, 2013 (Abstracts only!)
______________________________________________________________
Invited Speakers
* Ulrich Berger (Swansea, UK)
* Takayuki Kihara (JAIST, Japan)
* Cristóbal Rojas (Santiago, Chile)
* Daniel Roy (Cambridge, UK)
* Martin Ziegler (Darmstadt, Germany)
Scientific Program Committee
* Andrej Bauer (Ljubljana, Slovenia)
* Arno Pauly (Cambridge, UK)
* Hannes Diener (Siegen, Germany)
* Cameron Freer (MIT, USA)
* Laurent Bienvenu (Paris, France)
* Akitoshi Kawamura (Tokyo, Japan)
* Ker-I Ko, co-chair (Stony Brook, USA)
* Matthias Schröder (Vienna, Austria)
* Robert Rettinger (Hagen, Germany)
* Ning Zhong, co-chair (Cincinnati, USA)
Organizing Committee
* Anne-Lise Charbonnier (Nancy, France)
* Hugo Férée (Nancy, France)
* Emmanuel Hainry (Nancy, France)
* Mathieu Hoyrup, chair (Nancy, France)
* Emmanuel Jeandel (Nancy, France)
* Romain Péchoux (Nancy, France)
Submissions
Authors are invited to submit a PDF abstract (typically
1-2 pages) as "informal presentation" via the following web page:
https://www.easychair.org/conferences/?conf=cca2013
No full papers will be required and informal presentations
can be based on ongoing research.
Dates
Submission deadline for informal presentations: May 20, 2013
Registration deadline: May 20, 2013
Conference Web Page
http://cca-net.de/cca2013/
On H.25/01/06, at 14:15, Akitoshi Kawamura wrote:
> 皆様
>
> 東京大の河村と申します
> お世話になっております
>
> メーリングリストをお借りして
> 七月に仏ナンシーにて開催されます
> 解析学に於る計算可能性と計算量に関する国際会議（CCA 2013）の
> 御案内をさせて頂きます（投稿締切4月1日）
> 御投稿・参加を検討頂ければ幸いです
>
> --
> 河村彰星
> 東京大学大学院情報理工学系研究科コンピュータ科学専攻
> 助教（今井研究室）
> 03-5841-4097
> http://www-imai.is.s.u-tokyo.ac.jp/~kawamura/index_j.html
>
>
>
> First Call for Papers
> http://cca-net.de/cca2013/
>
> The Tenth International Conference on Computability and Complexity in
> Analysis (CCA 2013) will take place in Nancy, France, July 8-11, 2013.
>
> The CCA 2013 Program Committee cordially invites researchers in the
> area of computability and complexity theory to submit papers for
> presentation at the conference.
>
> Topics:
> * Computable analysis
> * Complexity on real numbers
> * Constructive analysis
> * Domain theory and analysis
> * Theory of representations
> * Computable numbers, subsets and functions
> * Randomness and computable measure theory
> * Models of computability on real numbers
> * Realizability theory and analysis
> * Reverse analysis
> * Real number algorithms
> * Implementation of exact real number arithmetic
>
> Submissions:
> Authors are invited to submit a PDF version of an extended abstract
> (typically 10 pages) on the following web page:
> https://www.easychair.org/conferences/?conf=cca2013
>
> Dates:
> Submission deadline: April 1, 2013
> Notification of authors: May 6, 2013
> Registration deadline: May 20, 2013
> Final version: May 27, 2013
>
> Invited Speakers:
> * Ulrich Berger (Swansea, UK)
> * Takayuki Kihara (JAIST, Japan)
> * Cristobal Rojas (Toronto, Canada)
> * Daniel Roy (Cambridge, UK)
> * Martin Ziegler (Darmstadt, Germany)
>
> Program Committee:
> * Andrej Bauer (Ljubljana, Slovenia)
> * Arno Pauly (Cambridge, UK)
> * Hannes Diener (Siegen, Germany)
> * Cameron Freer (MIT, USA)
> * Laurent Bienvenu (Paris, France)
> * Akitoshi Kawamura (Tokyo, Japan)
> * Ker-I Ko (Stony Brook, USA)
> * Matthias Schröder (Vienna, Austria)
> * Robert Rettinger (Hagen, Germany)
> * Ning Zhong (Cincinnati, USA), chair
>
> Local Organizers
> * Anne-Lise Charbonnier
> * Hugo Férée
> * Emmanuel Hainry
> * Mathieu Hoyrup (chair)
> * Emmanuel Jeandel
> * Romain Péchoux
>
>
>