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
	March 11, 2025 (Tue)
1.	Ретроспектива: что я защищал в кандидатской 11 тысяч 111 лет назад A. Nedoria March 11, 2025 14:10, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	February 6, 2025 (Thu)
2.	Кризисология (управление разработкой ПО в сложных условиях) S. V. Zykov February 6, 2025 17:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	January 13, 2025 (Mon)
3.	Технические приемы процедурно-параметрического программирования A. I. Legalov January 13, 2025 14:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	December 25, 2024 (Wed)
4.	Декомпозиция булевых функций и приложения - вторая часть (завершение доклада) P. G. Emel'yanov December 25, 2024 14:10, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	December 23, 2024 (Mon)
5.	Соревнование по формальной верификации программ VeHa-2024: два года большого пути D. A. Kondrat'ev December 23, 2024 08:40, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	December 20, 2024 (Fri)
6.	Декомпозиция булевых функций и приложения P. G. Emel'yanov December 20, 2024 14:10, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	December 10, 2024 (Tue)
7.	A Relational Solver for Constraint-based Type Inference Domoratskiy Eridan December 10, 2024 17:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	November 29, 2024 (Fri)
8.	Прагматически-ориентированные модели и методы обработки естественно-языковых вопросно-ответных текстов Prokopev Nikolay Arkadevich November 29, 2024 13:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	November 15, 2024 (Fri)
9.	UOOR: an Object-Oriented Approach for Requirements engineering Naumcheva Maria November 15, 2024 13:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	October 11, 2024 (Fri)
10.	Процессный подход к верификации криптографических протоколов A. M. Mironov October 11, 2024 13:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	September 27, 2024 (Fri)
11.	Обзор выразительных возможностей формальных языков с захватом в память A. N. Nepeivoda September 27, 2024 13:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	August 21, 2024 (Wed)
12.	Классификация коммитов в git репозиториях для поиска наиболее частых исправлений ошибок в системном программном обеспечении (ядро Linux и проекты кибефизических систем) S. M. Staroletov August 21, 2024 14:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	July 3, 2024 (Wed)
13.	Архитектурное программирование. Языки Арс и Арвиль A. Nedoria July 3, 2024 16:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	June 26, 2024 (Wed)
14.	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)
15.	«Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…) – вторая часть (завершение доклада) N. V. Shilov June 19, 2024 15:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	May 29, 2024 (Wed)
16.	Процедурно-параметрический полиморфизм и его интеграция с языком программирования C A. I. Legalov May 29, 2024 16:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	May 22, 2024 (Wed)
17.	«Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…) N. V. Shilov May 22, 2024 16:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	May 8, 2024 (Wed)
18.	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)
19.	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)
20.	Объектно-ориентированное программирование без встроенных типов A. V. Kogtenkov April 3, 2024 16:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	March 20, 2024 (Wed)
21.	Взаимосвязи семантик и эквивалентностей непрерывно-временных сетей Петри со слабой временной стратегией A. Yu. Zubarev March 20, 2024 19:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	March 8, 2024 (Fri)
22.	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)
23.	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)
24.	Выразительные возможности операторов частичной неподвижной точки для конечных и бесконечных систем V. S. Sekorin February 28, 2024 19:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	February 14, 2024 (Wed)
25.	Логика распознавания последовательностей состояний 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)
26.	О "граблях" в инициализации объектов в современных языках программирования A. Nedoria February 2, 2024 10:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
	December 22, 2023 (Fri)
27.	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)
28.	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)
29.	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)
30.	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