Monday, July 9, 2012

9.30 am (R114, Jahnstr.)

Welcome and introduction

10.00 am (R114, Jahnstr.)

Hannes Diener (Siegen): Continuity in constructive mathematics. Abstract.

11.30 am (R114, Jahnstr.)

Christine Gaßner (Greifswald): On the axiom of choice and infinite graphs.Abstract.

6.00 pm

Dinner

Tuesday, July 10, 2012

9.30 am (R114, Jahnstr.)

Hannes Diener (Siegen):Weak König's Lemma in constructive mathematics.

2.00 pm, Colloquium (R114, Jahnstr.)

Dieter Spreen (Siegen): An isomorphism theorem for partial numberings. Abstract.

4.00 pm (in the restaurant of Best Western Hotel)

Coffee and discussion

Wednesday, July 11, 2012

9.30 am (R114, Jahnstr.)

Christine Gaßner (Greifswald): Analytically computable functions. Abstract.

1.45 pm

Excursion to the island Usedom

Thursday, July 12, 2012

9.30 am (Walther-Rathenau-Straße 47)

Discussion about new projects

11.00 am (R114, Jahnstr.)

Isabel Schwende (Greifswald): On the Wang machine and the minimality of instructions of Turing machines.  Abstract. 

2.00 pm (Walther-Rathenau-Straße 47)

Coffee and discussion about analytic machines

Friday, July 13, 2012

9.30 am (R114, Jahnstr.)

Philipp Schlicht (Bonn): Ordinal automatic and tree automatic structures. Abstract.

11.00 am (Walther-Rathenau-Straße 47)

Coffee and discussions about the order of the reals in constructive mathematics