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
Location
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.
Registration
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.
Accommodation
We would like to ask participants to book their own accommodation, for example via heidelberg.de. 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.
Program
Friday
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
Saturday
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
E-Mail: logic@math.uni-heidelberg.de
