Archive
International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Workshop on Partial Evaluation and Mixed Computation
Preparation for the Workshop
A copy
of a tourist guide to the Funen isles
A copy
of a tourist guide to the Helnæs island
A list, A.P. Ershov->M. A. Bulyonkov, 13.07.1987
of instructions for M.A. Bulyonkov to process the papers submitted for the Workshop
A list of papers, 24.06.1987
submitted for the Workshop on Partial and Mixed Computation
A paper, 20.03.1987
from the "Computing" journal devoted to the theory of partial evaluation that refers to Ershov's lecture at the Workshop
A tourist guide, 11.05.1987
to Copenhagen
A tourist guide, 11.05.1987
to the Funen isles
Announcement, 15.10.1986
information about the Workshop with a suggestion to everyone interested to present his results in this field to A.P Ershov in order to be mentioned in Ershov's talk
Bibliography, 27.02.1987
of papers on mixed computation by Soviet authors (with short abstracts)
Bibliography, 17.03.1987
Mixed Computation Papers by Soviet Authors
Bibliography, A.V. Zamulin->D. Bjorner, 22.04.1987
additions to the list of Mixed Computation Papers by Soviet authors
Bibliography, 19.06.1987
on Partial Evaluation
Biographical information, 23.12.1986
about N.N. Nepeivoda (for preparation of documents for getting visa to Denmark)
Call for papers, 28.02.1987
official Call for papers and Invitation to an IFIP TC-2 Sponcored Workshop on Partial and Mixed Computation; the registration form enclosed
Card, D. Bjorner->A.P. Ershov, 17.03.1987
Copy of a letter, D. Bjorner->E. P. Velikhov, 18.05.1986
to Acad. E. Velikhov with an invitation to chair the Plenary Session "IT drives in the Old World, the New World and in the Land of the Rising Sun" on IFIP Congress '86; full support to this idea was received from A.P. Ershov and many leading scientists...
Copy of a telegram, D. Bjorner->A.P. Ershov, 30.04.1987
official invitation for A.P. Ershov has been posted
Copy of a telegram, D. Bjorner->A.P. Ershov, 30.04.1987
official invitations for six Soviet scientists have been posted
Courier Service notification, 07.08.1987
about correspondence from USA and Japan sent by express-mail to the Siberian Branch of USSR AS
Courier Service notificatioon, 24.06.1987
about correspondence from USA sent by express-mail to A.P. Ershov

1 2 3 4 5 6 7 8 9
Initial order | In alphabetical order | By date

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016