Seminars at the Faculty of Informatics

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 registration@unisi.ch.

 

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

URL 1: http://www.inf.unisi.ch/guest-lectures/

Allegato 1: Flyer seminario Matiyasevich.pdf [80 KB]