Abstract Booklet

An abstract booklet will be distributed to the participants at the conference, it is also available here for download.

Timetable

Sun, 24 June Mon, 25 June Tue, 26 June Wed, 27 June
900 A Constructive View of Continuity Principles
Robert S. Lubarsky		 Effective dimension in Euclidean space
Elvira Mayordomo		 900 Proofs, computations and analysis
Helmut Schwichtenberg
910 910
920 920
930 930
940 940
950 discussion discussion 950 discussion
1000 Locating Ax, where A is a subspace of B(H)
Douglas Bridges		 A Hierarchy of the Retraceable Computable Curves
David Abdul-Malak, Megan Gillespie and Xizhong Zheng		 1000 Domain-represented spaces inside equilogical spaces
Matthias Schroeder
1010 1010
1020 1020
1030 COFFEE
BREAK		 COFFEE
BREAK		 1030 Computably Categorical Spaces
Alexander Melnikov
1040 1040
1050 1050
1100 Computing Real Functions with Rudimentary Operators
Ivan Georgiev		 Dimension Spectra of Random Subfractals of Self-Similar Fractals
Xiaoyang Gu, Jack H. Lutz, Elvira Mayordomo and Philippe Moser		 1100 COFFEE
BREAK
1110 1110
1120 1120
1130 A Testable Abstract Data Type of Outer and Inner Real Approximations
Michal Konecny		 Hyperbolic systems with non-computable basins of attraction
Daniel Graca and Ning Zhong		 1130 Computable Topology
Vasco Brattla
1140 1140
1150 1150
1200 A Strong Turing Reduction for Additive BSS RAM's
Christine Gaßner		 Computability of semi-computable compact manifolds
Zvonko Iljazovic		 1200
1210 1210
1220 1220 discussion
1230 LUNCH LUNCH 1230 Closing
1240 1240
1300 1300
1320 1320
1330 Computational Complexity of Ordinary Di erential Equations
Akitoshi Kawamura		 Computable Probability Theory and Stochastic Processes
Pieter Collins		 1330
1340 1340
Registration 1400 Excursion to Grantchester 1400
1410 1410
Opening 1420 discussion 1420
Overcoming Intractible Complexity
Lawrence C. Paulson		 1430 Uniform Polytime Computable Operators on Univariate Real Analytic Functions
Akitoshi Kawamura, Norbert Müller, Carsten Rösnick and Martin Ziegler		 1430
1440 1440
1450 1450
1500 Computing a Solution of Feigenbaum's Functional Equation in Polynomial Time
Peter Hertling and Christoph Spandl		 1500
1510 1510
discussion 1520 1520
COFFEE
BREAK		 1530 COFFEE
BREAK		 1530
1540 1540
1550 1550
Compactness and separation for represented spaces
Arno Pauly		 1600 Almost Everywhere theorems and computable analysis
Andre Nies		 1600
1610 1610
1620 1620
Weak L1-computability and Limit L1-computability
Kenshi Miyabe		 1630 1630
1640 1640
1650 discussion 1650
Conservatively Approximable Functions and Effectively Closed Sets
Douglas Cenzer and Sebastian Wyman		 1700 Computability of Probability Distributions and Characteristic Functions
Takakazu Mori, Yoshiki Tsujii and Mariko Yasugi		 1700
1710 1710
1720 1720
1730 1730
1740 1740
1750 1750
1800 1800
1810 1810
1820 1820
1830 1830
1840 1840
1850 1850
1900 Conference Banquet 1900
1910 1910
1920 1920
1930 1930
1940 1940
1950 1950
2000 2000
2010 2010
2020 2020
2030 2030
2040 2040
2050 2050
2100 2100


Venue

The conference takes place in the William Gates Building. Google Maps not only shows the location, but also provides directions including local bus connections.

Excursion to Grantchester

For about a century, Cambridge students and visitors alike have enjoyed punting on the Cam - you will be able to experience it for yourself during our excursion to Grantchester. Four boats will collect us from here (green arrow) at 2:20pm. After a journey of about 90 minutes through the nature reserve at the upper Cam we arrive in Grantchester. The famous Orchard Tea room has served many illustrious guest before, such as Bertrand Russell and Virgiana Wolff, and will hopefully satisfy your wishes for afternoon tea as well (on the delegates own expenses). After that, we can leisurely walk back to Cambridge (this should take no longer than an hour). Shared taxis provide a very affordable return options.

Accommodation at Fitzwilliam College

A small number of rooms in Fitzwilliam College was made available to participants for £55 per night. Each room has its own shower, but toilet facilities are shared. From Fitzwilliam College the William Gates Building, where the conference is held, can easily be reached on foot in about 15min. If you have booked a room at Fitzwilliam, you can check in at their Porter's Lodge any time on Sunday.

Other accommodation options

Various bed & breakfasts and hotels offer accommodation in Cambridge. The colleges offer spare rooms here. The Cambridge Youth Hostel is rather far away from the conference venue, but offers cheap accommodation (if you rent a bike, the distance can be covered in about 25min). The week of the conference is a very busy time in Cambridge, and we strongly advise to secure accommodation early!

Further Information

For further information, please contact