Logic List Mailing Archive

Workshop in Heidelberg "Computability and Logic" June 2003

Workshop on
COMPUTABILITY AND LOGIC
Heidelberg, Germany, June 23-27, 2003

http://math.uni-heidelberg.de/logic/colo2003/

The workshop will be held at the Internationales Wissenschaftsforum 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 Committee

Klaus Ambos-Spies (Universitaet Heidelberg)
Steffen Lempp (University of Wisconsin-Madison/Universitaet Heidelberg)
Theodore A. Slaman (University of California-Berkeley/Universitaet
Heidelberg)

Registration

Due to space limitations, participation is by invitation. If you are
interested in attending, please email one of the organizers.