Prof. Grigori Mints
was staying in St.Petersburg in the period from 12.12.2008 till 17.12.2008

Application for participation in the EIMI program

Family name: Mints
First name: Grigori
Residence: USA
Degree: Sc.D., Ph.D.
Affiliation: Stanford University
Position: Professor of Philosophy

Russian participant
Family name: Matiyasevich
First name: Yuri
Patronymic: Vladimirovich
Degree: Sc.D.
Affiliation: POMI RAN
Position: Chair of Laboratory
Address: St. Petersburg

Subject: Proof mining in problems of recursion theory, constructive
mathematics, number-theoretic and diophantine problems

Duration: 15
Days/Weeks/Months: days
From: December 12, 2008
Till: December 27, 2008