1973
- О свойствах сводимых графов,
II Всесоюзный семинар по комбинаторной математике,
(г. Москва, 29–31 января, 1973 г.).
- Анализ управляющих графов программ,
Всесоюзный симпозиум по системному программированию,
(г. Новосибирск, 13–16 марта, 1973 г.).
1974
- Информационные связи и преобразование программ,
III Всесоюзный симпозиум
“Системное и теоретическое программирование”,
(г. Кишинев, 10–12 декабря, 1974 г.).
1975
- Выделение гамаков в ориентированном графе,
III Всесоюзный семинар по комбинаторной математике,
(г. Москва, 29–31 января, 1975 г.).
- Анализ структур программ в глобальной оптимизации
(Совместно с Трахтенбротом М.Б.),
Всесоюзный симпозиум по методам
реализации новых алгоритмических языков,
(г. Новосибирск, 10–13 сентября, 1975 г.).
1976
- О нахождении аргументов и результатов в схемах с косвенной
адресацией,
Советско-американское совещание по языкам программирования
сверхвысокого уровня,
(г.Москва, сентябрь, 1976 г.).
- О социалистическом соревновании между лабораториями
теоретических отделений ВЦ СО АН СССР,
1 Межреспубликанский семинар КК и СМУ академических
учреждений кибернетического профиля,
(г. Минск, 18-20 октября, 1976 г.).
1977
- Application of optimization
techniques to correctness problems
(With Pottosin I.V.),
IFIP TG 2 Working Conf. on Constructing Quality Software,
(Novosibirsk, USSR, May 23–28, 1977).
- Schematology in a multi-language optimizer
(With Pokrovsky S.B.),
Mathematical foundations of computer science (MFCS-77),
(Tatranska Lomtica, Czecoslovakia, September 5–9, 1977).
- О преподавании методов трансляции,
Совещание-семинар преподавателей государственных
университетов по математическому обепечению ЭВМ,
(г. Одесса, 12–17 сентября, 1977 г.).
1978
- Применение теории оптимизации программ к проблеме
правильности программ,
Всесоюзный симпозиум “Теория систем”,
(пос. Славско, 21–26 февраля 1978 г.).
- Практический подход к оптимизации программ,
Вторая Национальная школа болгарских математиков
(Программирование-78),
(Приморско, Болгария, 11–22 июня, 1978 г.).
1979
- Смешанные вычисления и оптимизация программ,
Всесоюзная конференция “Технология программирования”,
(г. Киев, 4–8 июня, 1979 г.).
- Технологические возможности оптимизации программ
(Совместно с Поттосиным И.В.),
Всесоюзная конференция “Технология программирования”,
(г. Киев, 4–8 июня, 1979 г.).
1980
- Оптимизация крупноблочных программ,
Всесоюзная конференция
“Методы математической логики в проблемах
искусственного интеллекта”,
(г. Паланга, 3–5 сентября, 1980 г.).
- Методика разработки многоязыковых трансляторов на примере
системы БЕТА
(Совместно с
Ершовым А.П., Покровским С.Б., Поттосиным И.В.,
Степановым Г.Г.),
Советско-болгарское совещание
“Математическая теория и практика систем программирования”,
(г. София, Болгария, 26–30 октября, 1980 г.).
- Быстый алгоритм выделения максимальных линейных участков
в программе,
Советско-болгарское совещание
“Математическая теория и практика систем программирования”,
(г. София, Болгария, 26–30 октября, 1980 г.).
1981
- Быстрые алгоритмы анализа структур программ,
Всесоюзная школа-семинар “Оценки сложности вычислений”,
(г. Ленинград, 20–22 января, 1981 г.).
- Система БЕТА — первые шаги
(Совместно с Захаровым Л.А., Покровским С.Б.,
Поттосиным И.В., Сабельфельдом В. К., Степановым Г.Г.,
Трахтенбротом М.Б., Фороновым В.И.,Югриновой О.В.,
Яковлевой О.Б.),
Всесоюзная конференция по методам трансляции,
(г. Новосибирск, 3–5 февраля, 1981 г.).
- Оптимизация программ,
Всесоюзная конференция по методам трансляции,
(г. Новосибирск, 3–5 февраля, 1981 г.).
- Вопросы моделирования программ при их оптимизации,
Всесоюзная конференция по методам трансляции,
(г. Новосибирск, 3–5 февраля, 1981 г.).
- Об автоматическом конструировании качественных программ,
основанном на преобразованиях
(Совместно с Дзелинским А.М. и Поттосиным И.В.),
Всесоюзная конференция “Программное обеспечение
вычислительных сетей и систем реального времени”,
(г. Киев, 14–18 декабря, 1981 г.).
1982
- Модели для оптимизации программ,
Всесоюзный семинар с международным участием “Оптимизация и
преобразование программ”,
(г. Новосибирск, 3–7 мая, 1982 г.).
- Автоматизированное построение программ путем их
конкретизации,
Международный семинар
“Проблемы информатики и ее применения в управлении, обучении
и научных исследованиях (Гелечица-82)”,
(Гелечица, Болгария, 6–12 июня, 1982 г.).
- Теоретико-графовые задачи в трансляции,
II Всесоюзное совещание “Методы и программы решения
оптимизационных задач на графах и сетях”,
(г. Улан-Удэ, 24–26 августа, 1982 г.).
- Язык для представления алгоритмов анализа программ,
II Всесоюзное совещание “Методы и программы решения
оптимизационных задач на графах и сетях”,
(г. Улан-Удэ, 24–26 августа, 1982 г.).
- Обзор методов анализа программ
(Совместно с В.К. Сабельфельдом),
Рабочая группа по автоматическому синтезу и преобразованиям
программ,
(г. Новосибирск, 9–12 ноября, 1982 г.).
1983
- Контекстно-свободные преобразования
аннотированных программ,
II Всесоюзная конференция
“Автоматизация производства пакетов и трансляторов”,
(г. Таллин, 12–14 апреля, 1983 г.).
- Чистка циклов,
IV Всесоюзный семинар
“Системное и теоретическое программирование”,
(г. Кишинев, 31 мая-2 июня, 1983 г.)
- Basis for program optimization,
9th World Computer IFIP Cogress (IFIP'83),
(Paris, France, September 19–23, 1983).
- Смешанные вычисления и оптимизация программ,
Региональная Северо-Кавказская школа по смешанным вычислениям,
(пос. Лиманчик, 4–12 октября, 1983 г.).
1984
- Проблемы оптимизации программ,
цикл лекций
“Алгоритмические проблемы в программировании”,
(пос. Цесис, 16–21 апреля, 1984 г.).
- Вопросы подготовки специалистов по
программированию,
III Международный семинар
“Проблемы информатики и ее применения в
управлении, обучении и научных исследованиях”,
(Гелечица, Болгария, 7–11 июля, 1984 г.).
- Методы анализа потока данных в программах,
III Всесоюзное совещание
“Методы и программы решения
оптимизационных задач на графах и сетях”,
(г. Ташкент, 27–30 августа, 1984 г.).
- Обобщенная задача анализа свойств состояний программ,
III Всесоюзное совещание
“Методы и программы решения
оптимизационных задач на графах и сетях”,
(г. Ташкент, 27–30 августа, 1984 г.).
- Вопросы редукции программ,
Всесоюзная конференция
“Методы трансляции и конструирования программ”,
(г. Новосибирск, 29–31 октября, 1984 г.).
1985
- Оптимизация программ:
текущее состояние и перспективы,
Всесоюзная конференция
“Надежность и качество матобеспечения”,
(г. Львов, 29–31 января, 1985 г.).
- Конструирование качественных программ
посредством конкретизирующих преобразований,
Всесоюзная конференция
“Надежность и качество матобеспечения”,
(г. Львов, 29–31 января,
1985 г.).
- Методы факторизации алгоритмов анализа
свойств программ,
Всесоюзная конференция
“Надежность и качество матобеспечения”,
(г. Львов, 29–31 января, 1985 г.).
- A method for constructing quality program
versions,
Sovieto-Francais Symposium INFORMATIQUE-85,
(Tallinn, May 14–17, 1985).
1986
- Методы расширения в языках спецификации и системах
преобразования программ методами преобразований,
семинар “Расширяемые средства программирования”,
(г. Кишинев, 3–5 июня, 1986 г.).
- Организация курса по методам трансляции,
IV Международный семинар
“Проблемы информатики и ее применения в
управлении, обучении и научных исследованиях”,
(Гелечица, Болгария, 8–14 июля, 1986 г.).
- Конструирование качественных программ методом
конкретизирующих преобразований,
Всесоюзная конференция
“Проблемы совершенствования синтеза, тестирования,
верификации и отладки программ”,
(г. Рига, 12–14 ноября, 1986 г.).
- Анализ управляющих и информационных свойств программ,
ориентированных на статическую проверку их правильности
(Совместно с Сабельфельдом В.К.),
Всесоюзная конференция
“Проблемы совершенствования синтеза, тестирования,
верификации и отладки программ”,
(г. Рига, 12–14 ноября, 1986 г.).
1987
- Инструментальные средства преобразования программ
(Совместно с Сабельфельдом В. К.),
семинар “Автоматизированное рабочее место программиста”,
(г. Новосибирск, 15–17 сентября, 1987 г.).
1988
- Tools for program transformations
(With Sabelfeld V.K.),
Colloque Franco-Sovietique
“Informatika-88”,
(Nice, France, February 23–25, 1989).
- Семантические преобразования программ,
Всесоюзная конференция
по трансляции и конструированию программ,
(г. Новосибирск, 23–25 ноября, 1988 г.).
1989
- Annotated program transformation,
Seminar “Betriebssysteme, Softwareretechnologie und
Wissensverarbeitung”,
(Born/Darss, GDR,
April 17–21, 1989).
- Трансформационный подход к конкретизации программ,
Всесоюзный семинар
“Методы и инструментальные средства генерации программ”,
(пос. Планерское, 15–21 мая, 1989 г.).
- A model for annotated programming,
Soviet-Franch Symposium
“Knowledge-Based Software Engineering
(INFORMATICS'89)”,
(Tallinn, USSR, May 29–June 2, 1989).
- Алгоритмические вопросы применения теории графов в
программировании
(Совместно с Евстигнеевым В.А.),
IV Всесоюзное совещание
“Методы и программы решения
оптимизационных задач на графах и сетях”,
(г. Новосибирск, 17–19 сентября, 1989 г.).
- Система для анализа и преобразования программ,
II Всесоюзное совещание
по автоматизированному проектированию программного
обеспечения систем управления движением,
(пос. Рыбачье, 20–23 сентября, 1989 г.).
- АС — система для проверки и испытания программ,
IX Всесоюзная конференция
“Планирование и автоматизация эксперимента в научных
исследованиях”,
(г. Москва, 25–27 сентября, 1989 г.).
- Annotated program transformations,
The 9–th Conference on Foundations of Software
Technology and Theoretical Computer Science
(FST&TCS-89),
(Bangalore, India, 19–21 December, 1989).
1990
- Трансформационные методы оптимизации и конструирования
программ,
X Всесоюзный семинар
“Параллельное программирование и высокопроизводительные
системы: методы представления знаний в информационных
технологиях”,
(г. Уфа, 19–26 июня, 1990 г.).
- Организация учебной и научно-исследовательской
работы студентов по программированию на механико–математическом
факультете НГУ,
Республиканское совещание-семинар
“Использование ЭВМ в учебной и
научно-исследовательской работе студентов”,
(г. Махачкала, 16–19 сентября, 1990 г.).
- Tools and techniques of annotated programming,
The 3–rd International Workshop on Compiler Compilers
(CC'90),
(Schwerin, FRG, October 22–24, 1990).
- Трансформационный подход к конструированию и
оптимизации программ,
Конференция “Смешанные вычисления и преобразование
программ (СВПП-90)”,
(г. Новосибирск, 24–29 ноября, 1990 г.).
1991
- Relation between theory and practice in program
transformation,
(With I.V.Pottosin),
International Conference “Perspectives of Systems
Informatics”,
(Novosibirsk, USSR, May 27–30, 1991).
1992
- Трансформационные методы и средства
конструирования эффективных и надежных программ,
Международный семинар
“Методы конструирования программ”,
12-я сессия Всесоюзной школы-семинара
“Параллельное программирование и
высокопроизводительные системы:
методы и средства конструирования
программ”,
(пос. Планерское, 21–26 сентября, 1992 г.).
1993
- Transformational approach to
designing effective and reliable programs for parrallel computers
(With Evstigneev V.A.),
International Congress on Computer Systems and Applied Mathematics
(CSAM-93),
(St. Peterburg, Russia, August 19–23, 1993).
- Educational informatics
systems and education in computer sciences
(With Gorodniaya L.V.),
International Congress on Computer Systems and Applied Mathematics
(CSAM-93),
(St. Peterburg, Russia, August 19–23, 1993).
- SOKRAT: an environment for safe and effective programming
(With Kusminov T.V., Pokrovsky S.B., Pottosin I.V.,
Sabelfeld V.K., Shelekhov V.I., Stepanov G.G., Zakharov L.I.),
International Congress on Computer Systems and Applied Mathematics
(CSAM-93),
(St. Peterburg, Russia, August 19–23, 1993).
- The PROGRESS program manipulation system
(With Evstigneev V.A.),
International Conference
“Parallel Computer Technologies
(PaCT-93)”
(Obninsk, Russia, August 30–September 4, 1993).
1994
- Архитектуры с мелкозернистым параллелизмом
и проблема построения прототипов компиляторов
(Совместно с Булышевой Л.А. и Евстигнеевым В.А.),
Сибирская конференция по прикладной и индустриальной
математике (ИНПРИМ-94),
(г. Новосибирск, 25–29 июля, 1994 г.).
- О работах лаборатории в области систем учебной информатики
(Совместно с Городней Л.В.),
семинар “Программные системы учебной информатики”,
(г.Новосибирск, 15–20 августа, 1994 г.).
- Restructuring compilation techniques and a program manipulation system
for fine-grain
architectures
(With V.A.Evstigneev),
The 2-nd International Conference on Software for
Multiprocessors &
Supercomputers (SMS TPE'94),
(Moscow, Russia, September 19–23, 1994).
1995
- СОКРАТ: окружение надежного и эффективного программирования
(Совместно с Захаровым Л.А., Кузьминовым Т.В.,
Покровским С.Б., Поттосиным И.В., Сабельфельдом В. К., Степановым Г.Г.,
Шелеховым В.И.),
конференция “Актуальные проблемы информатики, прикладной
математики и механики”,
(г.Красноярск, январь, 1995 г.).
- О работах ИСИ СО РАН в области систем учебной информатики
(Совместно с Городней Л. В. и Цикозой В.А.),
Международная конференция “Новые информационные
технологии в университетском образовании”,
(г.Новосибирск, 14–17 марта, 1995 г.).
- Formal methods in program analysis and transformations
(With
V.K.Sabelfeld),
International Conference
“Advanced Mathematics, Computations
and Applications (AMCA-95)”,
(Novosibirsk, Russia, June 20–24, 1995).
- Methods and tools for constructing reliable
and efficient software via annotated program transformations,
The 3–rd International Congress on
Industrial and Applied Mathematics (ICIAM-95),
(Hamburg, Germany, July 3–5, 1995).
- A program manipulation
system for fine-grained architectures
(With Evstigneev V.A.),
International Conference on Parallel Processing
(EURO-PAR'95),
(Stockholm, Sweden, August 29–31, 1995).
- A program manipulation
system for fine-grained architectures
(With Evstigneev V.A.),
International Conference
“Parallel Computer Technologies (PaCT-95)”,
(St. Peterburg, Russia, September 12–15, 1995).
1996
- Вопросы преподавания фундаментальных
основ информатики и программирования
(Совместно с Городней Л.В. и Евстигнеевым В.А.),
Международная научно-методическая конференция
“Новые информационные технологии в университетском
образовании”,
(г. Новосибирск, 19–22 марта, 1996 г.).
- Вопросы
эффективного использования параллельных ЭВМ
(Совместно с Городней Л.В. и Евстигнеевым В.А.),
Международная конференция
“Математические модели и численные методы
механики сплошных сред”,
(г. Новосибирск, 19–22 марта, 1996 г.).
- A basis for program analysis and transformation,
The 2nd European Congress of Mathematics,
(Budapest, Hungery, July 21–27, 1996).
1997
- The system PROGRESS
as a tool for parallelizing compiler prototyping
(With V.Evstigneev and L.Gorodniaya),
The 8-th SIAM Conference
on Parallel Processing for Scientific Computing (PPSC-97),
(Minneapolis, USA, March 14–17, 1997).
- Система для редактирования
иерархических графов
(Совместно с Лисицыным И.А.),
III Международная конференция по новым информационным
технологиям в университетском образовании,
(г. Новосибирск, 25–27 марта, 1997 г.).
- Вопросы преподавания информатики и
программирования,
Всероссийская конференция “Проблемы информатизации
региона
(ПИР-97)”,
(г. Красноярск, 7–8 октября, 1997 г.).
- Параллельная обработка: вопросы обучения
(Совместно с Городней Л.В., Евстигнеевым В. А., Бирюковой Ю.В.,
Малининой Ю.В., Цикозой С.Г., Климовой Т.А., Харитоновым Э.В.),
III Международная конференция по новым информационным
технологиям в университетском образовании,
(г. Новосибирск, 25–27 марта, 1997 г.).
- СИМИКС — информационная система для
поддержки гуманитарных исследований и образования в области культуры
(Совместно с Несговоровой Г.П.),
VIII Международная конференция по применению новых
технологий в образовании,
(г. Троицк, 30 июня–3 июля, 1997 г.).
- Изложение отечественной истории информатики для школы
(Совместно с Городней Л. В., Евстигнеевым В.А., Калининой Н.А.,
Мурзиным Ф.А.),
VIII Международная конференция по применению новых
технологий в образовании,
(г. Троицк, 30 июня-3 июля, 1997 г.).
- Formal methods for program reusability,
The 15th IMACS World Congress
on Scientific Computation, Modelling and Applied
Mathematics,
(Berlin, Germany, August 24–29, 1997).
1998
- Поддержка супервычислений и интернет-ориентированные
технологии
(Совместно с Евстигнеевым В.А., Малининой Ю.В.,
Бирюковой Ю.В., Маркиным В.А., Харитоновым Э.В.,
Цикозой С.Г.),
IV Международная конференция по новым информационным
технологиям в университетском образовании,
(г. Новосибирск, 17–19 марта, 1998 г.).
- Методы и средства визуальной обработки иерархических
графовых моделей
(Совместно с Лисицыным И.А.),
IV Международная конференция по новым информационным
технологиям в университетском образовании,
(г. Новосибирск, 17–19 марта, 1998 г.).
- Вопросы информационной поддержки научных исследований и
преподавания гуманитарных дисциплин
(Совместно с Несговоровой Г.П.),
IV Международная конференция по новым информационным
технологиям в университетском образовании,
(г. Новосибирск, 17–19 марта, 1998 г.).
- Iterative switching networks, The 2nd
IMACS International Conference on Circuits, Systems and Computers
(IMACS-CSC'98),(Athens, Greece, October 25–30, 1998).
- Hierarchical graphs and visual processing, International Congress of Mathematicians (ICM98),
(Berlin, Germany, August 18–27, 1998).
- Graph methods in program construction and optimization,
Seventh Intern. Colloquim on Numerical Analysis and Computer Science with Applications,
(Plovdiv, Bulgaria , August 13–17, 1998).
- Вопросы инструментальной поддержки визуальной обработки
иерархических графовых моделей, Третий Сибирский конгресс по
прикладной и индустриальной математике, посвященный памяти С.А. Соболева,
(г. Новосибирск, 22–27 июля, 1998 г.).
- Средства поддержки супервычислений
(Совместно с Евстигнеевым В.А., Малининой Ю.В.,
Бирюковой Ю.В., Маркиным В.А., Харитоновым Э.В.,
Цикозой С.Г.),
Третий Сибирский конгресс по прикладной и индустриальной математике,
посвященный памяти С.А. Соболева, (г.Новосибирск, 22–27 июля, 1998 г.).
- Поддержка супервычислений и интернет-ориентированные технологии
(Совместно с Евстигнеевым В.А., Малининой Ю.В.,
Бирюковой Ю.В., Маркиным В.А., Харитоновым Э.В.,
Цикозой С.Г.),
Шестой Международный семинар
“Распределенная обработка информации (РОИ-98)”,
(г. Новосибирск, 3–25 июня, 1998 г.).
- Graph models and techniques in construction of efficient and reliable
Programs,
The SIAM Annual Meeting
(Toronto,Canada, July 13–17, 1998).
- Hierarchical graph processing
(With Lisitsyn I.A.),
The Ninth SIAM Conference on Discrete Mathematics,
(Toronto, Canada, July 12–15, 1998).
- Iterative switching networks,
The Ninth SIAM Conference on Discrete Mathematics,
(Toronto, Canada, July 12–15, 1998).
1999
- Толковый словарь по теории графов и его Web-версия
(Совместно с Евстигнеевым В.А., Казанцевым В.Е., Гибадуллиным А.З.),
V Международная научно-методическая конференция
“Новые информационные технологии в университетском
образовании”
(г. Новосибирск, 17–19 марта, 1999 г.).
- Вводный курс программирования на Паскале в
заданиях и упражнениях,
V Международная научно-методическая конференция
“Новые информационные технологии в университетском,
образовании” (г. Новосибирск, 17–19 марта, 1999 г.).
- Support tools for supercomputing and networking
(With Evstigneev V.A., Malinina J.V.,
Birjukova J.V., Markin V.A., Haritonov E.V., Tsikoza S.G.),
The 7th International Conference on
High-Performance Computing and Networking Europe
(HPCN Europe '99),
(Amsterdam, Netherlands, April 12–14,1999).
- Вводный курс программирования на Паскале в
заданиях и упражнениях, X Международная
конференция “Применение новых технологий в
образовании”, (г. Троицк, Московская область,
30 июня–3 июля, 1999 г.).
- СИМИКС — информационная система по истории информатики
(Совместно с Евстигнеевым В.А., Несговоровой Г. П., Цикозой С.Г.),
X Международная конференция “Применение новых технологий в
образовании”, (г. Троицк, Московская область,
30 июня–3 июля, 1999 г.).
- Support tools for supercomputing,
The Fourth International Congress on Industrial
and Applied Mathematics (ICIAM-99),
(Edinburg, Scotland, July 5–9, 1999).
- Support tools for hierarchical information visualization (With Lisitsyn I.A.),
The 8th International Conference on Human-Computer Interaction (HCI
International '99), (Munich, August 22–27,1999).
- On visualization in computer-aided teaching of mathematics
(With Lisitsyn I.A.), The IX Congress for the Learning and Teaching
of Mathematics (IX JAEM), (Galicia, Ludo, September 9–11, 1999).
- HIGRES — visualization system for clustered graphs and graph algorithms
(With Lisitsyn I.A.),
The 7th International Symposium on Graph Drawing (Graph Drawing'99),
(Stirin Castle, Prague, Czech Republic, September 15–19, 1999).
- О базовом университетском образовании математиков
по информатике и программированию,
Международная конференция “Выпускник НГУ и научно-технический прогресс”,
(г.Новосибирск, 22–25 сентября, 1999 г.).
2000
- Модели и инструменты параллельного программирования,
VI
Международная научно-методическая конференция
“Новые информационные технологии в университетском образовании”,
(г. Томск, 21–23 марта, 2000).
- Применение теории графов в информатике и программировании,
Международная научно-практическая конференция
“Информационные технологии в образовании (МКИТО-2000)”,
(г. Шахты, Ростовская обл., 20–21 апреля, 2000).
- Средства поддержки применения графов в программировании,
Вторая Международная научно-практическая конференция по программированию,
(г. Киев, Украина, 23–26 мая, 2000).
- Средства поддержки применения графов в программировании,
Четвертый Cибирский конгресс по прикладной и индустриальной математике (ИНПРИМ-2000),
(г. Новосибирск, 26 июня–1 июля, 2000).
- Support tools for graphs in computer science,
Third European Congress of Mathematics,
(Barcelona, Spain, July 10–14, 2000).
- AFORT: a System for Annotated Fortran Program Manipulation,
The 16th IMACS World Congress
on Scientific Computation, Applied Mathematics and Simulation,
(Lausanne, Switzerland, August 21–25, 2000).
- Hierarchical graph models and visual processing
(With Lisitsyn I.A.),
The 16th IFIP World Computer Congress,
(Beijing, China, August 21–25, 2000).
- SIMICS: information system on information history,
The 16th
IFIP World Computer Congress,
(Beijing, China, August 21–25, 2000).
- An integrated environment for annotated program transformations,
The 2nd International Workshop on Computer Science and Information Technologies,
(Ufa, September 18–23, 2000).
- Вопросы обучения математиков программированию,
Всероссийская конференция “Математика и общество. Математическое образование на рубеже веков”,
(г. Дубна, 19–23 сентября , 2000).
- Графы в информатике и программировании,
Пятая Международная научно-методическая конференция
“Новые информационные технологии в электротехническом образовании”,
(г. Астрахань, 20–23 сентября, 2000).
- An environment for support of quality software development via
annotated program transformations,
International Software Development and Management (ISD&M),
(Hong Kong, December 14–15, 2000).
2001
- A support tool for annotated program manipulation,
The 5th European Conference on Software Maintenance and
Reengineering
(CSMR'2001),
(Lisbon, Portugal, March 14–16, 2001).
- Вопросы обучения информатике и программированию,
Международная научно-методическая конференция “Информационные технологии
в науке и образовании (МКИТО-2001)”,
(г. Шахты, Ростовская обл., 20–21 апреля, 2001).
- Support tools for graphs in computer
science and computer education,
International Conference on Telematics and Web-based Education
(Telematica-2001),
(St.Peterburg, June 18–20, 2001).
- Methods and tools functional programming
and supercomputing,
International Conference on Telematics and Web-based Education
(Telematica-2001),
(St.Peterburg, June 18–20, 2001).
- Course of programming in Pascal in tasks and exercises,
International Conference on Telematics and Web-based Education
(Telematica-2001),
(St.Peterburg, June 18–20, 2001).
- Support tools for graph in computer science and education,
The IFIP World Conference on Computers in Education (WCCE 2001),
(Copenhagen, Denmark, 29 July–3 August, 2001).
- Support tools for graph in computer science education,
International Conference on Advanced Learning Technologies (ICALT 2001),
(Madicon, USA, August 6–8, 2001).
- Проблемы обучения информатике и программированию,
IV Международная научно-методическая конференция “Новые информационные технологии в региональной
инфраструктуре и образовании (НИТРИО-2001)”,
(г. Астрахань, 24–29 сентября, 2001).
- Вопросы обучения информатике и программированию,
XI Международная науч.–практ. конференция “Информационные технологии
в образовании (ИТО-2001)”, (г.Москва, 5–9 ноября, 2001).
- Проблемы обучения информатике и программированию,
Всероссийская конференция “Технологии
информационного общества — Интернет и современное общество (IST/IMS-2001)”,
(г. Санкт-Петербург, 20–23 ноября 2001 г.).
2002
- Виртуальный музей истории информатики в Сибири
(Совместно с Несговоровой Г. П., Волянской Т. А.),
Международная конференция “Электронные изображения и виртуальные
искусства (EVA-2002)”, (г. Киев, Украина, 22–24 мая, 2002).
- Проблемы подготовки специалистов, владеющих информационными технологиями,
II Всероссийская конференция “Подготовка научных кадров в Российской Федерации.
Состояние, перспективы развития ”,
(г. Нижний Новгород, 19–20 июня, 2002).
- Web-based systems for supporting computer-science teaching and learning
(With Kasyanova E.V.),
The 7th ACM SIGCSE Conference on Innovation and Technology in Computer
Science Education, (Aarhus, Denmark, June 22–26, 2002).
- Курс программирования на Паскале в заданиях и упражнениях,
XII Международная конференция
“Применение новых технологий в образовании”,
(г. Троицк, Московская область, 28–29 июня,
2002).
- Graphs in computer–aided education,
International Education &
technology Conference,
(Melborn, Australia, July 7–10, 2002).
- Methods and tools for support of graphs and visual processing,
The 6th WSEAS International Multiconference on Circuits, Systems,
Communications and Computers (CSCC'2002),
(Rethymnon, Crete Island, Greece, July 7–14, 2002).
- Annotated programming: methods and models,
International Congress of Mathematicians (ICM2002),
(Beijing, Chine, August 20–23, 2002).
- Graphs in computer science: methods and tools,
The 17th IFIP World Computer Congress (WCC 2002),
(Montreal, Canada, August 25–30, 2002).
- Graphs in programming: methods and tools for education,
Международная конференция “Вычислительные
технологии и математические модели в науке, технике и образовании
(ВТММ-2002)”,
(г. Алма-Ата, Казахстан, 18–20 сентября, 2002).
- Виртуальный музей историии информатики в Сибири
(Совместно с Несговоровой Г. П., Волянской Т. А.),
Научно-практическая конференция “Культура информационного общества”,
(г. Красноярск, 11 декабря, 2002).
2003
- Virtual museum of informatics history in Siberia (With Nesgovorova G.P.,
Volyanskaya T.A.),
The 10th International Conference on Human-Computer Interaction
(HCI International 2003),
(Heraklion,
Crete, Greece, June 22–27, 2003).
- An environment for Web-based education of programming (With Kasyanova E.V.),
The 10th International Conference on Human-Computer Interaction (HCI International 2003),
(Heraklion, Crete, Greece, June 22–27, 2003).
- Применение графов в программировании,
Международный конгресса “МАТЕМАТИКА в XXI веке. Роль ММФ НГУ в науке,
образовании и бизнесе”, (г.Новосибирск, 25–28 июня, 2003).
- Support tools for computer science teaching and learning,
The
IASTED International Conference on Computers and Technology in Education,
(Rhodes, Greece, June 30–July 2, 2003).
- Адаптивная гипермедиа и ее использование при создании виртуального музея истории информатики в Сибири
(Совместно с Несговоровой Г. П., Волянской Т. А.),
Пятая международная конференция памяти А.П. Ершова “Перспективы систем
информатики”, (г. Новосибирск, 9–12 июля, 2003).
- Игорь Васильевич Поттосин — ученый и человек,
Пятая международная конференция памяти А.П. Ершова “Перспективы систем
информатики”, (г. Новосибирск, 9–12 июля, 2003).
2004
- Graph-based interactive learning systems,
World Conference
on Educational Multimedia, Hypermedia & Telecommunications
(ED-MEDIA 2004), (Lugano, Switzerland, June 21–26, 2004).
- Hierarchical graph models and tools for visual processing and supercomputing,
The 4th European Congress of Mathematics. Mathematics in Science and
Technology (ECM 2004), (Stockholm, Sweden, June 27–July 2, 2004).
- SVM — Siberian virtual museum of informatics history,
The 4th International Conference Internet-Education-Science (IES-2004),
(Vinnytsia, Ukraina, October 5–9, 2004).
- Дистанционное обучение: методы и средства адаптивной гипермедиа
(Совместно с Касьяновой Е.В.),
Международная конференция “Вычислительные технологии и математическое
моделирование в науке, технике и образовании (BTMM-2004)”,
(г. Алма-Ата, Казахстан, 6–10 октября, 2004).
- SVM — Siberian virtual museum of informatics history
(With Nesgovorova G.P., Volyanskaya T.A.),
Международная конференция “Вычислительные технологии и математическое
моделирование в науке, технике и образовании (BTMM-2004)”,
(г. Алма-Ата, Казахстан, 6–10 октября, 2004).
2005
- Methods and tools of functional programming for supporting parallel
programming, The 17th IMACS World Congress on Scientific Computation,
Applied Mathematics and Simulation (IMACS'2005),
(Paris, France, July 11–15, 2005).
- The SVM — Siberian virtual museum of informatics history,
EVA 2005 London Conference,
(London, UK, July 25–29, 2005).
- SVM — Siberian virtual museum of informatics history,
International Conference e-Challenges e-2005,
(Ljubljana, Slovenia, October 19–21, 2005).
2006
- SVM — an open adaptive virtual museum of informatics history in Siberia,
International Conference of the Educational Programme TEMPUS/TASIC
“International Integration of Tyumen Region”, (Tuymen, Russia,
June 5–6, 2006).
- Академик А.П.Ершов — ученый и человек,
Шестая международная конференция памяти А.П. Ершова “Перспективы
систем информатики”, (г.Новосибирск, 27–30 июня, 2006).
- А.П. Ершов и графы в программировании,
Межд. конф. “Развитие вычислительной техники в России и странах бывшего СССР.
История и перспективы (SORUCOM 2006)”, (г. Петрозаводск, 3–7 июля, 2006).
- An open adaptive virtual museum of informatics history in Siberia,
Межд. конф. “Развитие вычислительной техники в России и странах бывшего СССР.
История и перспективы (SORUCOM 2006)”, (г. Петрозаводск, 3–7 июля, 2006).
- A functional programming system for supporting parallel programming,
The 10th WSEAS International Conference on Computer,
(Vouliagmeni, Athens, Greece, July 10–15, 2006).
- A system for investigation of regulatory processes and control systems
on the genome level, The 10th WSEAS International Conference on Computer,
(Vouliagmeni, Athens, Greece, July 10–15, 2006).
- Development of algorithms and intelligent software for investigation
of regulatory processes and control systems on the genome level,
International Congress of Mathematicians (ICM2006),
(Madrid, Spain, August 22–30, 2006).
- Реструктурирующие преобразования: алгоритмы распараллеливания циклов
(Совместно с Мирзуитовой И.Л.),
Международная конференция “Вычислительные и информационные технологии
в науке и образовании”, (Павлодар, Казахстан, 20–22 сентября,
2006).
2007
- Methods and a system of functional programming for supporting
supercomputing, The 6th International Congress on Industrial and
Applied Mathematics (ICIAM–07), (Zurich, Switzerland, July 16–20, 2007).
- A functional programming system SFP: Sisal 3.1 language structures
decomposition (With Stasenko A.P.),
The 19th International Conference on Parallel Computing Technologies (PaCT-07),
(Pereslavl–Zalesskii, Russia, September 3–7, 2007).
- A Web-based system for distance learning of programming
(With Kasyanova E.V.),
European Computing Conference (ECC 2007),
(Vouliagmeni, Athens, Greece, September 25–27, 2007).
- Sisal 3.2 language structures decomposition
(With Stasenko A.P.),
European Computing Conference (ECC 2007),
(Vouliagmeni, Athens, Greece, September 25–27, 2007).
2008
- Языковые и программные средства для конструирования и оптимизации параллельных программ,
VIII Международная конференция
“Информатика: проблемы, методология, технологии”,
(г.Воронеж, 7–8 февраля, 2008).
- Methods and a system of functional programming for supporting supercomputing,
Fifth European Congress of Mathematics (5ECM),
(Amsterdam, Netherlands, 14–18 July, 2008).
- Музеи и Интернет,
Международная конференция “Современные информационные технологии и письменное наследие:
от древних текстов к электронным библиотекам” El'Manuscript-08,
(г. Казань, 25–30 августа, 2008).
- An open adaptive virtual museum of informatics history in Siberia,
2008 IFIP World Computer Congress (WCC2008–IFIP),
(Milan, Italy, September 7–10, 2008).
- WAPE — a system for distance learning of programming
(With Kasyanova E.V.),
2008 IFIP World Computer Congress (WCC2008–IFIP),
(Milan, Italy, September 7–10, 2008).
- Музеи и Интернет: новая виртуальная реальность,
Международная конференция “Вычислительные и информационные
технологии в науке, технике и образовании”,
(г. Алматы, Казахстан, 10 – 14 сентября, 2008).
- Языковые и программные средства конструирования параллельных программ,
Международная конференция “Вычислительные и информационные
технологии в науке, технике и образовании”,
(г. Алматы, Казахстан, 10 – 14 сентября, 2008).
- Курс по основам информатики и программирования,
Всероссийская научно-методическая конференция
“Университет в системе непрерывного образования”,
(г. Пермь, 14–15 октября, 2008).
2009
- Сибирский межрегиональный Фонд “Информатика: развитие и образование”(ИнфРО),
Седьмая международная конференция памяти академика А. П. Ершова
“Перспективы систем информатики”,
(г. Новосибирск, 15–-19 июня, 2009).
- Всемирные компьютерные конгрессы ИФИП,
Седьмая международная конференция памяти академика А. П. Ершова
“Перспективы систем информатики”,
(г. Новосибирск, 15–-19 июня, 2009).
- Методические и программные средства поддержки обучения теоретико-графовым методам и алгоритмам,
Седьмая международная конференция памяти академика А. П. Ершова
“Перспективы систем информатики”,
(г. Новосибирск, 15–-19 июня, 2009).
2010
- Визуализация графов и графовых моделей,
X Международная конференция
“Информатика: проблемы, методология, технологии”,
(г. Воронеж, 11–12 февраля 2010).
- Support tools for graphs in computer science,
Fifteenth Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE'10),
(Ankara, Turkey, June 26–30, 2010).
- Tools for supporting graphs in computer science,
International Congress of Mathematicians (ICM 2010),
(Hyderabad, India, 19–27 August, 2010).
2011
- Визуализация графов и графовых моделей,
XI Международная конференция
“Информатика: проблемы, методология, технологии”,
(г. Воронеж, 10–11 февраля 2011).
- Веб-системы поддержки графов и графовых алгоритмов,
Вторая Международная конференция
Международная заочная научно-практическая конференция
“Актуальные вопросы современной информатики”,
(г. Коломна, 1–15 апреля, 2011).
- Применение теоретико-графовых методов в программировании,
8-я Международная конференция памяти академика А.П. Ершова
“Перспективы систем информатики”,
(г. Новосибирск, 27 июня–1 июля, 2011).
- Sisal 3.2: functional language for supporting scientific supercomputing,
7th International Congress on Industrial and Applied Mathematics (ICIAM 2011),
(Vancouver, Canada, July 18–22, 2011).
- Теоретико-графовые методы в программировании,
Вторая Международная конференция
Развитие вычислительной техники и ее программного обеспечения
в России и странах бывшего СССР (SORUCOM-2011),
(г. Великий Новгород, 12–-16 сентября, 2011).
- Научная школа А. П. Ершова: системы программирования и
информатики
(Совместно с А. Г. Марчуком),
Международная конференция
“Современные проблемы математики, информатики и биоинформатики”,
посвященная 100-летию со дня рождения члена-корреспондента АН СССР
Алексея Андреевича Ляпунова,
(г. Новосибирск, 11–14 октября, 2011).
- Визуализация информации на основе графовых моделей,
Седьмая Международная Азиатская школа-семинар
“Проблемы оптимизации сложных систем”,
(г. Ташкент, Республика Узбекистан, 17-27 октября, 2011).
- Системы поддержки применения графов и графовых алгоритмов
(Совместно с С. Н. Касьяновой),
Седьмая Международная Азиатская школа-семинар
“Проблемы оптимизации сложных систем”,
(г. Ташкент, Республика Узбекистан, 17-27 октября, 2011).
2012
- Визуализация структурированной информации на основе иерархических графовых моделей,
XiI Международная конференция
“Информатика: проблемы, методология, технологии”,
(г. Воронеж, 9–10 февраля 2012).
- Information visualization on the base of hierarchical graph models ,
12th WSEAS Int. Conf. on Applied Informatics and Communications (AIC'12),
(Istanbul, Turkey, August 21–23, 2012).
- Hierarchical graph models and information visualizaion,
3rd World Congress on Software Engineering,
(Wuhan, China, November 2–6, 2012).
- Визуализация структурной информации на основе графовых моделей
(Совместно с Е. В. Касьяновой),
XIII Международная конференция
“IT-технологии: развитие и приложения”,
(г. Владиковказ, 11–14 декабря, 2012).
2013
- Средства поддержки применения теоретико-графовых методов в информатике и программировании
(Совместно с Е. В. Касьяновой),
XiII Международная конференция
“Информатика: проблемы, методология, технологии”,
(г. Воронеж, 7–8 февраля 2013).
- Methods and tools for visualization of graphs and graph algorithms,
2013 International Conference on Systems, Control, Signal Processing and Informatics,
(Rhodes (Rodos) Island, Greece, July 16–19, 2013).
- Визуализация структурированной информации на основе иерархических графовых моделей,
Международная конференция “Математические и информационные технологии” (MIT-2013),
(Врнячка Баня, Сербия; Будва, Черногория, 05– 14 сентября, 2013).
- Инструменты поддержки применения графов и графовых алгоритмов
(Совместно с С. Н. Касьяновой),
Международная конференция “Математические и информационные технологии” (MIT-2013),
(Врнячка Баня, Сербия; Будва, Черногория, 05– 14 сентября, 2013).
2014
- Облачные средства поддержки супервычислений
(Совместно с Арапбаевым Р.Н., Идрисовым Р.И., Касьяновой Е.В.),
XIV Международная конференции
“Информатика: проблемы, методология, технологии”,
(г. Воронеж, 6–7 февраля 2014).
- Information visualization based on hierarchical graph models
(with E.V. Kasyanova, T.A. Zolotuhin),
International conference
Advanced Mathematics, Computations and Applications (AMCA–2014),
(Novosibirsk, Russia, June 8–11, 2014).
- О практикуме по программированию в вузе
(Совместно с Е. В. Касьяновой),
9-я Международная Ершовская конференция по информатике (PSI 2014),
(г. Санкт-Петербург, Петергоф, 24–27 июня, 2014).
- Российская информатика в лицах: мои учителя,
Десятая Международная Азиатская
школа-семинар “Проблемы оптимизации сложных систем”,
(Кыргызская Республика, Иссык-Куль, 25 июля – 5 августа, 2014).
- Information visualization on the base of hierarchical graphs,
V Congress of Mathematicians of Macedonia,
(Ohrid, Republic of Macedonia, September 24-–27, 2014).
- Российская информатика в лицах: мои учителя,
3-я Международная конференция “Развитие вычислительной техники и ее программного
обеспечения в России и странах бывшего СССР: история и перспективы (SORUCOM-2014)”,
(г. Казань, 13–17 октября, 2014).
2015
- Методы и средства параллельного программирования на основе языка Sisal
(Совместно с Идрисовым Р.И., Касьяновой Е.В., Стасенко А.П.),
XV Международная конференция
“Информатика: проблемы, методология, технологии”,
(г. Воронеж, 12–13 февраля 2015).
- О плоских укладках иерархических графов
(Совместно с Касьяновой Е.В.),
XV Международная конференция
“Информатика: проблемы, методология, технологии”,
(г. Воронеж, 12–13 февраля 2015).
- Graph-based tools for computer science teaching and learning
(with E.V. Kasyanova),
International Conference on Big Data, Cloud and Applications (BDCA'15),
(Tetuan, Morocco, May 25–26, 2015).
- Graph- and cloud-based tools for computer science education
(with E.V. Kasyanova),
International Conference on Mobile, Secure and Programmable Networking (MSPN'2015),
(Paris, France, June 15-17, 2015).
- Graph-based tools for computer science teaching and learning
(with E.V. Kasyanova),
2nd International Conference on Creative Education (ICCE 2015),
(London, United Kingdom, June 27–28, 2015).
- Теоретико-графовые методы и системы программирования,
11-я Международная Азиатская
школа-семинар “Проблемы оптимизации сложных систем”,
(г. Чалпон-Ата, Кыргызская Республика, 27 июля – 7 августа, 2015).
- Methods and tools of functional programming for supporting of cloud supercomputing,
International Congress on Industrial and
Applied Mathematics (ICIAM-2015),
(Beijing, Chine, August 10–14, 2015).
- Visual Graph — система визуализации сложно структурированной
информации большого объема на основе графовых моделей
(Совместно с Золотухиным Т.А.),
25-я Международная конференция по компьютерной графике и зрению (GraphiCon'2015),
(г. Протвино, 22–25 сентября, 2015).
- Теоретико-графовые методы и системы программирования,
Международная конференция
“Актуальные проблемы вычислительной и прикладной математики (AMCA-2015)”,
(г. Новосибирск, 19–23 октября, 2015).
2016
- Язык параллельного программирования Cloud Sisal
(Совместно с Идрисовым Р.И., Касьяновой Е.В., Стасенко А.П.),
XVI Международная конференция
“Информатика: проблемы, методология, технологии”,
(г. Воронеж, 11–12 февраля 2016).
- Hierarchical graph models and tools for visual processing and parallel programming,
7th European Congress of Mathematics (7ECM),
(Berlin, Germany, July 18–22, 2016).
- Methods and Tools of Parallel Programming
(with E.V. Kasyanova),
International Conference
“Mathematical and Information Technologies” (MIT-2016),
(Vrnjacka Banja, Serbia; Budva, Montenegro, August 28 – September 5, 2016).
2017
- Автоматическая генерация тестов для оптимизирующего компилятора
(Совместно с Панкратовым С.Б.),
XVII Международная конференция
“Информатика: проблемы, методология, технологии”,
(г. Воронеж, 9–10 февраля, 2017).
- Методы и системы дистанционного обучения программированию
(Совместно с Касьяновой Е.В.),
XVII Международная конференция
“Информатика: проблемы, методология, технологии”,
(г. Воронеж, 9–10 февраля, 2017).
- Теоретико-графовые методы и системы программирования,
Всероссийской научной конференции памяти А. Л. Фуксмана
“Языки программирования и компиляторы '2017”,
(г. Ростов-на-Дону, 3–5 апреля 2017).
- Облачные средства поддержки параллельного программирования,
Международная конференция “Актуальные проблемы чистой и прикладной математики”,
посвященная 100-летию со дня рождения академика
Тайманова Асана Дабсовича,
(г. Алматы, Республика Казахстан, 22–25 августа, 2017).
- A system for visualization of big attributed hierarchical graphs
(with T. Zolotuhin),
2nd Russian-Pacific Conference on Computer Technology and Applications,
(Vladivostok, Russky Island, September 25–29, 2017).
- A system of functional programming for supporting cloud supercomputing
(with E.V. Kasyanova),
2nd International Conference on: Applied Physics, System Science and Computers,
(Dubrovnik, Croatia, September 27–29, 2017).
- A system for big attributed hierarchical graph visualization
(with T. Zolotuhin),
2nd International Conference on: Applied Physics, System Science and Computers,
(Dubrovnik, Croatia, September 27–29, 2017).
- Российская информатика в лицах: академик Андрей Петрович Ершов,
Всероссийская научно-практическая конференция (с международным участием)
“Гуманитарное образование и наука в техническом вузе”,
посвященная 100-летию со дня рождения М. Т. Калашникова,
(г. Ижевск, 24–-27 октября, 2017).
2018
- Оптимизация программ: анализ публикаций на основе авторских ключевых слов
(Совместно с Малининой Ю.В.),
XVIII Международная конференция
“Информатика: проблемы, методология, технологии”,
(г. Воронеж, 8–9 февраля, 2018).