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

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. Fine-grained concurrency architectures and the rapid compiler prototyping problems (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).