Mr. Romas Alonderis

was staying in St.Petersburg in the period from 01.12.2000 to 12.12.2000

Application for participation in the EIMI program

TETE-A-TETE IN RUSSIA

I. Foreign participant(s)

            1) Family name:  Alonderis
            2) First name(s):  Romas
            3) Citizenship:  Lithuania
            4) Degree, title(s): master of mathematics
            5) Affiliation:  Institute of Mathematics and Informatics
            6) Position: postgraduate student
            7) Mailing address:
             Institute of Mathematics and Informatics
                           Akademijos 4, 2600
                               Lithuania
            8) e-mail:  romasa@ktl.mii.lt
            9) Phone(s):  (370-2) 729-511
            10) Fax:  (370-2) 729-209


II. Russian participants

A      1) family name        Orevkov
       2) given name         Vladimir
       3) patronymic         Pavlovich
       4) degree, title(s)   Doctor of Phys.-Math. Sciences
       5) affiliation           POMI
       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        328-8107
      10) FAX number         +7-812-3105377

 B          1) Family name:      Kossovsky
            2) First name(s):  Nikolai
            3) Patronymic:     Kirillovich
            4) Degree, title(s):   Doctor of Phys.-Math. Sciences
            5) Affiliation:  St.-Petersburg State University
                                  Faculty Of Mathematics And Mechanics
            6) Position: Head of department of Computer Science
            7) Mailing address:
            8) e-mail:  kosov@niimm.spb.su
            9) Phone(s):  428-6944
            10) Fax: 

III. Subject and form of proposed joint work (a few phrases):
Subject: intuitionistic temporal logic. Form: a seminar. 

IV. Desired duration

      in the period from December 1st till December 8th