[logic-ml] Computability and Complexity in Analysis 2013

[Akitoshi Kawamura]

皆様

東京大学の河村です
お世話になっております

先日御案内させて頂きました
解析における計算理論に関する国際会議（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
> 
> 
>