Archive
IFIP
Working Conference "Program Specification and Transformation"
Note (hand-written)
with the address of Dr. H. Partsch
Letter, 08.05.1984
by the Chairman of the WG 2.1 addressed to the participants of the forthcoming 33nd meeting of the group. The letter discusses following issues: 1) resulta of the 32nd meeting; 2) preparation of the Working Conference on Program Specification and Transformation; 3) local arrangements for the 33th meeting; 4) WG observers; 5) technical content of the meeting.
Letter, R. B. K. Dewar->A.P. Ershov, 04.02.1985
with an invitation to be a member of the program committee of the Working Conference; a tentative schedule of the Conference enclosed
Letter, 05.02.1985
with materials relating to the proposed Working Conference: a preliminary list of invitees for changes and suggestions
Letter, R. B. K. Dewar->A.P. Ershov, 18.03.1985
with a preliminary list of invitees for review and suggetions
Letter, 03.06.1985
with formal information for participants
Letter (hand-written), A.P. Ershov->F. L. Bauer, 15.08.1985
about the problems wit Ershov's helth, his hope to attend the Working Conference and readiness "to share the load of the reviewing process"
Letter and Draft Letter, 16.09.1985-12.10.1985
The Chairman of TC 2 R.Mason expresses in a letter his sadness with regard to A.P.Ershov's illness. A manuscript draft by Ershov contains his thanks and hopes to participate in the coming Munich working conference.
Letter, A.P. Ershov->Tony Hoare, 19.09.1985
A.P. Ershov writes about the reasons for being silent for more than a year...
Text (hand-written), 08.10.1985-14.10.1985
of Ershov&Ostrovsky paper "Controllable Mixed Computation and its Application to Systematic Development of Language-Oriented Parsers" presented at the Working Conference
Letter, 15.10.1985
information about dead-line
Letter, H. Partsch->A.P. Ershov, 15.10.1985
information on reviewing the submitted papers: a list of papers; a correspondence table; evaluation sheets; a copy of each paper to be reviewed
Review, 01.11.1985
of the paper by R. Berghammer "On Using Composition in Transformational Programming"
Telegram, A.P. Ershov->H. Partsch, 01.11.1985
a request to consider 3 papers by Soviet authors directly at the PC meeting
Referee's Report, 05.11.1985
on the papers by Berghammer and Bruynooghe
Additional grounds, 25.11.1985
for Ershov&Sabelfeld's visit to Germany
Postcard, F. L. Bauer ->A.P. Ershov, 16.12.1985
best wishes and hope for seeing Ershov at the Working Conference
Letter, H. Partsch->A.P. Ershov, 16.12.1985
a paper by Ershov&Ostrovsky has been accepted for presentation at the WC
Letter, 06.01.1986
information for participants of the WC
Text (hand-written), 14.01.1986-15.01.1986
on reduction refinement

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