- 1976-н/время
--
- член программных и организационных комитетов
ряда Международных, Всесоюзных и Всероссийских конгрессов,
конференций и семинаров.
- 1979-н/время
--
- организатор и руководитель объединенного семинара
``Конструирование и оптимизация
программ''
Вычислительного центра СО АН СССР (затем Института систем
информатики СО РАН) и Новосибирского государственного
университета (проведено почти 700 заседаний).
- 1980-1988 гг.
--
- член редакционной коллегии, заместитель главного редактора
серии сборников научных трудов по системному и
теоретическому программированию преподавателей, стажеров и
аспирантов вузов Сибири и Дальнего Востока.
- 1980-1989 гг.
--
- член трех рабочих групп по языкам и
системам программирования, автоматическому
синтезу и преобразованию программ
и теории программирования при комиссии по
системному программированию Координационного
комитета по вычислительной технике АН СССР.
- 1984-1991 гг.
--
- член научно-технической комиссии по технологии
программирования Государственного комитета по науке и
технике СССР, член секций комиссии по инструментальным
средствам и обучению.
- 1989-1991 гг.
--
- член специализированного совета К002.10.02 при
Вычислительном центре СО АН СССР по защите диссертаций на
соискание ученой степени кандидата наук.
- 1990-н/время
--
- член Ученого совета Института систем информатики СО РАН.
- 1991-1998 гг.
--
- член специализированного совета Д002.10.02 при
Вычислительном центре СО АН СССР по защите диссертаций на
соискание ученой степени доктора наук.
- 1991-2007
--
- член, заместитель председателя специализированного совета
К003.93.01 при Институте систем информатики СО РАН по защите
диссертаций на соискание ученой степени кандидата наук.
- 1991-н/время
--
- редактор серии академических сборников научных трудов ``Конструирование и
оптимизация программ'' (вышло 15 выпусков).
- 1992-1994 гг.
--
- президент Сибирского межрегионального
фонда ``Информатика: развитие и образование (ИнфРО)''.
- 1994-н/время
--
- член редколлегии
серии академических сборников научных трудов
``Системная информатика''.
- 1997-2003 гг.
--
- член Ученого совета Объединенного института информатики СО РАН.
- 2000-н/время
--
- член редколлегии совместного бюллетеня ИВМ и МГ и ИСИ СО РАН (Joint Bulletin of
NCC&IIS).
- 2002-2003 гг.
--
- член диссертационного совета Д003.060.01
при Объединенном институте информатики СО РАН по защите
диссертаций на соискание ученой степени доктора наук.
- 2002-н/время
--
- член редколлегии
международного журнала ``Проблемы программирования''.
- 2002-н/время
--
- член Объединенного ученого совета СО РАН по математике и информатике.