Colloquium on Computability, Complexity, and Logic

December 5-6, 1996

Abteilung Theoretische Informatik

Universität Stuttgart


The Participants


The Speakers

J. Esparza

K.-J. Lange

C. Lautemann

M. Droste

C. Meinel

M. Krause

E. W. Mayr

Yu. Matiyasevich

E. Börger


The Dinner

J. Esparza, K.-J. Lange, W. Brauer

U. Hertrampf, A.Bergen, C. Lautemann, A. Muscholl, H. J. Hoogeboom

W. Brauer, Yu. Matiyasevich, U. Hertrampf


H. J. Hoogeboom, Yu. Matiyasevich, A. Muscholl

E. Börger, Yu. Matiyasevich