Computability and Reducibility

6 - 11 August 2017 in Kloster (Hiddensee)

Sunday, August 6, 2017

     8.00 pm

          Welcome meeting


Monday, August 7, 2017

     9.30 am

          Karen Seidel: Language learning from a computational viewpoint  (Abstract, Slides)

     10.30 am

          Ulrich Berger: Concurrent program extraction in computable analysis  (Abstract)

     2.30 pm

         Arno Pauly: Welcher Weihrauch-Grad entspricht ATR_0?  (Abstract)

     7.30 pm

          Meeting in the restaurant „Buhne XI“


Tuesday, August 8, 2017

     9.30 am

          Guido Gherardi: Projection operators in computable analysis  (Abstract, Slides)

     10.30 am

          Vasco Brattka: Ein Limit-Kontrollsatz mit Anwendungen  (Abstract, Slides)

     2.30 pm

          Philipp Schlicht: Unendliche Turingmaschinen und erkennbare Mengen  (Abstract, Slides)

     3.30 pm

          Christine Gaßner: Effective descriptions of mathematical objects and the BSS–RAM model  (Abstract, Slides)


Wednesday, August 9, 2017

      9.30 am

          Matthias Schröder: Hybrid representations as a tool for Complexity Theory  (Abstract, Slides)

     10.30 am

          Robert Rettinger: On the definition of computational complexity in analysis  (Abstract)

      2.30 pm

          Florian Steinberg: Complexity in analysis and parameters  (Abstract)


 Thursday, August 10, 2017

      9.30 am

          Xizhong Zheng: On the computability and reducibility of approximable real numbers  (Abstract)

     10.30 am

          Rupert Hölzl: Rank and randomness  (Abstract, Slides)

     2.30 pm

          Discussions: New projects and open problems


Friday, August 11, 2017

     10.00 am

          Closing discussion