Archive
Correspondence
Incoming foreign mail (1980)
Letter, P. Deussen->A.P. Ershov, 02.06.1980
Problem of contacts with prof. Makanin is discussed (se also letters of 16.07.79 and 11.03.80).
Letter, R. C. Backhouse->A.P. Ershov, 06.06.1980
Request to the comments on the suitability of Dr. A.O.Buda for a post of research associate at Heriot-Watt University.
Covering letter, B. Mayoh->A.P. Ershov, 13.06.1980
to the materials sent from University of Aarhus.
Letter, J. L. Rigal->A.P. Ershov, 16.06.1980
Invitation of A.P.Ershov as a panelist at IFIP Congress at Melbourne.
Covering card, Unknown Author->A.P. Ershov, 23.06.1980
to the parcel containing the book Simula 67 by H.Oktaba, R.Ratajczak.
Letter, R. K. Bauer ->A.P. Ershov..., 25.06.1980
Information on the death of prof. K.Samelson and suggestion to participate in writing an article in memoriam Klaus Samelson together with other members of Editorial Board of Acta Informatica.
Letter, Unknown Author->A.P. Ershov, 09.07.1980(?)
Report by K.Durre and G.Fels has not appeared yet.
Letter, E.K. Blum->A.P. Ershov, 09.07.1980
Two reprints of papers are enclosed.
Letter, D. S. Scott->A.P. Ershov, 11.07.1980
Publication of a book dedicated to the 60th anniversary of prof. B.A.Trachtenbrot is discussed. A letter to acad. G.I.Marchuk with request to support this project is enclosed.
Letter, M. Miyakawa->A.P. Ershov, 17.07.1980
Very interesting letter written in reply to A.P.Ershov's paper "Some subjective remarks to actual problems of programming".
Letter, D. S. Scott->A.P. Ershov, 25.07.1980
The death of Dr.C.Elgot is reported. The problems of publishing "A Festschrift for Professor Trachtenbrot" are discussed. The letter from Dr.Dijkhuis of North-Holland Publishing Company is attached.
Covering letter, Unknown Author->A.P. Ershov, 08.08.1980
to the parcel containing the book by W.Pachelski - Fortran dla maszyn Odra serii 1300.
Covering letter, Unknown Author->A.P. Ershov, 08.08.1980
to BIGRE subscription card.
Letter, D. Bjorner->A.P. Ershov, 15.08.1980
A possibility of visiting Akademgorodok to discuss parallelism problems with prof. Kotov and to inform of work on CHILL and ADA languages is discussed.
Telegram, W. A. Wulf->A.P. Ershov, 20.08.1980
with request to meet in the airport.
Letter, 28.08.1980
The author tells on his future lecture at the Amsterdam Symposium on Algorithmic Languages and asks his addressees' advice on this subject.
Letter, Unknown Author->A.P. Ershov, 03.09.1980
Request to confirm the presence at the Banquet of IFIP Congress in Tokio.
Covering letter, H. Langmaack->A.P. Ershov, 03.09.1980
to the report "A proof of a theorem of Lipton on Hoare logic and aplications.
Letter, M. Miyakawa->A.P. Ershov, 04.09.1980
Request to send the telegram before departure from Novosibirsk to meet A.P.Ershov in Tokio airpport. Acknowledge to receive Algebra i Logika magazines.
Letter, C. A. Kachurik->A.P. Ershov, 10.09.1980
for clarification of the status in standards development activities.

1 2 3 4
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