Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)

SEMINARS

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

RSS: Forthcoming seminars

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

Organizations
A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Innopolis University

Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023), Novosibirsk

Технические приемы процедурно-параметрического программирования A. I. Legalov January 13, 2025 14:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
Декомпозиция булевых функций и приложения - вторая часть (завершение доклада) P. G. Emel'yanov December 25, 2024 14:10 Novosibirsk, A.P. Ershov Institute of Informatics Systems
Соревнование по формальной верификации программ VeHa-2024: два года большого пути D. A. Kondrat'ev December 23, 2024 08:40 Novosibirsk, A.P. Ershov Institute of Informatics Systems
Декомпозиция булевых функций и приложения P. G. Emel'yanov December 20, 2024 14:10 Novosibirsk, A.P. Ershov Institute of Informatics Systems
A Relational Solver for Constraint-based Type Inference Domoratskiy Eridan December 10, 2024 17:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
Прагматически-ориентированные модели и методы обработки естественно-языковых вопросно-ответных текстов Prokopev Nikolay Arkadevich November 29, 2024 13:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
UOOR: an Object-Oriented Approach for Requirements engineering Naumcheva Maria November 15, 2024 13:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
Процессный подход к верификации криптографических протоколов A. M. Mironov October 11, 2024 13:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
Обзор выразительных возможностей формальных языков с захватом в память A. N. Nepeivoda September 27, 2024 13:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
Классификация коммитов в git репозиториях для поиска наиболее частых исправлений ошибок в системном программном обеспечении (ядро Linux и проекты кибефизических систем) S. M. Staroletov August 21, 2024 14:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
Архитектурное программирование. Языки Арс и Арвиль A. Nedoria July 3, 2024 16:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
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
«Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…) – вторая часть (завершение доклада) N. V. Shilov June 19, 2024 15:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
Процедурно-параметрический полиморфизм и его интеграция с языком программирования C A. I. Legalov May 29, 2024 16:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
«Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…) N. V. Shilov May 22, 2024 16:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
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
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
Объектно-ориентированное программирование без встроенных типов A. V. Kogtenkov April 3, 2024 16:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
Взаимосвязи семантик и эквивалентностей непрерывно-временных сетей Петри со слабой временной стратегией A. Yu. Zubarev March 20, 2024 19:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
Automated Reasoning with Continuous Data M. V. Korovina March 8, 2024 14:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
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
Выразительные возможности операторов частичной неподвижной точки для конечных и бесконечных систем V. S. Sekorin February 28, 2024 19:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
Логика распознавания последовательностей состояний SSRL (State Sequences Recognition Logic) и примеры её применения для формализации темпоральных требований к управляющим программ I. S. Anureev February 14, 2024 19:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
О "граблях" в инициализации объектов в современных языках программирования A. Nedoria February 2, 2024 10:00 Novosibirsk, A.P. Ershov Institute of Informatics Systems
Software optimization gaining by middle-end compiler phase-ordering: actual state and directions N. N. Efanov December 22, 2023 14:00 Novosibirsk, online
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.
Game semantics for First-order Modal and Temporal Logics: State of the art and perspectives I. O. Pyltsin December 8, 2023 Novosibirsk, online
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