Archive
IFIP
1st Working Conference "Formal Description of Programming Concepts"
Justification, 23.05.1976
of A.Ershov's mission to Canada (a draft).
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.
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)
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)
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, 01.10.1976(?)
with announcement on the Conference.
Letter, J. B. Dennis->A.P. Ershov, 25.10.1976
inviting to participate in the Conference.
Information Leaflet with Attachment, 25.10.1976
Short information for participants of the "Formal Description of Programming Concepts" Conference. The attachment is an ad booklet for tourists in St.Andrews.
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.
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.
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).
List (with handwritten marks), 28.01.1977
of invited participants of the Conference.
Tentative List, 28.01.1977(?)
of paper titles.
Letter, R. M. Keller->J. B. Dennis, 07.02.1977
containing a postscriptum to the extended abstract of the author's paper.
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.
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 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.
Instructions, 15.02.1977(?)
for authors.
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.

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