Доклад, 18.08.1983 А.А.Летичевского "Abstract Data Types and Finding Invariants of Programs".
Информация для участников, 16.08.1983-24.08.1983
Приглашение, 16.08.1983на церемонию открытия Конгресса.
Программа с дополнением, 15.08.1983Программа Конгресса и дополнение к ней в виде 8 выпусков Daily News.
Рабочие записи, 16.08.1983-24.08.1983сделанные во время Конгресса.
Список, 15.08.1983участников Конгресса.
По порядку | По алфавиту | По дате |