| |
|
|
|
|
|
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
 |
 |
 |
 |
 |
 |
 |
9.30 am (R114, Jahnstr.)
Christine Gaßner (Greifswald): Analytically computable functions. Abstract.
1.45 pm
Excursion to the island Usedom
 |
 |
 |
 |
 |
 |
 |
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. Slides.
2.00 pm (Walther-Rathenau-Straße 47)
Coffee and discussion about analytic machines
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