Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
A.P. Ershov Institute of Informatics Systems, Novosibirsk

Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023), Novosibirsk
1.	Free Foil в спокойном темпе N. D. Kudasov , Novosibirsk, A.P. Ershov Institute of Informatics Systems
	August 21, 2024 (Wed)
2.	Классификация коммитов в git репозиториях для поиска наиболее частых исправлений ошибок в системном программном обеспечении (ядро Linux и проекты кибефизических систем) S. M. Staroletov August 21, 2024 14:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	July 3, 2024 (Wed)
3.	Архитектурное программирование. Языки Арс и Арвиль A. Nedoria July 3, 2024 16:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	June 26, 2024 (Wed)
4.	Towards a Tractable Exact Test for Global Multiprocessor Fixed Priority Scheduling (the final, 3nd part) Burnyakov Aretem Sergeevich June 26, 2024 15:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	June 19, 2024 (Wed)
5.	«Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…) – вторая часть (завершение доклада) N. V. Shilov June 19, 2024 15:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	May 29, 2024 (Wed)
6.	Процедурно-параметрический полиморфизм и его интеграция с языком программирования C A. I. Legalov May 29, 2024 16:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	May 22, 2024 (Wed)
7.	«Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…) N. V. Shilov May 22, 2024 16:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	May 8, 2024 (Wed)
8.	Modelling C++ inheritance and dynamic semantics using a C++ virtual machine Zouev Eugene Alexandriovich May 8, 2024 16:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	April 24, 2024 (Wed)
9.	Towards a Tractable Exact Test for Global Multiprocessor Fixed Priority Scheduling (2nd part) Burmyakov Artem Sergeevich April 24, 2024 16:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	April 3, 2024 (Wed)
10.	Объектно-ориентированное программирование без встроенных типов A. V. Kogtenkov April 3, 2024 16:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	March 20, 2024 (Wed)
11.	Взаимосвязи семантик и эквивалентностей непрерывно-временных сетей Петри со слабой временной стратегией A. Yu. Zubarev March 20, 2024 19:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	March 8, 2024 (Fri)
12.	Automated Reasoning with Continuous Data M. V. Korovina March 8, 2024 14:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	March 6, 2024 (Wed)
13.	Towards a Tractable Exact Test for Global Multiprocessor Fixed Priority Scheduling Burmyakov Artem Sergeevich March 6, 2024 19:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	February 28, 2024 (Wed)
14.	Выразительные возможности операторов частичной неподвижной точки для конечных и бесконечных систем V. S. Sekorin February 28, 2024 19:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	February 14, 2024 (Wed)
15.	Логика распознавания последовательностей состояний SSRL (State Sequences Recognition Logic) и примеры её применения для формализации темпоральных требований к управляющим программ I. S. Anureev February 14, 2024 19:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	February 2, 2024 (Fri)
16.	О "граблях" в инициализации объектов в современных языках программирования A. Nedoria February 2, 2024 10:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	December 22, 2023 (Fri)
17.	Software optimization gaining by middle-end compiler phase-ordering: actual state and directions N. N. Efanov December 22, 2023 14:00, Novosibirsk, online
	December 15, 2023 (Fri)
18.	Relational Solver for Java Generics Type System P. A. Lozov December 15, 2023 14:00, Novosibirsk, Depart of Mathematics and Computer Science, St. Petersburg State University, 14th Line V.O.
	December 8, 2023 (Fri)
19.	Game semantics for First-order Modal and Temporal Logics: State of the art and perspectives I. O. Pyltsin December 8, 2023, Novosibirsk, online
	December 1, 2023 (Fri)
20.	Bridging the gap between the modern Computer Science and “traditional” practices in Aerospace Engineering: Our experience with teaching the “C++ for Space Ballistics” program L. A. Merkin-Janson December 1, 2023, Novosibirsk, online