| |
|
|
|
|
|
Monday, July 18, 2011
9.30 am (R114, Jahnstr.)
Welcome and introduction
10.00 am (R114, Jahnstr.)
Philipp Schlicht (Bonn): Automata on ordinals and linear orders. Abstract. Slides.
2.00 pm (R114, Jahnstr.)
Carsten Rösnick (Darmstadt): Complexity theory for operators in analysis. Abstract. Slides.
3.00 pm (Walther-Rathenau-Straße 47)
Coffee and discussion
7.00 pm
Dinner
 |
 |
 |
 |
 |
 |
 |
Tuesday, July 19, 2011
9.30 am (R114, Jahnstr.)
Hannes Diener (Siegen): Computable analysis without computability. Abstract. Slides.
11.00 am (R114, Jahnstr.)
Discussion about new projects
2.00 pm (R114, Jahnstr.)
Isabel Schwende (Greifswald): A short review on the history of register machines. Abstract. Slides.
3.30 pm (Walther-Rathenau-Straße 47)
Coffee and discussion
 |
 |
 |
 |
 |
 |
9.30 am (R114, Jahnstr.)
Arno Pauly (Cambridge): Non-determinism in TTE. Abstract.
11.00 am (R114, Jahnstr.)
Paul Grieger (Greifswald): On algebraic decision trees and the generic path method. Abstract.
1.00 pm
Excursion to Peenemünde (Usedom).
 |
 |
 |
 |
 |
 |
9.30 am (R114, Jahnstr.)
Peter Scheiblechner (Bonn): On lower bounds for algebraic decision trees. Abstract.
11.00 am (R114, Jahnstr.)
Discussion about the linear BSS model
2.00 pm (R114, Jahnstr.)
Martin Ziegler (Darmstadt): Computational complexity of quantum satisfiability. Abstract. Slides.
3.30 pm (Walther-Rathenau-Straße 47)
Coffee and discussion
 |
 |
 |
 |
 |
9.30 am (R114, Jahnstr.)
Christine Gaßner (Greifswald): Comparison of models of computation over the reals. Abstract. Slides.
11.00 am (Walther-Rathenau-Straße 47)
Coffee and closing discussions
 |
 |
 |
 |
 |
