Guest Lectures given by Prof. Yuri Matiyasevich
Decanato - Facoltà di scienze informatiche
Data d'inizio: 19 Novembre 2007
Data di fine: 24 Novembre 2007
The Faculty of Informatics is pleased to announce a Guest Lectures series and a Public Conference given by prof. Yuri Matiyasevich, that will take place between Nov 19 and 23.
More info available in the enclosed PDF or at http://www.inf.unisi.ch/guest-lectures/.
For the Seminar course for PhD students registration is required at [email protected].
Relevant papers/books:
1) Yuri MATIYASEVICH, My Collaboration with JULIA ROBINSON,
"The Mathematical Intelligencer", vol.14, no.4, 1992, pp.38-45,
(corrections in vol.15, no.1, 1993, p.75), ©Springer-Verlag.
http://logic.pdmi.ras.ru/~yumat/Julia
2) Yuri Matiyasevich, "Hilbert's tenth problem: A two-way bridge between number theory and computer science"
editor C. S. Calude, in People and Ideas in Theoretical Computer Science, Springer Verlag, 1999, pp 177-204
Springer series in discrete mathematics and theoretical computer science
ISBN 981-4021-13-X