Prof. Vladimir Lifschitz

          Application for participation in the EIMI program

                      TETE-A-TETE IN RUSSIA


    I. Western participant(s)
       1) last name             Lifschitz
       2) given name(s)         Vladimir
       3) citizenship           U.S.
       4) degree, title(s)      Kandidat fiz.-mat. nauk
       5) affiliation           University of Texas
       6) position              Professor
       7) mailing address       Department of Computer Sciences,
                                University of Texas, Austin, TX 78746, USA
       8) e-mail address        vl@cs.utexas.edu
       9) phone number          (512) 471-9564
      10) FAX number            (512) 471-8885

    II. Russian participant(s)
       1) family name           Lodkin
       2) given name            Andrej
       3) patronymic            Aleksandrovich
       4) degree, title(s)      kand.fiz-mat.n., dozent
       5) affiliation           SPbGU
       6) position              dozent
       7) mailing address       194223, ul.Orbeli, 16, kv. 68
       8) e-mail address        lodkin@lodkin.usr.pu.ru
       9) phone number          5504881
      10) FAX number

   III. Subject and form of proposed joint work:

      Research on the mathematical foundations of logic programming,
      including its semantics and computational methods.
      Algorithmic questions in analysis.

    IV. Desired duration  ...  days/weeks/months in the period

      Up to two months in the period between December 1, 1996 and
      May 1, 1997.