Working Conference "Program Specification and Transformation"
Note (hand-written)
with the address of Dr. H. Partsch
Letter, A.P. Ershov->Tony Hoare, 19.09.1985
A.P. Ershov writes about the reasons for being silent for more than a year...
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.
Telegram, F. L. Bauer ->A.P. Ershov, 11.04.1986
suggestion of a place where to stay overnight on Sunday
Letter, A.P. Ershov->F. L. Bauer, 31.03.1986
about the forth-coming visit to Germany
Letter, H. Partsch->A.P. Ershov, 18.02.1986
information about the IFIP TC2 Working Conference; its preliminary schedule is enclosed
Letter, H. Partsch->A.P. Ershov, 18.02.1986
a proposition to be a chairman of one of the sessions at the WC
Draft (hand-written), A.P. Ershov->H. Partsch..., 18.02.1986
of a telegram about mailing the papers by Ershov and Sabelfeld
Letter, 15.02.1986
technical information for the authors of Proceedings of the WC
Letter, 06.01.1986
information for participants of the WC
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
Referee's Report, 05.11.1985
on the papers by Berghammer and Bruynooghe
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
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
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, 03.06.1985
with formal information for participants
Letter, R. B. K. Dewar->A.P. Ershov, 18.03.1985
with a preliminary list of invitees for review and suggetions

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