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)
Martn 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 Schrder (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