Meeting
Computability and the BSS model
8 - 12 August 2016 in Kloster (Hiddensee)
Monday, August 8, 2016
6.30 pm
Welcome meeting in the restaurant "Zum kleinen Inselblick"
Tuesday, August 9, 2016
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.
Wednesday, August 10, 2016
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
Thursday, August 11, 2016
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
Friday, August 12, 2016
10.00 am
Closing discussion.