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 |
![](/gifs/1pts.gif) |
1. |
Free Foil в спокойном темпе N. D. Kudasov , Novosibirsk, A.P. Ershov Institute of Informatics Systems
|
|
|
|
|
|
August 21, 2024 (Wed) |
![](/gifs/1pts.gif) |
2. |
Классификация коммитов в git репозиториях для поиска наиболее частых исправлений ошибок в системном программном обеспечении (ядро Linux и проекты кибефизических систем) S. M. Staroletov August 21, 2024 14:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
|
|
|
|
|
|
July 3, 2024 (Wed) |
![](/gifs/1pts.gif) |
3. |
Архитектурное программирование. Языки Арс и Арвиль A. Nedoria July 3, 2024 16:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
|
|
|
|
|
|
June 26, 2024 (Wed) |
![](/gifs/1pts.gif) |
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) |
![](/gifs/1pts.gif) |
5. |
«Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…) – вторая часть (завершение доклада) N. V. Shilov June 19, 2024 15:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
|
|
|
|
|
|
May 29, 2024 (Wed) |
![](/gifs/1pts.gif) |
6. |
Процедурно-параметрический полиморфизм и его интеграция с языком программирования C A. I. Legalov May 29, 2024 16:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
|
|
|
|
|
|
May 22, 2024 (Wed) |
![](/gifs/1pts.gif) |
7. |
«Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…) N. V. Shilov May 22, 2024 16:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
|
|
|
|
|
|
May 8, 2024 (Wed) |
![](/gifs/1pts.gif) |
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) |
![](/gifs/1pts.gif) |
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) |
![](/gifs/1pts.gif) |
10. |
Объектно-ориентированное программирование без встроенных типов A. V. Kogtenkov April 3, 2024 16:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
|
|
|
|
|
|
March 20, 2024 (Wed) |
![](/gifs/1pts.gif) |
11. |
Взаимосвязи семантик и эквивалентностей непрерывно-временных сетей Петри со слабой временной стратегией A. Yu. Zubarev March 20, 2024 19:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
|
|
|
|
|
|
March 8, 2024 (Fri) |
![](/gifs/1pts.gif) |
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) |
![](/gifs/1pts.gif) |
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) |
![](/gifs/1pts.gif) |
14. |
Выразительные возможности операторов частичной неподвижной точки для конечных и бесконечных систем V. S. Sekorin February 28, 2024 19:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
|
|
|
|
|
|
February 14, 2024 (Wed) |
![](/gifs/1pts.gif) |
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) |
![](/gifs/1pts.gif) |
16. |
О "граблях" в инициализации объектов в современных языках программирования A. Nedoria February 2, 2024 10:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
|
|
|
|
|
|
December 22, 2023 (Fri) |
![](/gifs/1pts.gif) |
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) |
![](/gifs/1pts.gif) |
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) |
![](/gifs/1pts.gif) |
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) |
![](/gifs/1pts.gif) |
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
|
|
|
|
![](/gifs/1pts.gif) |
|