Хронологический список докладов

1973

  1. О свойствах сводимых графов, II Всесоюзный семинар по комбинаторной математике, (г. Москва, 29–31 января, 1973 г.).

  2. Анализ управляющих графов программ, Всесоюзный симпозиум по системному программированию, (г. Новосибирск, 13–16 марта, 1973 г.).

    1974

  3. Информационные связи и преобразование программ, III Всесоюзный симпозиум “Системное и теоретическое программирование”, (г. Кишинев, 10–12 декабря, 1974 г.).

    1975

  4. Выделение гамаков в ориентированном графе, III Всесоюзный семинар по комбинаторной математике, (г. Москва, 29–31 января, 1975 г.).

  5. Анализ структур программ в глобальной оптимизации (Совместно с Трахтенбротом М.Б.), Всесоюзный симпозиум по методам реализации новых алгоритмических языков, (г. Новосибирск, 10–13 сентября, 1975 г.).

    1976

  6. О нахождении аргументов и результатов в схемах с косвенной адресацией, Советско-американское совещание по языкам программирования сверхвысокого уровня, (г.Москва, сентябрь, 1976 г.).

  7. О социалистическом соревновании между лабораториями теоретических отделений ВЦ СО АН СССР, 1 Межреспубликанский семинар КК и СМУ академических учреждений кибернетического профиля, (г. Минск, 18-20 октября, 1976 г.).

    1977

  8. 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).

  9. Schematology in a multi-language optimizer (With Pokrovsky S.B.), Mathematical foundations of computer science (MFCS-77), (Tatranska Lomtica, Czecoslovakia, September 5–9, 1977).

  10. О преподавании методов трансляции, Совещание-семинар преподавателей государственных университетов по математическому обепечению ЭВМ, (г. Одесса, 12–17 сентября, 1977 г.).

    1978

  11. Применение теории оптимизации программ к проблеме правильности программ, Всесоюзный симпозиум “Теория систем”, (пос. Славско, 21–26 февраля 1978 г.).

  12. Практический подход к оптимизации программ, Вторая Национальная школа болгарских математиков (Программирование-78), (Приморско, Болгария, 11–22 июня, 1978 г.).

    1979

  13. Смешанные вычисления и оптимизация программ, Всесоюзная конференция “Технология программирования”, (г. Киев, 4–8 июня, 1979 г.).

  14. Технологические возможности оптимизации программ (Совместно с Поттосиным И.В.), Всесоюзная конференция “Технология программирования”, (г. Киев, 4–8 июня, 1979 г.).

    1980

  15. Оптимизация крупноблочных программ, Всесоюзная конференция “Методы математической логики в проблемах искусственного интеллекта”, (г. Паланга, 3–5 сентября, 1980 г.).

  16. Методика разработки многоязыковых трансляторов на примере системы БЕТА (Совместно с Ершовым А.П., Покровским С.Б., Поттосиным И.В., Степановым Г.Г.), Советско-болгарское совещание “Математическая теория и практика систем программирования”, (г. София, Болгария, 26–30 октября, 1980 г.).

  17. Быстый алгоритм выделения максимальных линейных участков в программе, Советско-болгарское совещание “Математическая теория и практика систем программирования”, (г. София, Болгария, 26–30 октября, 1980 г.).

    1981

  18. Быстрые алгоритмы анализа структур программ, Всесоюзная школа-семинар “Оценки сложности вычислений”, (г. Ленинград, 20–22 января, 1981 г.).

  19. Система БЕТА — первые шаги (Совместно с Захаровым Л.А., Покровским С.Б., Поттосиным И.В., Сабельфельдом В. К., Степановым Г.Г., Трахтенбротом М.Б., Фороновым В.И.,Югриновой О.В., Яковлевой О.Б.), Всесоюзная конференция по методам трансляции, (г. Новосибирск, 3–5 февраля, 1981 г.).

  20. Оптимизация программ, Всесоюзная конференция по методам трансляции, (г. Новосибирск, 3–5 февраля, 1981 г.).

  21. Вопросы моделирования программ при их оптимизации, Всесоюзная конференция по методам трансляции, (г. Новосибирск, 3–5 февраля, 1981 г.).

  22. Об автоматическом конструировании качественных программ, основанном на преобразованиях (Совместно с Дзелинским А.М. и Поттосиным И.В.), Всесоюзная конференция “Программное обеспечение вычислительных сетей и систем реального времени”, (г. Киев, 14–18 декабря, 1981 г.).

    1982

  23. Модели для оптимизации программ, Всесоюзный семинар с международным участием “Оптимизация и преобразование программ”, (г. Новосибирск, 3–7 мая, 1982 г.).

  24. Автоматизированное построение программ путем их конкретизации, Международный семинар “Проблемы информатики и ее применения в управлении, обучении и научных исследованиях (Гелечица-82)”, (Гелечица, Болгария, 6–12 июня, 1982 г.).

  25. Теоретико-графовые задачи в трансляции, II Всесоюзное совещание “Методы и программы решения оптимизационных задач на графах и сетях”, (г. Улан-Удэ, 24–26 августа, 1982 г.).

  26. Язык для представления алгоритмов анализа программ, II Всесоюзное совещание “Методы и программы решения оптимизационных задач на графах и сетях”, (г. Улан-Удэ, 24–26 августа, 1982 г.).

  27. Обзор методов анализа программ (Совместно с В.К. Сабельфельдом), Рабочая группа по автоматическому синтезу и преобразованиям программ, (г. Новосибирск, 9–12 ноября, 1982 г.).

    1983

  28. Контекстно-свободные преобразования аннотированных программ, II Всесоюзная конференция “Автоматизация производства пакетов и трансляторов”, (г. Таллин, 12–14 апреля, 1983 г.).

  29. Чистка циклов, IV Всесоюзный семинар “Системное и теоретическое программирование”, (г. Кишинев, 31 мая-2 июня, 1983 г.)

  30. Basis for program optimization, 9th World Computer IFIP Cogress (IFIP'83), (Paris, France, September 19–23, 1983).

  31. Смешанные вычисления и оптимизация программ, Региональная Северо-Кавказская школа по смешанным вычислениям, (пос. Лиманчик, 4–12 октября, 1983 г.).

    1984

  32. Проблемы оптимизации программ, цикл лекций “Алгоритмические проблемы в программировании”, (пос. Цесис, 16–21 апреля, 1984 г.).

  33. Вопросы подготовки специалистов по программированию, III Международный семинар “Проблемы информатики и ее применения в управлении, обучении и научных исследованиях”, (Гелечица, Болгария, 7–11 июля, 1984 г.).

  34. Методы анализа потока данных в программах, III Всесоюзное совещание “Методы и программы решения оптимизационных задач на графах и сетях”, (г. Ташкент, 27–30 августа, 1984 г.).

  35. Обобщенная задача анализа свойств состояний программ, III Всесоюзное совещание “Методы и программы решения оптимизационных задач на графах и сетях”, (г. Ташкент, 27–30 августа, 1984 г.).

  36. Вопросы редукции программ, Всесоюзная конференция “Методы трансляции и конструирования программ”, (г. Новосибирск, 29–31 октября, 1984 г.).

    1985

  37. Оптимизация программ: текущее состояние и перспективы, Всесоюзная конференция “Надежность и качество матобеспечения”, (г. Львов, 29–31 января, 1985 г.).

  38. Конструирование качественных программ посредством конкретизирующих преобразований, Всесоюзная конференция “Надежность и качество матобеспечения”, (г. Львов, 29–31 января, 1985 г.).

  39. Методы факторизации алгоритмов анализа свойств программ, Всесоюзная конференция “Надежность и качество матобеспечения”, (г. Львов, 29–31 января, 1985 г.).

  40. A method for constructing quality program versions, Sovieto-Francais Symposium INFORMATIQUE-85, (Tallinn, May 14–17, 1985).

    1986

  41. Методы расширения в языках спецификации и системах преобразования программ методами преобразований, семинар “Расширяемые средства программирования”, (г. Кишинев, 3–5 июня, 1986 г.).

  42. Организация курса по методам трансляции, IV Международный семинар “Проблемы информатики и ее применения в управлении, обучении и научных исследованиях”, (Гелечица, Болгария, 8–14 июля, 1986 г.).

  43. Конструирование качественных программ методом конкретизирующих преобразований, Всесоюзная конференция “Проблемы совершенствования синтеза, тестирования, верификации и отладки программ”, (г. Рига, 12–14 ноября, 1986 г.).

  44. Анализ управляющих и информационных свойств программ, ориентированных на статическую проверку их правильности (Совместно с Сабельфельдом В.К.), Всесоюзная конференция “Проблемы совершенствования синтеза, тестирования, верификации и отладки программ”, (г. Рига, 12–14 ноября, 1986 г.).

    1987

  45. Инструментальные средства преобразования программ (Совместно с Сабельфельдом В. К.), семинар “Автоматизированное рабочее место программиста”, (г. Новосибирск, 15–17 сентября, 1987 г.).

    1988

  46. Tools for program transformations (With Sabelfeld V.K.), Colloque Franco-Sovietique “Informatika-88”, (Nice, France, February 23–25, 1989).

  47. Семантические преобразования программ, Всесоюзная конференция по трансляции и конструированию программ, (г. Новосибирск, 23–25 ноября, 1988 г.).

    1989

  48. Annotated program transformation, Seminar “Betriebssysteme, Softwareretechnologie und Wissensverarbeitung”, (Born/Darss, GDR, April 17–21, 1989).

  49. Трансформационный подход к конкретизации программ, Всесоюзный семинар “Методы и инструментальные средства генерации программ”, (пос. Планерское, 15–21 мая, 1989 г.).

  50. A model for annotated programming, Soviet-Franch Symposium “Knowledge-Based Software Engineering (INFORMATICS'89)”, (Tallinn, USSR, May 29–June 2, 1989).

  51. Алгоритмические вопросы применения теории графов в программировании (Совместно с Евстигнеевым В.А.), IV Всесоюзное совещание “Методы и программы решения оптимизационных задач на графах и сетях”, (г. Новосибирск, 17–19 сентября, 1989 г.).

  52. Система для анализа и преобразования программ, II Всесоюзное совещание по автоматизированному проектированию программного обеспечения систем управления движением, (пос. Рыбачье, 20–23 сентября, 1989 г.).

  53. АС — система для проверки и испытания программ, IX Всесоюзная конференция “Планирование и автоматизация эксперимента в научных исследованиях”, (г. Москва, 25–27 сентября, 1989 г.).

  54. 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

  55. Трансформационные методы оптимизации и конструирования программ, X Всесоюзный семинар “Параллельное программирование и высокопроизводительные системы: методы представления знаний в информационных технологиях”, (г. Уфа, 19–26 июня, 1990 г.).

  56. Организация учебной и научно-исследовательской работы студентов по программированию на механико–математическом факультете НГУ, Республиканское совещание-семинар “Использование ЭВМ в учебной и научно-исследовательской работе студентов”, (г. Махачкала, 16–19 сентября, 1990 г.).

  57. Tools and techniques of annotated programming, The 3–rd International Workshop on Compiler Compilers (CC'90), (Schwerin, FRG, October 22–24, 1990).

  58. Трансформационный подход к конструированию и оптимизации программ, Конференция “Смешанные вычисления и преобразование программ (СВПП-90)”, (г. Новосибирск, 24–29 ноября, 1990 г.).

    1991

  59. 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

  60. Трансформационные методы и средства конструирования эффективных и надежных программ, Международный семинар “Методы конструирования программ”, 12-я сессия Всесоюзной школы-семинара “Параллельное программирование и высокопроизводительные системы: методы и средства конструирования программ”, (пос. Планерское, 21–26 сентября, 1992 г.).

    1993

  61. 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).

  62. 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).

  63. 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).

  64. The PROGRESS program manipulation system (With Evstigneev V.A.), International Conference “Parallel Computer Technologies (PaCT-93)” (Obninsk, Russia, August 30–September 4, 1993).

    1994

  65. Архитектуры с мелкозернистым параллелизмом и проблема построения прототипов компиляторов (Совместно с Булышевой Л.А. и Евстигнеевым В.А.), Сибирская конференция по прикладной и индустриальной математике (ИНПРИМ-94), (г. Новосибирск, 25–29 июля, 1994 г.).

  66. О работах лаборатории в области систем учебной информатики (Совместно с Городней Л.В.), семинар “Программные системы учебной информатики”, (г.Новосибирск, 15–20 августа, 1994 г.).

  67. 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

  68. СОКРАТ: окружение надежного и эффективного программирования (Совместно с Захаровым Л.А., Кузьминовым Т.В., Покровским С.Б., Поттосиным И.В., Сабельфельдом В. К., Степановым Г.Г., Шелеховым В.И.), конференция “Актуальные проблемы информатики, прикладной математики и механики”, (г.Красноярск, январь, 1995 г.).

  69. О работах ИСИ СО РАН в области систем учебной информатики (Совместно с Городней Л. В. и Цикозой В.А.), Международная конференция “Новые информационные технологии в университетском образовании”, (г.Новосибирск, 14–17 марта, 1995 г.).

  70. 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).

  71. 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).

  72. 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).

  73. 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

  74. Вопросы преподавания фундаментальных основ информатики и программирования (Совместно с Городней Л.В. и Евстигнеевым В.А.), Международная научно-методическая конференция “Новые информационные технологии в университетском образовании”, (г. Новосибирск, 19–22 марта, 1996 г.).

  75. Вопросы эффективного использования параллельных ЭВМ (Совместно с Городней Л.В. и Евстигнеевым В.А.), Международная конференция “Математические модели и численные методы механики сплошных сред”, (г. Новосибирск, 19–22 марта, 1996 г.).

  76. A basis for program analysis and transformation, The 2nd European Congress of Mathematics, (Budapest, Hungery, July 21–27, 1996).

    1997

  77. 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).

  78. Система для редактирования иерархических графов (Совместно с Лисицыным И.А.), III Международная конференция по новым информационным технологиям в университетском образовании, (г. Новосибирск, 25–27 марта, 1997 г.).

  79. Вопросы преподавания информатики и программирования, Всероссийская конференция “Проблемы информатизации региона (ПИР-97)”, (г. Красноярск, 7–8 октября, 1997 г.).

  80. Параллельная обработка: вопросы обучения (Совместно с Городней Л.В., Евстигнеевым В. А., Бирюковой Ю.В., Малининой Ю.В., Цикозой С.Г., Климовой Т.А., Харитоновым Э.В.), III Международная конференция по новым информационным технологиям в университетском образовании, (г. Новосибирск, 25–27 марта, 1997 г.).

  81. СИМИКС — информационная система для поддержки гуманитарных исследований и образования в области культуры (Совместно с Несговоровой Г.П.), VIII Международная конференция по применению новых технологий в образовании, (г. Троицк, 30 июня–3 июля, 1997 г.).

  82. Изложение отечественной истории информатики для школы (Совместно с Городней Л. В., Евстигнеевым В.А., Калининой Н.А., Мурзиным Ф.А.), VIII Международная конференция по применению новых технологий в образовании, (г. Троицк, 30 июня-3 июля, 1997 г.).

  83. Formal methods for program reusability, The 15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics, (Berlin, Germany, August 24–29, 1997).

    1998

  84. Поддержка супервычислений и интернет-ориентированные технологии (Совместно с Евстигнеевым В.А., Малининой Ю.В., Бирюковой Ю.В., Маркиным В.А., Харитоновым Э.В., Цикозой С.Г.), IV Международная конференция по новым информационным технологиям в университетском образовании, (г. Новосибирск, 17–19 марта, 1998 г.).

  85. Методы и средства визуальной обработки иерархических графовых моделей (Совместно с Лисицыным И.А.), IV Международная конференция по новым информационным технологиям в университетском образовании, (г. Новосибирск, 17–19 марта, 1998 г.).

  86. Вопросы информационной поддержки научных исследований и преподавания гуманитарных дисциплин (Совместно с Несговоровой Г.П.), IV Международная конференция по новым информационным технологиям в университетском образовании, (г. Новосибирск, 17–19 марта, 1998 г.).

  87. Iterative switching networks, The 2nd IMACS International Conference on Circuits, Systems and Computers (IMACS-CSC'98),(Athens, Greece, October 25–30, 1998).

  88. Hierarchical graphs and visual processing, International Congress of Mathematicians (ICM98), (Berlin, Germany, August 18–27, 1998).

  89. Graph methods in program construction and optimization, Seventh Intern. Colloquim on Numerical Analysis and Computer Science with Applications, (Plovdiv, Bulgaria , August 13–17, 1998).

  90. Вопросы инструментальной поддержки визуальной обработки иерархических графовых моделей, Третий Сибирский конгресс по прикладной и индустриальной математике, посвященный памяти С.А. Соболева, (г. Новосибирск, 22–27 июля, 1998 г.).

  91. Средства поддержки супервычислений (Совместно с Евстигнеевым В.А., Малининой Ю.В., Бирюковой Ю.В., Маркиным В.А., Харитоновым Э.В., Цикозой С.Г.), Третий Сибирский конгресс по прикладной и индустриальной математике, посвященный памяти С.А. Соболева, (г.Новосибирск, 22–27 июля, 1998 г.).

  92. Поддержка супервычислений и интернет-ориентированные технологии (Совместно с Евстигнеевым В.А., Малининой Ю.В., Бирюковой Ю.В., Маркиным В.А., Харитоновым Э.В., Цикозой С.Г.), Шестой Международный семинар “Распределенная обработка информации (РОИ-98)”, (г. Новосибирск, 3–25 июня, 1998 г.).

  93. Graph models and techniques in construction of efficient and reliable Programs, The SIAM Annual Meeting (Toronto,Canada, July 13–17, 1998).

  94. Hierarchical graph processing (With Lisitsyn I.A.), The Ninth SIAM Conference on Discrete Mathematics, (Toronto, Canada, July 12–15, 1998).

  95. Iterative switching networks, The Ninth SIAM Conference on Discrete Mathematics, (Toronto, Canada, July 12–15, 1998).

    1999

  96. Толковый словарь по теории графов и его Web-версия (Совместно с Евстигнеевым В.А., Казанцевым В.Е., Гибадуллиным А.З.), V Международная научно-методическая конференция “Новые информационные технологии в университетском образовании” (г. Новосибирск, 17–19 марта, 1999 г.).

  97. Вводный курс программирования на Паскале в заданиях и упражнениях, V Международная научно-методическая конференция “Новые информационные технологии в университетском, образовании” (г. Новосибирск, 17–19 марта, 1999 г.).

  98. 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).

  99. Вводный курс программирования на Паскале в заданиях и упражнениях, X Международная конференция “Применение новых технологий в образовании”, (г. Троицк, Московская область, 30 июня–3 июля, 1999 г.).

  100. СИМИКС — информационная система по истории информатики (Совместно с Евстигнеевым В.А., Несговоровой Г. П., Цикозой С.Г.), X Международная конференция “Применение новых технологий в образовании”, (г. Троицк, Московская область, 30 июня–3 июля, 1999 г.).

  101. Support tools for supercomputing, The Fourth International Congress on Industrial and Applied Mathematics (ICIAM-99), (Edinburg, Scotland, July 5–9, 1999).

  102. 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).

  103. 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).

  104. 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).

  105. О базовом университетском образовании математиков по информатике и программированию, Международная конференция “Выпускник НГУ и научно-технический прогресс”, (г.Новосибирск, 22–25 сентября, 1999 г.).

    2000

  106. Модели и инструменты параллельного программирования, VI Международная научно-методическая конференция “Новые информационные технологии в университетском образовании”, (г. Томск, 21–23 марта, 2000).

  107. Применение теории графов в информатике и программировании, Международная научно-практическая конференция “Информационные технологии в образовании (МКИТО-2000)”, (г. Шахты, Ростовская обл., 20–21 апреля, 2000).

  108. Средства поддержки применения графов в программировании, Вторая Международная научно-практическая конференция по программированию, (г. Киев, Украина, 23–26 мая, 2000).

  109. Средства поддержки применения графов в программировании, Четвертый Cибирский конгресс по прикладной и индустриальной математике (ИНПРИМ-2000), (г. Новосибирск, 26 июня–1 июля, 2000).

  110. Support tools for graphs in computer science, Third European Congress of Mathematics, (Barcelona, Spain, July 10–14, 2000).

  111. 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).

  112. Hierarchical graph models and visual processing (With Lisitsyn I.A.), The 16th IFIP World Computer Congress, (Beijing, China, August 21–25, 2000).

  113. SIMICS: information system on information history, The 16th IFIP World Computer Congress, (Beijing, China, August 21–25, 2000).

  114. An integrated environment for annotated program transformations, The 2nd International Workshop on Computer Science and Information Technologies, (Ufa, September 18–23, 2000).

  115. Вопросы обучения математиков программированию, Всероссийская конференция “Математика и общество. Математическое образование на рубеже веков”, (г. Дубна, 19–23 сентября , 2000).

  116. Графы в информатике и программировании, Пятая Международная научно-методическая конференция “Новые информационные технологии в электротехническом образовании”, (г. Астрахань, 20–23 сентября, 2000).

  117. 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

  118. A support tool for annotated program manipulation, The 5th European Conference on Software Maintenance and Reengineering (CSMR'2001), (Lisbon, Portugal, March 14–16, 2001).

  119. Вопросы обучения информатике и программированию, Международная научно-методическая конференция “Информационные технологии в науке и образовании (МКИТО-2001)”, (г. Шахты, Ростовская обл., 20–21 апреля, 2001).

  120. 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).

  121. Methods and tools functional programming and supercomputing, International Conference on Telematics and Web-based Education (Telematica-2001), (St.Peterburg, June 18–20, 2001).

  122. 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).

  123. 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).

  124. Support tools for graph in computer science education, International Conference on Advanced Learning Technologies (ICALT 2001), (Madicon, USA, August 6–8, 2001).

  125. Проблемы обучения информатике и программированию, IV Международная научно-методическая конференция “Новые информационные технологии в региональной инфраструктуре и образовании (НИТРИО-2001)”, (г. Астрахань, 24–29 сентября, 2001).

  126. Вопросы обучения информатике и программированию, XI Международная науч.–практ. конференция “Информационные технологии в образовании (ИТО-2001)”, (г.Москва, 5–9 ноября, 2001).

  127. Проблемы обучения информатике и программированию, Всероссийская конференция “Технологии информационного общества — Интернет и современное общество (IST/IMS-2001)”, (г. Санкт-Петербург, 20–23 ноября 2001 г.).

    2002

  128. Виртуальный музей истории информатики в Сибири (Совместно с Несговоровой Г. П., Волянской Т. А.), Международная конференция “Электронные изображения и виртуальные искусства (EVA-2002)”, (г. Киев, Украина, 22–24 мая, 2002).

  129. Проблемы подготовки специалистов, владеющих информационными технологиями, II Всероссийская конференция “Подготовка научных кадров в Российской Федерации. Состояние, перспективы развития ”, (г. Нижний Новгород, 19–20 июня, 2002).

  130. 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).

  131. Курс программирования на Паскале в заданиях и упражнениях, XII Международная конференция “Применение новых технологий в образовании”, (г. Троицк, Московская область, 28–29 июня, 2002).

  132. Graphs in computer–aided education, International Education & technology Conference, (Melborn, Australia, July 7–10, 2002).

  133. 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).

  134. Annotated programming: methods and models, International Congress of Mathematicians (ICM2002), (Beijing, Chine, August 20–23, 2002).

  135. Graphs in computer science: methods and tools, The 17th IFIP World Computer Congress (WCC 2002), (Montreal, Canada, August 25–30, 2002).

  136. Graphs in programming: methods and tools for education, Международная конференция “Вычислительные технологии и математические модели в науке, технике и образовании (ВТММ-2002)”, (г. Алма-Ата, Казахстан, 18–20 сентября, 2002).

  137. Виртуальный музей историии информатики в Сибири (Совместно с Несговоровой Г. П., Волянской Т. А.), Научно-практическая конференция “Культура информационного общества”, (г. Красноярск, 11 декабря, 2002).

    2003

  138. 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).

  139. 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).

  140. Применение графов в программировании, Международный конгресса “МАТЕМАТИКА в XXI веке. Роль ММФ НГУ в науке, образовании и бизнесе”, (г.Новосибирск, 25–28 июня, 2003).

  141. 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).

  142. Адаптивная гипермедиа и ее использование при создании виртуального музея истории информатики в Сибири (Совместно с Несговоровой Г. П., Волянской Т. А.), Пятая международная конференция памяти А.П. Ершова “Перспективы систем информатики”, (г. Новосибирск, 9–12 июля, 2003).

  143. Игорь Васильевич Поттосин — ученый и человек, Пятая международная конференция памяти А.П. Ершова “Перспективы систем информатики”, (г. Новосибирск, 9–12 июля, 2003).

    2004

  144. Graph-based interactive learning systems, World Conference on Educational Multimedia, Hypermedia & Telecommunications (ED-MEDIA 2004), (Lugano, Switzerland, June 21–26, 2004).

  145. 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).

  146. SVM — Siberian virtual museum of informatics history, The 4th International Conference Internet-Education-Science (IES-2004), (Vinnytsia, Ukraina, October 5–9, 2004).

  147. Дистанционное обучение: методы и средства адаптивной гипермедиа (Совместно с Касьяновой Е.В.), Международная конференция “Вычислительные технологии и математическое моделирование в науке, технике и образовании (BTMM-2004)”, (г. Алма-Ата, Казахстан, 6–10 октября, 2004).

  148. SVM — Siberian virtual museum of informatics history (With Nesgovorova G.P., Volyanskaya T.A.), Международная конференция “Вычислительные технологии и математическое моделирование в науке, технике и образовании (BTMM-2004)”, (г. Алма-Ата, Казахстан, 6–10 октября, 2004).

    2005

  149. 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).

  150. The SVM — Siberian virtual museum of informatics history, EVA 2005 London Conference, (London, UK, July 25–29, 2005).

  151. SVM — Siberian virtual museum of informatics history, International Conference e-Challenges e-2005, (Ljubljana, Slovenia, October 19–21, 2005).

    2006

  152. 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).

  153. Академик А.П.Ершов — ученый и человек, Шестая международная конференция памяти А.П. Ершова “Перспективы систем информатики”, (г.Новосибирск, 27–30 июня, 2006).

  154. А.П. Ершов и графы в программировании, Межд. конф. “Развитие вычислительной техники в России и странах бывшего СССР. История и перспективы (SORUCOM 2006)”, (г. Петрозаводск, 3–7 июля, 2006).

  155. An open adaptive virtual museum of informatics history in Siberia, Межд. конф. “Развитие вычислительной техники в России и странах бывшего СССР. История и перспективы (SORUCOM 2006)”, (г. Петрозаводск, 3–7 июля, 2006).

  156. A functional programming system for supporting parallel programming, The 10th WSEAS International Conference on Computer, (Vouliagmeni, Athens, Greece, July 10–15, 2006).

  157. 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).

  158. 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).

  159. Реструктурирующие преобразования: алгоритмы распараллеливания циклов (Совместно с Мирзуитовой И.Л.), Международная конференция “Вычислительные и информационные технологии в науке и образовании”, (Павлодар, Казахстан, 20–22 сентября, 2006).

    2007

  160. 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).

  161. 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).

  162. 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).

  163. Sisal 3.2 language structures decomposition (With Stasenko A.P.), European Computing Conference (ECC 2007), (Vouliagmeni, Athens, Greece, September 25–27, 2007).

    2008

  164. Языковые и программные средства для конструирования и оптимизации параллельных программ, VIII Международная конференция “Информатика: проблемы, методология, технологии”, (г.Воронеж, 7–8 февраля, 2008).

  165. Methods and a system of functional programming for supporting supercomputing, Fifth European Congress of Mathematics (5ECM), (Amsterdam, Netherlands, 14–18 July, 2008).

  166. Музеи и Интернет, Международная конференция “Современные информационные технологии и письменное наследие: от древних текстов к электронным библиотекам” El'Manuscript-08, (г. Казань, 25–30 августа, 2008).

  167. An open adaptive virtual museum of informatics history in Siberia, 2008 IFIP World Computer Congress (WCC2008–IFIP), (Milan, Italy, September 7–10, 2008).

  168. 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).

  169. Музеи и Интернет: новая виртуальная реальность, Международная конференция “Вычислительные и информационные технологии в науке, технике и образовании”, (г. Алматы, Казахстан, 10 – 14 сентября, 2008).

  170. Языковые и программные средства конструирования параллельных программ, Международная конференция “Вычислительные и информационные технологии в науке, технике и образовании”, (г. Алматы, Казахстан, 10 – 14 сентября, 2008).

  171. Курс по основам информатики и программирования, Всероссийская научно-методическая конференция “Университет в системе непрерывного образования”, (г. Пермь, 14–15 октября, 2008).

    2009

  172. Сибирский межрегиональный Фонд “Информатика: развитие и образование”(ИнфРО), Седьмая международная конференция памяти академика А. П. Ершова “Перспективы систем информатики”, (г. Новосибирск, 15–-19 июня, 2009).

  173. Всемирные компьютерные конгрессы ИФИП, Седьмая международная конференция памяти академика А. П. Ершова “Перспективы систем информатики”, (г. Новосибирск, 15–-19 июня, 2009).

  174. Методические и программные средства поддержки обучения теоретико-графовым методам и алгоритмам, Седьмая международная конференция памяти академика А. П. Ершова “Перспективы систем информатики”, (г. Новосибирск, 15–-19 июня, 2009).

    2010

  175. Визуализация графов и графовых моделей, X Международная конференция “Информатика: проблемы, методология, технологии”, (г. Воронеж, 11–12 февраля 2010).

  176. 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).

  177. Tools for supporting graphs in computer science, International Congress of Mathematicians (ICM 2010), (Hyderabad, India, 19–27 August, 2010).

    2011

  178. Визуализация графов и графовых моделей, XI Международная конференция “Информатика: проблемы, методология, технологии”, (г. Воронеж, 10–11 февраля 2011).

  179. Веб-системы поддержки графов и графовых алгоритмов, Вторая Международная конференция Международная заочная научно-практическая конференция “Актуальные вопросы современной информатики”, (г. Коломна, 1–15 апреля, 2011).

  180. Применение теоретико-графовых методов в программировании, 8-я Международная конференция памяти академика А.П. Ершова “Перспективы систем информатики”, (г. Новосибирск, 27 июня–1 июля, 2011).

  181. 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).

  182. Теоретико-графовые методы в программировании, Вторая Международная конференция Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР (SORUCOM-2011), (г. Великий Новгород, 12–-16 сентября, 2011).

  183. Научная школа А. П. Ершова: системы программирования и информатики (Совместно с А. Г. Марчуком), Международная конференция “Современные проблемы математики, информатики и биоинформатики”, посвященная 100-летию со дня рождения члена-корреспондента АН СССР Алексея Андреевича Ляпунова, (г. Новосибирск, 11–14 октября, 2011).

  184. Визуализация информации на основе графовых моделей, Седьмая Международная Азиатская школа-семинар “Проблемы оптимизации сложных систем”, (г. Ташкент, Республика Узбекистан, 17-27 октября, 2011).

  185. Системы поддержки применения графов и графовых алгоритмов (Совместно с С. Н. Касьяновой), Седьмая Международная Азиатская школа-семинар “Проблемы оптимизации сложных систем”, (г. Ташкент, Республика Узбекистан, 17-27 октября, 2011).

    2012

  186. Визуализация структурированной информации на основе иерархических графовых моделей, XiI Международная конференция “Информатика: проблемы, методология, технологии”, (г. Воронеж, 9–10 февраля 2012).

  187. 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).

  188. Hierarchical graph models and information visualizaion, 3rd World Congress on Software Engineering, (Wuhan, China, November 2–6, 2012).

  189. Визуализация структурной информации на основе графовых моделей (Совместно с Е. В. Касьяновой), XIII Международная конференция “IT-технологии: развитие и приложения”, (г. Владиковказ, 11–14 декабря, 2012).

    2013

  190. Средства поддержки применения теоретико-графовых методов в информатике и программировании (Совместно с Е. В. Касьяновой), XiII Международная конференция “Информатика: проблемы, методология, технологии”, (г. Воронеж, 7–8 февраля 2013).

  191. 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).

  192. Визуализация структурированной информации на основе иерархических графовых моделей, Международная конференция “Математические и информационные технологии” (MIT-2013), (Врнячка Баня, Сербия; Будва, Черногория, 05– 14 сентября, 2013).

  193. Инструменты поддержки применения графов и графовых алгоритмов (Совместно с С. Н. Касьяновой), Международная конференция “Математические и информационные технологии” (MIT-2013), (Врнячка Баня, Сербия; Будва, Черногория, 05– 14 сентября, 2013).

    2014

  194. Облачные средства поддержки супервычислений (Совместно с Арапбаевым Р.Н., Идрисовым Р.И., Касьяновой Е.В.), XIV Международная конференции “Информатика: проблемы, методология, технологии”, (г. Воронеж, 6–7 февраля 2014).

  195. 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).

  196. О практикуме по программированию в вузе (Совместно с Е. В. Касьяновой), 9-я Международная Ершовская конференция по информатике (PSI 2014), (г. Санкт-Петербург, Петергоф, 24–27 июня, 2014).

  197. Российская информатика в лицах: мои учителя, Десятая Международная Азиатская школа-семинар “Проблемы оптимизации сложных систем”, (Кыргызская Республика, Иссык-Куль, 25 июля – 5 августа, 2014).

  198. Information visualization on the base of hierarchical graphs, V Congress of Mathematicians of Macedonia, (Ohrid, Republic of Macedonia, September 24-–27, 2014).

  199. Российская информатика в лицах: мои учителя, 3-я Международная конференция “Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: история и перспективы (SORUCOM-2014)”, (г. Казань, 13–17 октября, 2014).

    2015

  200. Методы и средства параллельного программирования на основе языка Sisal (Совместно с Идрисовым Р.И., Касьяновой Е.В., Стасенко А.П.), XV Международная конференция “Информатика: проблемы, методология, технологии”, (г. Воронеж, 12–13 февраля 2015).

  201. О плоских укладках иерархических графов (Совместно с Касьяновой Е.В.), XV Международная конференция “Информатика: проблемы, методология, технологии”, (г. Воронеж, 12–13 февраля 2015).

  202. 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).

  203. 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).

  204. 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).

  205. Теоретико-графовые методы и системы программирования, 11-я Международная Азиатская школа-семинар “Проблемы оптимизации сложных систем”, (г. Чалпон-Ата, Кыргызская Республика, 27 июля – 7 августа, 2015).

  206. 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).

  207. Visual Graph — система визуализации сложно структурированной информации большого объема на основе графовых моделей (Совместно с Золотухиным Т.А.), 25-я Международная конференция по компьютерной графике и зрению (GraphiCon'2015), (г. Протвино, 22–25 сентября, 2015).

  208. Теоретико-графовые методы и системы программирования, Международная конференция “Актуальные проблемы вычислительной и прикладной математики (AMCA-2015)”, (г. Новосибирск, 19–23 октября, 2015).

    2016

  209. Язык параллельного программирования Cloud Sisal (Совместно с Идрисовым Р.И., Касьяновой Е.В., Стасенко А.П.), XVI Международная конференция “Информатика: проблемы, методология, технологии”, (г. Воронеж, 11–12 февраля 2016).

  210. Hierarchical graph models and tools for visual processing and parallel programming, 7th European Congress of Mathematics (7ECM), (Berlin, Germany, July 18–22, 2016).

  211. 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

  212. Автоматическая генерация тестов для оптимизирующего компилятора (Совместно с Панкратовым С.Б.), XVII Международная конференция “Информатика: проблемы, методология, технологии”, (г. Воронеж, 9–10 февраля, 2017).

  213. Методы и системы дистанционного обучения программированию (Совместно с Касьяновой Е.В.), XVII Международная конференция “Информатика: проблемы, методология, технологии”, (г. Воронеж, 9–10 февраля, 2017).

  214. Теоретико-графовые методы и системы программирования, Всероссийской научной конференции памяти А. Л. Фуксмана “Языки программирования и компиляторы '2017”, (г. Ростов-на-Дону, 3–5 апреля 2017).

  215. Облачные средства поддержки параллельного программирования, Международная конференция “Актуальные проблемы чистой и прикладной математики”, посвященная 100-летию со дня рождения академика Тайманова Асана Дабсовича, (г. Алматы, Республика Казахстан, 22–25 августа, 2017).

  216. 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).

  217. 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).

  218. 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).

  219. Российская информатика в лицах: академик Андрей Петрович Ершов, Всероссийская научно-практическая конференция (с международным участием) “Гуманитарное образование и наука в техническом вузе”, посвященная 100-летию со дня рождения М. Т. Калашникова, (г. Ижевск, 24–-27 октября, 2017).

    2018

  220. Оптимизация программ: анализ публикаций на основе авторских ключевых слов (Совместно с Малининой Ю.В.), XVIII Международная конференция “Информатика: проблемы, методология, технологии”, (г. Воронеж, 8–9 февраля, 2018).