Archive
IFIP
1st Working Conference "Formal Description of Programming Concepts"
Letter with Attachment, 11.07.1976
Covering letter to the list of prospective participants of the Working Conference and this list itself.
Letter, A.P. Ershov->J. B. Dennis, 09.08.1976
with comments on the list of participants and on Conference topics.
Letter with Attachment, J. B. Dennis->A.P. Ershov, 29.09.1976
Organizational problems of the Conference are discussed. There is attached a renewed list of invited participants.
Letter, J. B. Dennis->A.P. Ershov, 25.10.1976
inviting to participate in the Conference.
Letter, 03.09.1976
Draft of an announcement of the TC-2 Working Conference on the Formal Description of Programming Concepts. This conference will take place on August 1-5, 1977 in Quebec, Canada. (Agenda item 7.2.2)
Note, 01.08.1977(?)
with a request to inform the audience on W. de Rouver's talk. (Most probably, at the Conference "Formal Description of Programming Concepts", but possibly at the TC 2 meeting.)
Information, 26.08.1976
1)Proposed budget of the TC-2 Working Conference on the Formal Description of Programming Concepts. 2)Proposed list of invited participants. (Agenda item 7.2.2)
Short Report, 22.12.1977-29.12.1977
on the trip to Canada. Both handwritten and typewritten texts.
Letter, J. B. Dennis->A.P. Ershov, 05.01.1977
The Program Committee meeting is scheduled to March 16, 1977. Further participants of the Conference and its topics are considered.
Letter with Attachment, 26.01.1977
Covering letter for the abstract of the paper "Functional Grammars" presented to the Conference and this abstract itself (with an appendix).
Reference, 29.12.1977
on results of A.P.Ershov's trip to Canada.
Covering Letter, 24.01.1977
for the first batch of submitted papers and for the list of their titles with names of Program Committee's members assigned to review corresponding papers.
List (with handwritten marks), 28.01.1977
of invited participants of the Conference.
Tentative List, 28.01.1977(?)
of paper titles.
List, 15.02.1977
of extended abstracts of submitted papers (2nd batch) with names of Program Committee's members assigned to review corresponding papers.
Letter, R. M. Keller->J. B. Dennis, 07.02.1977
containing a postscriptum to the extended abstract of the author's paper.
Letter with Attachment, 15.02.1977
Covering letter for the 3rd batch of papers and to their list with names of Program Committee's members assigned to review corresponding papers, and this list itself.
Covering Letter, Robert Milne->J. B. Dennis, 09.02.1977
for notes regarding the content of the author's paper. The author asks with apology to consider these notes as the paper's abstract though they neither conform to the requirements nor come before the deadline.
Letter with Attachment, J. B. Dennis->A.P. Ershov, 18.02.1977
Attendance at the Program Committee meeting to be held in Amsterdam is discussed. The author requests also to complete the enclosed evaluation form intended for initial ranking of submitted papers.
Letter, L. Lukashevich->M. Paul, 20.02.1977
The author considers problems concerning participation of Technical Committee-2 members in the Conference "Formal Description of Programming Concepts" with their papers, place and term of the next TC-2 meeting, and some people's critical attitude toward certain IFIP activities.

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