Fourth Workshop on

Sunday September 17 

Opening 

Ning Zhong Turing Computability of the Schrödinger Propagator 

Abbas Edalat and André Lieutier Domain of Differentiable Functions 

Break 

Keye Martin Complexity and Verification of a Renee Equation 

Matthias Schröder Admissible Representations of Limit Spaces 

Break 

Yoshiki Tsujii, Mariko Yasugi and Takakazu Mori Some Properties of the Effectively Uniform Topological Space 

Armin Hemmerling Standard Representations of Effective Metric Spaces 

Break 

Dinner 

Monday September 18 

Ulrich Kohlenbach On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems 

Dmitry Buy Some Remarks about Fixpoint Theorems 

Izumi Takeuti Effective Fixed Point Theorem Over a NonSeparable Space 

Break 

Martin Ziegler and Vasco Brattka A Computable Spectral Theorem 

Tobias Gärtner and Günter Hotz Recursive Analytic Functions of a Complex Variable 

Break 

Abbas Edalat, Elham Kashefi and André Lieutier The Convex Hull is Computable! 

Marko Krznaric Computing a Required Abolute Precision from an Exact Floating Point Number 

Lunch break 

Namhyun Hur and James H. Davenport A Generic Root Operation for Exact Real Arithmetic 

Tom Kelsey Exact Numerical Computation via Symbolic Computation 

Break 

Norbert Th. Müller The iRRAM: Exact Arithmetic in C++ 

Paul Gowland and David Lester A Survey on Exact Computer Arithmetic 

Break 

Competition 

Break 

Dinner 

Tuesday September 19 

Jens Blanck Effectivity of Regular Spaces 

Hiroyasu Kamo Effective Contraction Theorem and its Application 

Charles Meyssonnier, Paolo Boldi and Sebastiano Vigna deltaapproximable Functions 

Break 

Daniel Richardson The Uniformity Conjecture 

Klaus Weihrauch On Computable Metric Spaces TietzeUrysohn Extension is Computable 

Break 

Takakazu Mori Computabilities of Functions on Effectively Separable Metric Spaces 

Forum 

Lunch break 

Peter Hertling BanachMazur Computable Functions on Metric Spaces 

George Kapoulas Polynomially Time Computable Functions over padic Fields 

Break 

Hideki Tsuiki Computational Dimension of Topological Spaces Based on Embeddings to nbottomSequence Spaces 

Margarita V. Korovina and Oleg V. Kudinov A Formalisation of Computability of Operators and RealValued Functionals via Domain Theory 

Break 

Ashley Burrows and David Lester Exact Arithmetic and the Kortewegde Vries Equation 

Vasco Brattka A Computable Kolmogorov Superposition Theorem 

End of CCA2000 
Jens Blanck, Vasco Brattka, and Peter Hertling (Eds.)
Computability and Complexity in Analysis
4th International Workshop, CCA 2000, Swansea, UK, September 1719, 2000, Selected Papers
SpringerVerlag Berlin Heidelberg New York, 2001 
If you arrive by car on the M4 you should leave at Junction 42 for
Swansea and Gower. Continue to head for Gower until the signs for the
university appears on the right hand side.
Here you can find a
map of Swansea.
Here is a
map of the campus.
The on campus accommodation is in building 20.
There should be porters
there to give you keys to your room.
Start  Introduction  Members  Events  Links 
© 19972000 Vasco Brattka, FernUniversität Hagen 