|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Здзислав Павлак Обложка, 06.05.1988-10.05.1988 с хронологией работы над статьей.
Ответ на 2-е извещение, З. Павляк->А.П. Ершов, 04.06.1979Сообщает, что хотел бы приехать на симпозиум, но у него нет, к сожалению, финансовых возможностей.
Письма, А.П. Ершов->Й. Груска, 01.04.1975Четыре официальных письма (стандартизованных, но персональных) с приглашением принять участие в симпозиуме и выступить на нем с докладом. Даются сведения о симпозиуме.
Письма, А.П. Ершов->Й. Груска, 20.06.1975Шесть писем (стандартизованных, но персональных) с извещением об организационной стороне симпозиума, о представлении докладов и их публикации.
Письмо, А.П. Ершов->А. Мазуркевич, 06.07.1979Приносит извинения за задержку с ответом на письмо адресатов от 18.05.1979 и выражает надежду, что у них все-таки появится возможность оформления командировки на симпозиум в Ургенч.
Письмо, Д. Вакарелов->А.П. Ершов, 28.04.1988Высылает свою статью "Modal logics for knowledge representation systems" и просит представить ее к опубликованию в TCS. Рассказывает об этой работе и о создании в Софийском университете лаборатории по прикладной логике. Надеется на сотрудничество.
Письмо, З. Павляк->А.П. Ершов, 20.12.1974Заголовок и резюме доклада на симпозиум будут вскоре высланы.
Письмо, А.П. Ершов->З. Павляк, 07.05.1988Просит прорецензировать статью Д. Вакарелова.
Письмо, А.П. Ершов->З. Павляк, 09.02.1976Автор извиняется, что не позаботился проинформировать адресата о своих планах. Сообщает, что он, В.Е. Котов и А.С. Нариньяни приезжают в Польшу на две недели, имея в виду побывать на ИНФОПОЛе, во Вроцлаве и Варшаве. День прибытия в Варшаву еще не определен.
Письмо, З. Павляк->А.П. Ершов, 22.01.1976об уточнении сроков предстоящего визита адресата в Польшу.
Письмо, А.П. Ершов->З. Павляк, 04.04.1972В ответ на письмо от 19.03.1972 - обещает послать приглашение доктору А. Бликле; извиняется, что не сможет приехать на симпозиум, и предлагает вместо себя В.Е. Котова.
Письмо, А.П. Ершов->А. Бликле, 23.04.1979Объясняет наличие в конверте приглашений еще для двух ученых.
Письмо, Д. С. Скотт->А.П. Ершов, 25.07.1980Сообщается о скоропостижной смерти д-ра К. Элгота. Продолжается обсуждение проблемы выпуска книги, посвященной юбилею проф. Б.А. Трахтенброта. Прилагается копия письма сотрудника из издательства "North-Holland".
Письмо, З. Павляк->А.П. Ершов, 14.07.1975Автор благодарит за развернутую информацию о симпозиуме, рад участвовать в нем, привезет достаточное количество экземпляров своего доклада.
Письмо, А.П. Ершов->З. Павляк, 13.03.1974Автор сожалеет, что не смог воспользоваться приглашением адресата в Международный вычислительный центр им. С. Банаха, так как он не может позволить себе еще одну зарубежную командировку в этом году. Спрашивает, нельзя ли запланировать подобный визит на 1976 год.
Письмо, А.П. Ершов->З. Павляк, 05.05.1974Сообщает ориентировочную дату приезда в Польшу, просит подтвердить этот срок и сам факт возможности приехать.
Письмо, З. Павляк->А.П. Ершов, 08.04.1974Сожалеет, что адресат не сможет приехать в Варшаву в течение этого семестра. Спрашивает о возможном сроке визита в 1976 году.
Письмо, А.П. Ершов->А. А. Дородницын, 12.11.1975Просьба обсудить на ближайшем заседании Комиссии по многостороннему сотрудничеству по проблеме "Научные основы вычислительной техники" вопрос об организации Рабочей группы по теме "Методы конструирования и проверки программ".
Письмо, А. Мазуркевич->А.П. Ершов..., 08.08.1979Авторы благодарят за сообщение о симпозиуме в Ургенче; принять участие в работе симпозиума по причине финансовых трудностей у АН ПНР, к сожалению, не смогут.
Письмо, А.П. Ершов->З. Павляк, 13.11.1975Информирует о своих переговорах с академиком А.А. Дородницыным по поводу организации Рабочей группы по теме "Научные основы вычислительной техники". Благодарит за приглашение Д.Я. Левина в институт адресата для обсуждения реализации языка СЕТЛ.
1 2 3 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
