Archive
International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Workshop on Partial Evaluation and Mixed Computation
Preparation for the Workshop
Letter, D. Bjorner->A.P. Ershov, 05.08.1986
Plans for a one Week Advanced, Residential, Workshop on Partial & Mixed Computations (with hand-written remarks by A.P. Ershov)
Telegram, A.P. Ershov->D. Bjorner, 05.08.1986
about Workshop and visit
Letter, A.P. Ershov->D. Bjorner, 05.08.1986
about details of Bjorner's visit to Novosibirsk; some comments on the workshop are also enclosed
Letter, A.P. Ershov->Y. Futamura, 07.08.1986
A.P. Ershov is "happy that NGC and WPMC will be a joint venture" and makes some suggestions to the text of "Call for papers"
Hand-written text, 07.08.1986
formal definition of partial and mixed computation (a text to be included into the Preliminary Information about the Workshop)
Letter, D. Bjorner->A. A. Dorodnitsyn, 17.08.1986
the details of Bjorner's visit; its final itinerary, as well as the abstracts of the seminars to be conducted in Moscow and Novosibirsk, are attached
Preliminary program, 20.08.1986(?)
of Bjorner's visit to Akademgorodok, September, 28 -- October, 2, 1986
Plans, 28.08.1986
for the Workshop.
Letter, 03.09.1986
about the idea of a meeting of 20 European scientists, leaders in computer science, devoted to the status of fundamental research in this field in Europe which seems to be worrying; the mailing list is enclosed
Letter, R. E. A. Mason->D. Bjorner, 09.09.1986
about financial support of the Workshop
Preliminary information, 15.09.1986
Plans of the Workshop, including the theoretical part with basic notions of partial and mixed computation
Note, 02.10.1986
B.N. Ostrovski's address
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
Letter, 20.10.1986
First announcement and other materials on the Workshop
Letter with Attachment, 04.11.1986
TC-2 members are asked to approve by the post ballot co-sponsorship of TC for the Workshop on Partial and Mixed Computation. The attachment contains information on the Workshop.
Memo, A.P. Ershov->A. S. Alekseev, 17.12.1986
A.P. Ershov asks Acad. A.S. Alekseev, Director of the Novosibirsk Computing Center, to authorize preparation of documents for leaving to Denmark to the Workshop on PE&MC of several staff members of NCC
Telegram, A.P. Ershov->D. Bjorner, 18.12.1986
about the final number of Soviet participants
Letter, N. N. Nepeivoda ->A.P. Ershov, 21.12.1986
information about the Workshop and his private life
Biographical information, 23.12.1986
about N.N. Nepeivoda (for preparation of documents for getting visa to Denmark)
Telex, D. Bjorner->A.P. Ershov, 10.01.1987
with the list of Soviet participants invited at the cost of Organizing Committee

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