Prof. Grirori Mints

          Application for participation in the EIMI program

                      TETE-A-TETE IN RUSSIA



    I. Western participant(s)
       1) last name     MINTS
       2) given name(s)     GRIGORI
       3) citizenship       USA (PERMANENT RESIDENT)
       4) degree, title(s)  SC.D.
       5) affiliation       STANFORD UNIVERSITY
       6) position      PROFESSOR
       7) mailing address   DEPT. OF PHILOSOPHY, STANFORD UNIVERSITY,
                STANFORD, CA 94305, USA
       8) e-mail address    mints@csli.stanford.edu
       9) phone number      415-493-7181 (h), 723-2964 (office)
      10) FAX number        415-723-0985

    II. Russian participant(s)

       1) family name        Orevkov
       2) given name         Vladimir
       3) patronymic         Pavlovich
       4) degree, title(s)   Doctor of Phys.-Math. Sciences
       5) affiliation
       6) position           Leading Scientist
       7) mailing address    Laboratory of Mathematical Logic
                             V.A.Steklov Mathematical Institute
                             at St.Petersburg, Fontanka 27
                             191011, St.Petersburg
       8) e-mail address     orevkov@pdmi.ras.ru
       9) phone number        218-8107
      10) FAX number         +7-812-3105377


   III. Subject and form of proposed joint work (a few phrases)

    Joint research in proof theory, automated deduction,
    constructive mathematics and history of logic. Seminar and
    conference talks.

    IV. Desired duration  1 month in the period
        from  July 1 to July 30 1997