Logic List Mailing Archive

CCA 2005 (Computability and Complexity in Analysis). Kyoto, Japan, August 2005.

________________________________________________________________

   Call for Participation
________________________________________________________________

   C C A   2 0 0 5

   Second International Conference on
   Computability and Complexity in Analysis

   August 25-29, 2005, Kyoto, Japan

   25-26: Satellite seminars
   27-29: Main conference

   http://cca-net.de/cca2005

________________________________________________________________

   Program

   The program can be found on the webpage of the conference:
      http://cca-net.de/cca2005/cca2005-program.pdf


   Registration

   If you wish to participate in the main conference,
   please register until
      August 2, 2005,
   via
      http://www.i.h.kyoto-u.ac.jp/cca2005/
   No registration is required for visiting the satellite
   seminars.


   Invited talks

   1. Vasco Brattka (Cape Town, South Africa)
      Some Aspects of Computable Functional Analysis
   2. Masami Hagiya (Tokyo, Japan)
      Molecular Computing and Real Number Computing
   3. Daisuke Takahashi (Waseda, Japan)
      Low Temperature Limit of Equations - Hidden Discrete Structure


   Contributed talks

   1.  Yohji Akama and Shinji Iizuka
       Real Number Representations of Graph-Directed IFS Attractors
   2.  Andrej Bauer and Paul Taylor
       The Dedekind Reals in Abstract Stone Duality
   3.  Douglas Bridges, Robin Havea, and Peter Schuster:
       Ideals in Constructive Banach Algebra Theory
   4.  Douglas Bridges and Luminita Vita
       An Extension Theorem for Ultraweakly Continuous Linear
Functionals on B(X,Y)
   5.  Douglas Bridges and Luminita Vita
       Proximal onnectedness
   6.  Santiago Figueira, Frank Stephan, and Guohua Wu:
       Randomness and Universal Machines
   7.  Tanja Grubba and Klaus Weihrauch
       A Computable Version of Dini's Theorem for Topological Spaces
   8.  Peter Hertling
       A Sequentially Computable Function that is not Effectively
Continuous at any Point
   9.  Hiroyasu Kamo
       Computability and Computable Uniqueness of Urysohn's Universal
Metric Space
   10. Tien D. Kieu
       Mathematical Computability Questions for some Classes
       of Linear and Non-Linear Differential Equations Originated
       from Hilbert's Tenth Problem
   11. Branimir Lambov
       RealLib: an Efficient Implementation of Exact Real Arithmetic
   12. Takakazu Mori, Yoshiki Tsujii, and Mariko Yasugi
       Fine Computable Functions and Effective Fine Convergence
   13. Robert Rettinger and Xizhong Zheng:
       A Hierarchy of Turing Degrees for Divergence Bounded Computable
Real Numbers
   14. Matthias Schr?der and Alex Simpson
       Representing Probability Measures using Probabilistic Processes
   15. Paul Taylor
       A Lambda Calculus for Real Analysis
   16. Klaus Weihrauch
       Multi-Functions on Multi-Represented Sets are Closed under
Flowchart Programming
   17. Mariko Yasugi, Takakazu Mori, and Yoshiki Tsujii
       Effective Sequence of Uniformities and its Effective Limit
   18. Satoru Yoshida
       Generalized Functions with Pseudobounded Support in Constructive
Mathematics
   19. Fuxiang Yu, Arthur Chou, and Ker-I Ko
       On the Complexity of Finding Circumscribed Rectangles for a
Two-Dimensional Domain
   20. Martin Ziegler
       Effectively Open Real Functions


   Satellite Seminars:

   Before the main conference there will be satellite seminars
   that will consist of introductory lectures to CCA and
   related areas:

   1. Andrej Bauer
      Realizability as Connection between Constructive and Computable
Mathematics
   2. Mart?n Escard?
      Compactness in Topology and Computation
   3. Peter Hertling
      Computable Analysis via Representations
   4. Norbert M?ller
      Implementing Exact Real Numbers Efficiently
   5. Hideyuki Suzuki
      Computation in Neural Systems
   6. Mariko Yasugi, Atsushi Yoshikawa
      Computable Versions of Basic Theorems in Functional Analysis


   Scientific Program Committee:

   Vasco Brattka          (Cape Town, South Africa)
   Peter Hertling, chair  (Munich, Germany)
   Hajime Ishihara        (Ishikawa, Japan)
   Iraj Kalantari         (Macomb, USA)
   Ker-I Ko               (Stony Brook, USA)
   Vladik Kreinovich      (El Paso, USA)
   Jack H. Lutz           (Ames, USA)
   Joseph S. Miller       (Bloomington, USA)
   Robert Rettinger       (Hagen, Germany)
   Matthias Schr?der      (Edinburgh, Scotland)
   Alex Simpson           (Edinburgh, Scotland)
   Klaus Weihrauch        (Hagen, Germany)
   Atsushi Yoshikawa      (Kyushu, Japan)
   Xizhong Zheng          (Cottbus, Germany)
   Ning Zhong             (Cincinnati, USA)
   Martin Ziegler         (Odense, Denmark)


   Organizing Committee

   Hiroyasu Kamo          (Nara, Japan)
   Takakazu Mori          (Kyoto, Japan)
   Izumi Takeuti          (Toho, Japan)
   Hideki Tsuiki, chair   (Kyoto, Japan)
   Yoshiki Tsujii         (Kyoto, Japan)
   Mariko Yasugi          (Kyoto, Japan)


   Support

   The conference is supported by the Graduate School of Human
   and Environmental Studies, Kyoto University.
________________________________________________________________