Workshop on
COMPUTABILITY AND LOGIC
Heidelberg, Germany, June 23-27, 2003
The workshop will be held at the
Internationales Wissenschaftsforum
of the Ruprecht-Karls-Universität 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.
Pictures! |
Lecturers Audience Festkolloquium |
Program |
The program is available online. |
Program Committee |
Klaus Ambos-Spies
(Universität Heidelberg) Steffen Lempp (University of Wisconsin-Madison/Universität Heidelberg) Theodore A. Slaman (University of California-Berkeley/Universität Heidelberg) |
Local Organisation |
Klaus Ambos-Spies, Edgar Busse, Wolfgang Merkle, Nenad Mihailovic
Paolo di Muccio, Jan Reimann, Frank Stephan |
Registration |
Due to space limitations, participation is by invitation.
If you are interested in attending, please email one of the organizers. Online Registration is available and helpful to the organizers. Alternatively, download the registration form and return it to the organizing committee via fax, electronic mail, or surface mail. (See below for the address.) HTML PDF |
| | |
Site |
Heidelberg is 90 km south of Frankfurt/Main. It can be easily reached
by German Rail or
from Frankfurt Airport
by Lufthansa
bus.
The workshop will be held at the Internationales Wissenschaftsforum of the University of Heidelberg, Hauptstraße 242, in the center of old Heidelberg. There is a seperate page with a map of downtown Heidelberg and information on finding your way to the workshop site. |
| | |
Accommodation |
You can find a list of hotels and pensions
on the web page of the
Heidelberg Convention and Visitors Bureau.
If you would like the organizing committee to make arrangements for your accommodation, please indicate this on the registration form. |
| | |
Address |
Computability and Logic Lehrstuhl Mathematische Logik und Theoretische Informatik Institut für Informatik Im Neuenheimer Feld 294 D-69120 Heidelberg Germany PHONE: +49 6221 - 54 8204 FAX: +49 6221 - 54 4465 EMAIL: logic@math.uni-heidelberg.de |
| |
|
|
|
Responsible:
Jan Reimann
|
|
Last modified: March 20, 2003
|