Центральные органы ИФИП
ИФИП/ТК1Технический комитет по терминологии и символам.
ИФИП/ТК2Технический комитет по языкам программирования. Материалы Рабочих групп этого комитета располагаются отдельно.
ИФИП/ТК3Технический комитет по образованию.
ИФИП/ТК4Технический комитет по охране здоровья и биомедицинским исследованиям.
ИФИП/ТК5Технический комитет по применению вычислительных машин в технологии.
ИФИП/ТК6Технический комитет по передаче данных.
ИФИП/ТК7Технический комитет по системному моделированию и оптимизации.
ИФИП/ТК8Технический комитет по информационным системам.
ИФИП/ТК9Технический комитет по взаимосвязи компьютеров и общества.
ИФИП/ТК10Технический комитет по разработке цифровых систем.
ИФИП/ТК2/ РГ2.1Рабочая группа по разработке, сопровождению и развитию Алгола 60. Это развитие вылилось в создание языка Алгол 68. С начала 60-х годов активным членом этой группы был А.П. Ершов.
ИФИП/ТК2/ РГ2.2Рабочая группа по формальному описанию концепций программирования.
ИФИП/ТК2/ РГ2.3Рабочая группа по методологии программирования.
ИФИП/ТК2/ РГ2.4Рабочая группа по языкам реализации систем.
ИФИП/ТК2/ РГ2.5Рабочая группа по программному обеспечению численных задач.
ИФИП/ТК2/ РГ2.6Рабочая группа по базам данных.
ИФИП/ТК2/ РГ2.7Рабочая группа по сопряжениям операционных систем.
ИФИП/ТК2/Рабочая группа по функциональному программированию
ИФИП/ТК2/Группа по описанию языков программированияПредполагалось создание такой Группы.
ИФИП/ТК2/Рабочая группа по библиотекам численных программПредполагалось создание такой Группы.
Конгресс ИФИП-65США, Нью-Йорк; 24-29.05.1965. А.П. Ершов - один из организаторов Конгресса.
Конгресс ИФИП-68Шотландия, Эдинбург; 02-07.08.1968. А.П. Ершов - вице-председатель программного комитета.
Конгресс ИФИП-71Югославия, Любляна; 23-28.08.1971. А.П. Ершов - член технического комитета "Программирование и структуры систем".
Конгресс ИФИП-74Швеция, Стокгольм, 05-10.08.1974. А.П. Ершов выступил с докладом "Программирование в 1980-х годах".
Конгресс ИФИП-77Канада, Торонто; 08-12.08.1977. А.П. Ершов - организатор и председатель панельной дискуссии "Понимание естественных языков".
Конгресс ИФИП-80Япония, Токио/Австралия, Мельбурн; 01-17.10.1980. А.П. Ершов - заместитель председателя программного комитета. В связке с австралийской частью Конгресса был проведен также Всемирный юношеский вычислительный конгресс.
Конгресс ИФИП-83Франция, Париж; 19-23.09.1983.
Конгресс ИФИП-89США, Сан-Франциско; 28.08-01.09.1989. Конгресс прошел уже без А.П. Ершова.
Рабочая конференция "Языки формального описания языков"Вена; 15-18.09.1964.
Рабочая конференция "Языки обработки символьной информации"Пиза; 05-09.09.1966.
Рабочая конференция "Языки моделирования"Осло; 20-26.05.1967.
Конференция "Реализация Алгола 68"Мюнхен; 20-24.07.1970.
Конференция по графическим языкамКанада, Ванкувер; 22-26.05.1972.
Рабочая конференция "Programming Teaching Techniques"Польша, Закопане; 18-22.09.1972.
Конференция "Машинно-ориентированные языки высокого уровня"Тронхейм; 27-31.08.1973.
Рабочая конференция по системам управления базами данныхКорсика, Каржез; 01-04.04.1974.
Техническая конференция по технике оптимизацииНовосибирск; 01-07.07.1974.
Рабочая конференция по программному обеспечению для миникомпьютерамМюнхен; июль 1974 года.
Рабочая конференция по командным языкам (1974)Лунд; 29.07-02.08.1974.
Конференция "Построение качественного программного обеспечения"Новосибирск; 23-28.05.1977.
Первая рабочая конференция "Формальное описание концепций программирования"Канада, Сент-Эндрюс; 01-05.08.1977.
Рабочая конференция по базам данных1977 год.
Рабочая конференция по оценке эффективности программного обеспечения численных задачБаден; 11-15.12.1978.
Рабочая конференция "Архитектура баз данных"Италия, Венеция; 26-29.06.1979.
Рабочая конференция по командным языкам (1979)Бавария, Берхтесгарден; 10-14.09.1979.
Четвертая международная конференция по разработке программного обеспеченияМюнхен; 17-19.09.1979.
Рабочая конференция "Микропроцедурные средства, микропрограммирование, реструктурируемая аппаратура"Линц; 28.04-01.05.1980.
Рабочая конференция "Взаимосвязь численных вычислений и языков программирования"Боулдер, Колорадо;
03-07.08.1981.
Первая конференция "Применение вычислительной техники в с/х производстве"Куба, Гавана; 26-30.10.1981.
Вторая рабочая конференция "Формальное описание концепций программирования"Бавария, Гармиш-Партенкирхен; 01-04.06.1982.
Конференция "Командные языки и связанные с ними сопряжения"Намечалось: США, Вудс Холл / Норт Фалмот, Массачусетс; 12-17.09.1982. Отложено.
Конференция "Языки программирования и конструирование систем"Дрезден; 07-11.03.1983. А.П. Ершов - член Программного комитета.
Конференция "Методология описания систем"Венгрия, Кечкемет; май 1983 года.
Конференция "Языки системного программирования, опыт и оценка"Англия, Кентербери;
16-20.09.1984. А.П. Ершов - член Программного комитета.
Предполагаемые конференции по программным окружениямНьюкасл-на-Тайне, 1984 или 1985; юг Франции, 1985.
Конференция "Спецификация и преобразование программ"Бад-Тёльц близ Мюнхена; 15-17.04.1986.
Рабочая конференция в ТронхеймеИюнь 1986 года.
Третья рабочая конференция "Формальное описание концепций программирования"Дания, Гл. Авернес; 25-28.08.1986.
Рабочая конференция по DS-2Португалия, Албуфейра; 03-7.11.1986.
Рабочая конференция по разработке систем взаимодействия человек-машинаНапа, Калифорния; 21-25.08.1987. (Намечалась.)
Конференция по функциональному программированиюПортленд, Орегон; сентябрь 1987 года.
Рабочая конференция "Роль искусственного интеллекта в базах данных и информационных системах"КНР, Гуанчжоу (Кантон); 04-08.07.1988.
Рабочая конференция по аспектам вычислений на асинхронных параллельных процессорахСША, шт. Калифорния, Стэнфорд; 22-26.08.1988.
Рабочая конференция по визуальным системам баз данныхЯпония, Окинава; 03-07.04.1989. (Намечалась.)
Рабочая конференция "Концепции и методология програмирования"Намечалась на 1990 год.
Рабочая конференция по неязыковому решению научных проблемНамечалась на сентябрь 1991 года в Карлсруэ.
25-летний юбилей ИФИП25-29.03.1985.
Различные материалы ИФИП
|
