Documents associated with Dines Bjorner

Final Programme, 18.10.1987
and Final Schedule of the Workshop on Partial Evaluation and Mixed Computation, 18-24 October 1987
Telegram, A.P. Ershov->D. Bjorner, 30.12.1987
about approval of Bjorner&Jones invitation
Proposal, 25.11.1985
"Elements and structure of a UNESCO informetics programme (IIP)".
Photographs, 30.08.1981
A.P. Ershov and his Czechoslovakian colleagues on the trip from Bratislava to Tatry.
Note, 06.09.1978
with brief information about the visit
Telegram, D. Bjorner->A.P. Ershov, 26.06.1980
about plannig to stop for 2-3 days en route to IFIP in Novosibirsk
Announcement
of the Conference with the list of topics and Program Committee members
Letter-Reminder with Attachments, 01.06.1986(?)
Covering letter to materials concerning the Working Conference "Formal Description of Programming Concepts" (Gl. Avernaes,Denmark) and some of these materials: 1) invitation to the Conference; 2,3) registration forms; 4)information on the immediately following WG 2.2 meeting (Gl. Avernaes as well).
Theses
"Academician Andrei Petrovich Ershov in Memories" by D. Bjorner.
Working Notes, 10.07.1982-24.08.1982
Item 2. (Name does not exist in this language.)
Telegram, A.P. Ershov->D. Bjorner, 02.09.1980
informing that Kotov is trying to arrange transit through Novosibirsk
Justification
Record, 04.09.1978
of the talks with Prof. Bjorner
Photograph, 30.08.1981
A.P. Ershov near a well during the trip from Bratislava to Tatry.
Enclosures
to Bjorner's proposal
Letter, A.P. Ershov->E. P. Velikhov
with a request to include invitations of Bjorner and Jones in the plan of scientific communications of USSR AS
Telegram, A.P. Ershov->D. Bjorner, 10.01.1980
Telegram, A.P. Ershov->D. Bjorner, 15.01.1979
Request to confirm consent to receive Ershov for two weeks in April.
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...

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