[MH] _________________________ AMAST Links 02 04

Workshop on Complexity, Logic and Recursion Theory, COLORET'95

Certosa di Pontignano, University of Siena, Italy, May 2-7, 1995

Topics. The workshop will be held as part of the activity of the European network "Complexity, Logic and Recursion Theory", EC Contract No. ERBCHRXCT930415. Several sessions will be devoted to the scientific activity of the network, covering topics that range from relative computability to structural complexity, randomness and arithmetic.

Invited Speakers

K. Ambos-Spies, J. Balcazar, S.B. Cooper, S. Wainer, P. Odifreddi,
P. van Emde Boas, F. Montagna, M. Arslanov, S. Goncharov, A. Kucera.

Short Courses

• R. Downey: Topics in Recursion Theory and Complexity
• E. Graedel: Complexity and definability on finite models

Further Information:

Andrea Sorbi, Dipartimento di Matematica
Via del Capitano 15, 53100 Siena Italy
E-mail: SORBI@UNISI.IT, Fax:39-577-263730