Seminars at the Faculty of Informatics

Guest Lectures given by Prof. Yuri Matiyasevich

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

For the Seminar course for PhD students registration is required at


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.


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:

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