Computability and the BSS model
8 - 12 August 2016 in Kloster (Hiddensee)
Monday, August 8, 2016
Welcome meeting in the restaurant "Zum kleinen Inselblick"
Tuesday, August 9, 2016
Vasco Brattka (München): Probabilistic computability and randomness in the Weihrauch lattice
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
Wednesday, August 10, 2016
Rupert Hölzl (München): Randomness for computable measures and initial segment complexity
This is joint work with Christopher P. Porter.
Philipp Schlicht (Bonn): Random reals and infinite time Turing machines
This is joint work with Merlin Carl.
The BSS model, BSS RAM's and the input procedure
Randomness and problems in the Weihrauch lattice
Thursday, August 11, 2016
Arno Pauly (Brussels): A topological view on algebraic decision models
This is joint work with Eike Neumann.
Christine Gaßner (Greifswald): BSS RAM's with operators for several measures
André Nies (Auckland): Quantum Turing machines
Connections between computable analysis and randomness
Session on paper writing
Friday, August 12, 2016