08:00-08:30
Registration
Monday, January 31, 2011
08:30-09:00
Opening
09:00-10:00
Theodore A. Slaman: Structures Reflecting Recursion Theoretic Properties (invited)
10:00-10:30
André Nies and Alexander Melnikov: Randomness and K-Triviality in Computable Metric Spaces
10:30-11:00
Coffee Break
11:00-11:30
Kenshi Miyabe: Algorithmic Randomness over General Spaces
11:30-12:00
George Davie and Willem Fouché: Layerwise Computable Properties of Complex Oscillations
12:00-13:00
Mathieu Hoyrup: Computable Analysis and Algorithmic Randomness (invited)
13:00-14:30
Lunch Break
14:30-15:30
Rod Downey: Generic Case Decision Problems
15:30-16:00
Coffee Break
16:00-16:30
Daniil Ryabko and Boris Ryabko: Perfect Steganography and Kolmogorov Complexity
16:30-17:00
Zhanna Reznikova and Boris Ryabko: Using Ideas of Kolmogorov Complexity to Study Behavioural Patterns in Animals
Tuesday, February 1, 2011
09:00-09:30
Laurent Bienvenu: Some Results on Solovay Functions
09:30-10:00
Jan Reimann: The Strength of the Besicovich-Davies Theorem
10:00-10:30
Klaus Weihrauch and Cristóbal Rojas: The Radon-Nikodym Operator is not Computable
10:30-11:00
Coffee Break
11:00-11:30
Arno Pauly and Kojiro Higuchi: The Degree Structure of Weihrauch Reducibility
11:30-12:00
Vasco Brattka, Guido Gherardi and Alberto Marcone: The Bolzano-Weierstraß Theorem is the Jump of Weak König's Lemma
12:00-13:00
Matthias Schröder: The Coincidence Problem in Computable Analysis (invited)
13:00-14:30
Lunch Break
14:30-15:30
Michael Yampolsky (video conference): Thurston Equivalence and Algorithmic Decidability (invited)
15:30-16:00
Coffee Break
16:00-16:30
Martin Ziegler: Relative Computability and Uniform Continuity of Relations
16:30-17:00
Sponsor Presentation - Dimension Data
Wednesday, February 2, 2011
09:00-10:00
Verónica Becher: A Better Complexity of Finite Sequences (invited)
10:00-10:30
Yann Bugeaud: Transcendence of Irrational Automatic Numbers
10:30-11:00
Coffee Break
11:00-11:30
Luke Friedman, Eric Allender and William Gasarch: Limits on the Computational Power of Random Strings
11:30-12:00
Kohtaro Tadaki: A Chaitin Omega Number Based on Compressible Strings
12:00-12:30
Christine Gaßner: A General BSS Model over Arbitrary Structures
12:30-13:00
Vladik Kreinovich: Negative Results of Computable Analysis Disappear If We Restrict Ourselves to Random (Or, More Generally, Typical) Inputs
13:00-14:30
Lunch Break
14:30-15:30
Peter Schuster: Proofs by Induction (invited)
15:30-16:00
Coffee Break
16:00-16:30
Douglas Bridges: Weak-Operator Continuous Linear Functionals
16:30-17:00
Thomas Steinke: Constructive Notions of Compactness in Apartness Spaces
Thursday, February 3, 2011
09:00-10:00
Noam Greenberg: Demuth Randomness and Strong Jump-Traceability (invited)
10:00-10:30
Jason Teutsch, Bjørn Kjos-Hanssen and Frank Stephan: Enumerating Randoms
10:30-11:00
Coffee Break
11:00-11:30
Johanna Franklin and Keng Meng Ng: Strengthening Difference Randomness
11:30-12:00
Marius Zimand: Combinatorial Characterizations of Extractors and Kolmogorov Extractors
12:00-13:00
Wolfgang Merkle: Solovay Functions (invited)
13:00-14:00
Lunch Break
14:00-17:30
Excursion - Stellenbosch
17:30-22:00
Dinner - Zorgvliet Wine Estate
Friday, February 4, 2011
09:00-10:00
Willem Fouché: On Countable Total Orders which are Martin-Löf Random (invited)
10:00-10:30
Safari Mukeru: Group-Theoretic Structure of Zero Sets of Complex Oscillations
10:30-11:00
Coffee Break
11:00-11:30
Kohtaro Tadaki: Properties of Fibers of Optimal Prefix-Free Machines
11:30-12:00
Rupert Hölzl and Wolfgang Merkle: Traceable Sets
12:00-12:30
Takakazu Mori, Yoshiki Tsuji and Mariko Yasugi: Fine Computability of Probability Distribution Functions and Computability of Probability Distributions on the Real Line
12:30-13:00
Robert Rettinger: Compactness and the Effectivity of Uniformization
13:00-14:30
Lunch Break
14:30-15:30
André Nies: Randomness and Computable Analysis: Results and Open Questions (invited)
15:30-16:00
Coffee Break
Saturday, February 5, 2011
11:00-13:30
Post-Conference Tour - Simonstown
13:30-15:00
Boulders - Pinguins
15:00-18:00
Cape Point Nature Reserve
18:00-19:00
Cape of Good Hope
19:00-21:00
Trip back to Waterfront (optional) or Guest House