back (Hompage - Dr. Christine Gaßner)

Meeting
Computability and Logic

July / August 2013 Greifswald



Monday, July 22, 2011

9.30 am (R114, Jahnstr.)

Philipp Schlicht (Bonn): Unendliche Berechnungen aus zufälligen Orakeln. Abstract.

10.45 am (R114, Jahnstr.)

Josef Berger (Greifswald): Das Lemma von Higman und das Lemma von Dickson sind zueinander äquivalent. Abstract. Slides.

1.00 pm

Lunch



Tuesday, July 22, 2013

2.00 pm, Colloquium, R114 (Jahnstr.)

Robert Rettinger (Hagen): Komplexitätstheorie in der Analysis. Abstract.



Wednesday, July 23, 2013

10.00 am (R114, Jahnstr.)

Carsten Rösnick (Darmstadt): On Parameterization in Real Complexity Theory. Abstract. Slides.

1.00 pm

Lunch


Tuesday, August 6, 2013

2.00 pm, Colloquium, R114 (Jahnstr.)

Xizhong Zheng (Nanjing / Glenside): On the Computable Curves. Abstract.



Discussions:

The current state of research in the field of computability
New projects


Excursions:

Hiddensee, Biologische Station (Friday, July 19, 2013)
Usedom (Wednesday, August 7, 2013)