Meeting

OPEN PROBLEMS

6.30 pm

Welcome meeting in the restaurant "Zum kleinen Inselblick"

9.30 am

Vasco Brattka (München): Probabilistic computability and randomness in the Weihrauch lattice
Abstract. Slides.
This talk is based on several joint projects with Guido Gherardi, Matthew Hendtlass, Rupert Hölzl, Alexander Kreuzer and Arno Pauly.

1.00 pm, Colloquium

André Nies (Auckland): Randomness and quantum computation
Abstract. Slides.

9.30 am

Rupert Hölzl (München): Randomness for computable measures and initial segment complexity
Abstract. Slides.
This is joint work with Christopher P. Porter.

10.30 am

Philipp Schlicht (Bonn): Random reals and infinite time Turing machines
Abstract. Slides.
This is joint work with Merlin Carl.

5.00 pm

Discussion
The BSS model, BSS RAM's and the input procedure
Open problems

9.00 pm

Discussion
Randomness and problems in the Weihrauch lattice

9.30 am

Arno Pauly (Brussels): A topological view on algebraic decision models
Abstract. Slides.
This is joint work with Eike Neumann.

10.30 am

Christine Gaßner (Greifswald): BSS RAM's with operators for several measures
Abstract. Slides.

4.00 pm

André Nies (Auckland): Quantum Turing machines
Abstract. Slides.

5.00 pm

Discussion
Connections between computable analysis and randomness
Session on paper writing

10.00 am

Closing discussion.