Degrees and Randomness

A meeting in honor of Klaus Ambos-Spies

on the occasion of his 60th birthday

held at the University of Heidelberg

on Friday 3 February and Saturday 4 February, 2012



Confirmed Invited Speakers

Peter A. Fejer, Boston
Paul Fischer, Lyngby
Steffen Lempp, Madison
Manuel Lerman, Storrs
André Nies, Auckland
Richard A. Shore, Ithaca
Theodore A. Slaman, Berkeley
Frank Stephan, Singapore



The meeting will be held on the main campus in Neuenheimer Feld in the building of the  Mathematical Institute (Mathematisches Institut, Im Neuenheimer Feld 288).

The meeting will start on Friday at 2:00 p.m. and will end on Saturday at 4:00 p.m. The talks on Friday will be followed by a reception in the Foyer of the Mathematical Institute.

The social dinner on Friday night at 7 pm will take place in "Haus Buhl"  in the old town of Heidelberg (Hauptstrasse 234).


General Map                        Map of Campus                            Map of Haus Buhl

Public Transportation


How to reach the campus by public transportation:

In order to reach the campus and the talks, exit at bus stop "Bunsengymnasium", which is served by Bus 31 and by Trams 21 and 24. Use Bus 31 to go from Universitätsplatz or Bismarckplatz to the campus (direction "Neuenheim Chirurgische Klinik'') and back (direction "Universitätsplatz''). Use the trams to go from the main station to the campus (use direction "Handschuhsheim Hans-Thoma-Platz''  for Tram 21 and "Handschuhsheim Burgstrasse'' for Tram 24).

How to reach Haus Buhl by public transportation:

From the Mathematical Institute, go to bus stop Bunsengymnasium and take Bus 31 to Universitätsplatz. From Bismarckplatz, either use again Bus 31 or take Bus 35 to bus stop "Hackteufel'' (direction "Neckargemünd''), which is pretty close to Haus Buhl.



Please register by sending e-mail to Felicitas Hirsch. Please send your contact data, arrival and departure date and state whether you want to join the social dinner on Friday night. For the social dinner please register by 25 January, 2012.

The costs for the dinner are 40 Euro, payable in cash on arrival. Registration and the reception on Friday are free.


We would like to ask participants to book their own accommodation, for example via Most invited speakers will stay in the NH Hotel in Bergheimer Str. 91. In case you need advice or other assistance with your booking, please contact the local organizers.




02:00 p.m   Opening

02:15 p.m   Richard A. Shore: Biinterpretability up to double jump

03:00 p.m.  Coffee Break

03:30 p.m.  Manuel Lerman: Klaus Ambos-Spies' work, pre-1981

04:15 p.m.  Paul Fischer: Lattices and lettuces

05:00 p.m.  Reception

07:00 p.m.  Dinner


10:00 a.m.  Peter A. Fejer: Degree theory and its history

10:45 a.m.  Coffee Break

11.15 a.m.  André Nies: Coding with first-order formulas

12:00 a.m.  Frank Stephan: Open problems in inductive inference

12:45 p.m.  Sandwich Lunch

02:15 p.m.  Steffen Lempp: Decidability of AE-theories and lattice embeddings

03:00 p.m.  Theodore A. Slaman: Low-for-speed


Organizing committee

Wolfgang Merkle
Felicitas Hirsch
Thorsten Kräling

Lehrstuhl für Mathematische Logik und Theoretische Informatik
Institut für Informatik der Universität Heidelberg
Im Neuenheimer Feld 294
D-69120 Heidelberg



Responsible: Email
Latest Revision: 2012-02-01
zum Seitenanfang/up