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

Website: https://persons.iis.nsk.su/en/STEP-2023 Program Committee Anureev Igor Sergeevich Garanina Natal'ya Olegovna Kondrat'ev Dmitrii Aleksandrovich Kudasov Nikolay Dmitrievich Nepeivoda Antonina Nikolaevna Shilov Nikolai Vyacheslavovich Shoshmina Irina Vladimirovna Institutions A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk Innopolis University

Important: the list below includes presentations with video-materials only Click here to get the full list of presentations.

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