 |
 |
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 Non-Separable 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 delta-approximable Functions |
|
| Break |
|
| Daniel Richardson The Uniformity Conjecture |
|
| Klaus Weihrauch On Computable Metric Spaces Tietze-Urysohn Extension is Computable |
|
| Break |
|
| Takakazu Mori Computabilities of Functions on Effectively Separable Metric Spaces |
|
| Forum |
|
| Lunch break |
|
| Peter Hertling Banach-Mazur Computable Functions on Metric Spaces |
|
| George Kapoulas Polynomially Time Computable Functions over p-adic Fields |
|
| Break |
|
| Hideki Tsuiki Computational Dimension of Topological Spaces Based on Embeddings to n-bottom-Sequence Spaces |
|
| Margarita V. Korovina and Oleg V. Kudinov A Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory |
|
| Break |
|
| Ashley Burrows and David Lester Exact Arithmetic and the Korteweg-de Vries Equation |
|
| Vasco Brattka A Computable Kolmogorov Superposition Theorem |
|
| End of CCA2000 |
Some participants of CCA2000 (picture by Elham Kashefi)
Proceedings
 |
Jens Blanck, Vasco Brattka, and Peter Hertling (Eds.)
Computability and Complexity in Analysis
4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers
Springer-Verlag Berlin Heidelberg New York, 2001 |
Venue
The venue of the workshop is Department of Computer Science, University of Wales Swansea.
How to get there
If you arrive at Heathrow the fastest way is to take the raillink bus to Reading and change to train. Tickets can be bought for the whole trip at the train ticket desks in the terminals. The trains are operated by Great Western. There are also buses operated by National Express leaving from the central bus station. Once in Swansea you should take a taxi to the university.
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.
Finding your way on campus
The conference will take place in building 8.1. The accommodation is in building 20. The lunches and the dinner on Sunday will be served in building 17.
Here is a
map of the campus.
Accommodation
Accomodation is available on campus for 32 pounds per night including breakfast. Bookings need to be made as soon as possible:Mrs Jill Edwards
Department of Computer Science
University of Wales Swansea
Singleton Park
Swansea SA2 8PP
UK
Phone +44 1792 295393
[Email removed]
The on campus accommodation is in building 20.
There should be porters
there to give you keys to your room.
Finding something to eat
There is a pub situated just outside the campus to the southwest. Plenty of restaurants can of course be found in the city of Swansea, which is about 3 km away. The Dylan Thomas Centre, between the museum and Sainsbury's on the city map, serves excellent meals at reasonable prices. The former fishing village of Mumbles is situated 4 km south of campus and has a number of restaurants.Fee
A conference fee of 60 pounds including 2 evening meals and two lunches will apply.| Start | Introduction | Members | Events | Links |
| © 1997-2000 Vasco Brattka, FernUniversität Hagen |