Prof. Grirori Mints

was working in St.Petersburg from 1.07.1997 to 6.07.1997

          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
       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
       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