Workshop on
COMPUTABILITY AND MODELS
Heidelberg, Germany, January 18-20, 2001
The workshop which is part of the joint INTAS-RFBR research project
on Computability and Models will be held at the Department of
Mathematics and Computer Science of the Ruprecht-Karls Universitaet
Heidelberg. The subject of the workshop is computability theory
and its applications to logic, mathematics and computer science.
The program will consist of invited talks, contributed talks and
discussions.
| |
|
Program |
The program is available online. The workshop booklet (including program and abstracts) is available for download.
|
| |
|
Program Committee |
K. Ambos-Spies (Heidelberg), M. Arslanov (Kazan),
|
| |
|
Local Organization |
Klaus Ambos-Spies, Edgar Busse, Elke Luksch,
|
|
|
|
Call for Participation |
|
|
|
|
Registration |
Online Registration is available. (recommended)
Alternatively, download the registration form and return it to the organizing committee via fax, email or surface mail. (Address see below.) Plain Text HTML Postscript PDF The deadline for registration is November 10, 2000. |
|
|
|
Site |
Heidelberg is 90 km south of Frankfurt/Main. It can be easily reached from Frankfurt Airport by train (Travel Service of German Rail). The workshop will be held at the Institute of Applied Mathematics (Institut fuer Angewandte Mathematik) of the University of Heidelberg, Im Neuenheimer Feld 294, which is located in the Neuenheimer Feld Campus of the university (map). It can be reached from the Heidelberg train main station by tram (Number 1 (direction "Technologiepark") or number 4 (direction "Handschuhsheim"); stop "Technologiepark"; from there follow the street "Im Neuenheimer Feld", the Institute for Applied Mathematics will be the fourth building on the left hand side of the street after about 500 m) and from the center of the city (Universitaetsplatz or Bismarckplatz) by bus (Number 12 (direction "Sportzentrum Nord"); stop "Paedagogische Hochschule", 200 m from the institute). The lectures will be in the lecture hall HS 134 in the first upper floor of the Institute of Applied Mathematics, the conference office is in Room 016 in the ground floor. |
|
|
|
Accommodation |
You can find a list of hotels and pensions on the web page of the Heidelberg Convention and Visitors Bureau. The prices for a single room (including breakfast) range from DM 90 to DM 330. You can book a room in a given category online or you can book a room at the selected hotel directly by fax. Pensions located in Neuenheim which are in walking distance to the university campus include Pension Astoria, Pension Berger, and Cafe Frisch. An inexpensive alternative to hotels is the Youth Hostel which is in walking distance, too. The price is 29,00 DM per night. There is a very limited number of rooms in the guest houses of the university and some research institutes available too. If you would like the organizing committee to make arrangements for your accommodation, please indicate this on the registration form. |
|
|
|
Address |
Computability and Models
|
| |
|
|
|
Responsible: Jan Reimann
|
|
Last modified: Januray 2, 2001
|