Logic List Mailing Archive

2nd CfP: CCA 2010 (Computability and Complexity in Analysis)

21-25 June 2010
Zhenjiang, China

Second Call for Papers

                  CCA 2010 Proceedings

Seventh International Conference on Computability and Complexity
in Analysis (CCA 2010) will take place in Zhenjiang, China,
June 21 - 25, 2010. (http://cca-net.de/cca2010)

The CCA 2010 Program Committee cordially invites researchers in the area
of computability and complexity theory to submit papers for presentation
at the conference.

Topics:
*=09Computable analysis
*=09Complexity on real numbers
*=09Constructive analysis
*=09Domain theory and analysis
*=09Theory of representations
*=09Computable numbers, subsets and functions
*=09Randomness and computable measure theory
*=09Models of computability on real numbers
*=09Realizability theory and analysis
*=09Real number algorithms
*=09Implementation of exact real number arithmetic

Submissions:

Authors are invited to submit a PDF version of an
extended abstract (typically 10-12 pages) on the
following web page:

http://www.easychair.org/conferences/?conf=cca2010

These extended abstracts need to be prepared with
EPTCS style file

http://style.eptcs.org/

Proceedings:

Accepted papers will be published as CCA 2010 proceedings in
Electronic Proceedings in Theoretical Computer Science
(EPTCS).

It is planned to publish a special issue in Logical Methods of
Computer Science (LMCS) dedicated to CCA 2010 after the conference.

Dates:

Submission deadline: March 8, 2010
Notification of authors: April 12, 2010
Final version: May 10, 2010

Invited Speakers:

Klaus Ambos-Spies (Heidelberg, Germany)
Ding-Zhu Du (Dallas, USA)
Stefano Galatolo (Pisa, Italy)
Hajime Ishihara (Ishikawa, Japan)
Ker-I Ko (Beijing, China and Stony Brook, USA)
Robert Rettinger (Hagen, Germany)
Klaus Weihrauch (Hagen, Germany)

Program Committee:

Andrej Bauer (Ljubljana, Slovenia)
Douglas Bridges (Canterbury, New Zealand)
Vasco Brattka (Cape Town, South Africa)
Douglas Cenzer (Gainesville, USA)
Mart�n Escard� (Birmingham, UK)
Peter Gacs (Boston, USA)
Daniel Graca (Faro, Portugal)
Vladik Kreinovich (El Paso, USA)
Angsheng Li (Beijing, China)
Elvira Mayordomo (Zaragoza, Spain)
Mathias Schr�der (Munich, Germany)
Dieter Spreen (Siegen, Germany)
Kaile Su (Beijing, China)
Hideki Tsuiki (Kyoto, Japan)
Xizhong Zheng, co-chair (Glenside, USA)
Ning Zhong, co-chair (Cincinnati, USA)
Martin Ziegler (Darmstadt, Germany)


_______________________________________________
FOM mailing list
FOM@cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/fom