Documents associated with Dines Bjorner

Telex, D. Bjorner->A.P. Ershov, 10.01.1987
with the list of Soviet participants invited at the cost of Organizing Committee
Telegram, A.P. Ershov->Organizing Committee, 30.08.1983
A.Ershov informs about a meeting, Erik Sandewall and an equipment.
Telegram, A.P. Ershov->D. Bjorner, 30.08.1983
A.Ershov confirms a correct understanding of the previous telegram.
Postcard, D. Bjorner->A.P. Ershov, 11.01.1987
informs about 7 Japanese scientists wishing to attend the Workshop
Letters and Materials, 04.11.1986-23.03.1987
on Workshop "Partial and Mixed Computation". (Doc. "St.Pierre-32".)
Letter on a Form, J. Nielsen->A.P. Ershov, 03.03.1988
The author is a psychologist and has been doing research on children and computers in public schools. He wants to visit Leningrad and Moscow in the autumn and asks the addressee to help with fellow scientists contacts.
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.
Letter, D. Bjorner->A.P. Ershov, 30.01.1987
about the trips of his family and other events of 1986
Letter, 08.02.1987
about a more definitive "Call for papers" and "invitation" to the Workshop
Telegram, D. Bjorner->A.P. Ershov, 29.08.1983
The Bjorner's answer to the Ershov's request to find a replacement for Sanderwall.
Notes, 23.09.1983(?)
Brief notes on the speeches of Byorner, BliKle, Hartmanis and McCarty.
Letter, D. Bjorner->A.P. Ershov, 09.02.1987
with urgent questions to A.P. Ershov about the Soviet delegation
Item 37. (Name does not exist in this language.)
Letter on a Form, S. Smit->D. Bjorner, 26.04.1988
The author informs of change of the deadline for a publication of the proceedings on Partial Evaluation and Mixed Computation. The copy of this letter is sent to A.Ershov.
Telegram, 26.06.1980
Letter, D. Bjorner->J. McCarthy, 11.02.1987
invitation to take part in the Workshop
Teletype message, D. Bjorner->A.P. Ershov, 28.04.1988
The author gives the necessary information for the execution of his visit to the USSR. He itemizes organizations and scientists that he wishes to visit.
Telex, D. Bjorner->A.P. Ershov, 13.02.1987
a copy of the letter of 09.02.87
Telegram, A.V. Zamulin->D. Bjorner, 17.02.1987
A. Zamulin answers the D. Bjorner's questions from the letter of 09.02.87
Letter on a Form, D. Bjorner->A.P. Ershov, 24.11.1985
Author informs that the UNESCO is establishing Intergovernmental Informatics Programme (IIP). His enclosed proposal "for what the IIP could stand for" was withdrawn from the letter. Manuscript note by A.Ershov testifies to it.

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


Back

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