Colloquium on Computability, Complexity, and Logic

Here, you can find the programme ( ASCII-text, gzipped Postscript file).

The organizers: Volker Diekert and Ulrich Hertrampf.

Here you may find further information related to the workshop's topic and the stay of Yuri Matiyasevich in Stuttgart:

Especially, we would like to focus your attention on TETE A TETE IN RUSSIA

You will find information on Hilbert's Tenth Problem and Yuri Matiyasevich's Book on Hilbert's 10th problem, here.

Zurück zur / Back to: Abteilung Theoretische Informatik.