Dr. Olivier Teytaud

was working in St.Petersburg from 20.05.1997 to 20.08.1997

           Application for participation in the EIMI program

                       TETE-A-TETE IN RUSSIA

     I. Western participant(s)
        1) last name            Teytaud
        2) given name(s)        Olivier
        3) citizenship          French
        4) degree, title(s)     Computer Science Student
        5) affiliation          Ecole Normale Superieure de Lyon
        6) position             Student
        7) mailing address      B33 Residence de l'ENS 46 allee d'Italie
                                69364 Lyon Cedex 7 FRANCE
        8) e-mail address       oteytaud@ens-lyon.fr
        9) phone number         472728242
       10) FAX number           472728546

     II. Russian participant(s)
        1) family name       Matiyasevich
        2) given name        Yuri
        3) patronymic        Vladimirovich
        4) degree, title(s)  Doctor of Sciences
        5) affiliation       Steklov Institute of Mathematics at
        6) position          Head of Laboratory of Mathematical Logic
        7) mailing address   27, Fontanka, POMI RAN
                             St.Petersbourd, 191011, RUSSIA
        8) e-mail address    yumat@pdmi.ras.ru
        9) phone number      7(812)5284768
       10) FAX number        7(812)3105377

    III. Subject and form of proposed joint work (a few phrases)
         Study of decision problems for automata with stack connected
         with the code problem for traces.

     IV. Desired duration 10 weeks in the period from 2/6/97 to 31/8/97