|
Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии
теории и экспериментальному программированию
Институт систем информатики им. А. П. Ершова, г. Новосибирск
|
| Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии
теории и экспериментальному программированию, г. Новосибирск |
 |
| 1. |
Free Foil в спокойном темпе
Н. Д. Кудасов
, г. Новосибирск, Семинары пройдут в гибридном формате: в Университете Иннополис и в Zoom, аудитория и данные для подключения будут объявлены позже.
|
|
|
|
|
|
15 ноября 2024 г. (пт) |
|
| 2. |
UOOR: an Object-Oriented Approach for Requirements engineering
Наумчева Мария Евгеньевна
15 ноября 2024 г. 13:00, г. Новосибирск, Семинар пройдет онлайн в Skype (https://join.skype.com/DOsdMMwFpqsm - можно смотреть в браузере)
|
|
|
|
|
|
|
11 октября 2024 г. (пт) |
|
| 3. |
Процессный подход к верификации криптографических протоколов
А. М. Миронов
11 октября 2024 г. 13:00, г. Новосибирск, Институт систем информатики им. А. П. Ершова
|
|
|
|
|
|
|
27 сентября 2024 г. (пт) |
|
| 4. |
Обзор выразительных возможностей формальных языков с захватом в память
А. Н. Непейвода
27 сентября 2024 г. 13:00, г. Новосибирск, Институт систем информатики им. А. П. Ершова
|
|
|
|
|
|
|
21 августа 2024 г. (ср) |
|
| 5. |
Классификация коммитов в git репозиториях для поиска наиболее частых исправлений ошибок в системном программном обеспечении (ядро Linux и проекты кибефизических систем)
С. М. Старолетов
21 августа 2024 г. 14:00, г. Новосибирск, Онлайн
|
|
|
|
|
|
|
3 июля 2024 г. (ср) |
|
| 6. |
Архитектурное программирование. Языки Арс и Арвиль
А. Е. Недоря
3 июля 2024 г. 16:00, г. Новосибирск, Институт систем информатики им. А. П. Ершова
|
|
|
|
|
|
|
26 июня 2024 г. (ср) |
|
| 7. |
Towards a Tractable Exact Test for Global Multiprocessor Fixed Priority Scheduling (the final, 3nd part)
Бурмяков Артем Сергеевич
26 июня 2024 г. 15:00, г. Новосибирск, Институт систем информатики им. А. П. Ершова
|
|
|
|
|
|
|
19 июня 2024 г. (ср) |
|
| 8. |
«Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…) – вторая часть (завершение доклада)
Н. В. Шилов
19 июня 2024 г. 15:00, г. Новосибирск, Институт систем информатики им. А. П. Ершова
|
|
|
|
|
|
|
29 мая 2024 г. (ср) |
|
| 9. |
Процедурно-параметрический полиморфизм и его интеграция с языком программирования C
А. И. Легалов
29 мая 2024 г. 16:00, г. Новосибирск, Институт систем информатики им. А. П. Ершова
|
|
|
|
|
|
|
22 мая 2024 г. (ср) |
|
| 10. |
«Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…)
Н. В. Шилов
22 мая 2024 г. 16:00, г. Новосибирск, Институт систем информатики им. А. П. Ершова
|
|
|
|
|
|
|
8 мая 2024 г. (ср) |
|
| 11. |
Modelling C++ inheritance and dynamic semantics using a C++ virtual machine
Зуев Евгений Александрович
8 мая 2024 г. 16:00, г. Новосибирск, 422 аудитория Университета Иннополис и онлайн Skype
|
|
|
|
|
|
|
24 апреля 2024 г. (ср) |
|
| 12. |
Towards a Tractable Exact Test for Global Multiprocessor Fixed Priority Scheduling (2nd part)
Burmyakov Artem Sergeevich
24 апреля 2024 г. 16:00, г. Новосибирск, 422 аудитория Университета Иннополис и онлайн Skype
|
|
|
|
|
|
|
3 апреля 2024 г. (ср) |
|
| 13. |
Объектно-ориентированное программирование без встроенных типов
А. В. Когтенков
3 апреля 2024 г. 16:00, г. Новосибирск, Институт систем информатики им. А. П. Ершова
|
|
|
|
|
|
|
20 марта 2024 г. (ср) |
|
| 14. |
Взаимосвязи семантик и эквивалентностей непрерывно-временных сетей Петри со слабой временной стратегией
А. Ю. Зубарев
20 марта 2024 г. 19:00, г. Новосибирск, Институт систем информатики им. А. П. Ершова
|
|
|
|
|
|
|
8 марта 2024 г. (пт) |
|
| 15. |
Automated Reasoning with Continuous Data
M. V. Korovina
8 марта 2024 г. 14:00, г. Новосибирск, Институт систем информатики им. А. П. Ершова
|
|
|
|
|
|
|
6 марта 2024 г. (ср) |
|
| 16. |
Towards a Tractable Exact Test for Global Multiprocessor Fixed Priority Scheduling
Burmyakov Artem Sergeevich
6 марта 2024 г. 19:00, г. Новосибирск, Институт систем информатики им. А. П. Ершова
|
|
|
|
|
|
|
28 февраля 2024 г. (ср) |
|
| 17. |
Выразительные возможности операторов частичной неподвижной точки для конечных и бесконечных систем
В. С. Секорин
28 февраля 2024 г. 19:00, г. Новосибирск, Семинар пройдет гибридно: в 422 аудитории Университета Иннополис и онлайн в Skype (https://join.skype.com/DOsdMMwFpqsm - можно смотреть в браузере).
|
|
|
|
|
|
|
14 февраля 2024 г. (ср) |
|
| 18. |
Логика распознавания последовательностей состояний SSRL (State Sequences Recognition Logic) и примеры её применения для формализации темпоральных требований к управляющим программ
И. С. Ануреев
14 февраля 2024 г. 19:00, г. Новосибирск, Онлайн
|
|
|
|
|
|
|
2 февраля 2024 г. (пт) |
|
| 19. |
О "граблях" в инициализации объектов в современных языках программирования
А. Е. Недоря
2 февраля 2024 г. 10:00, г. Новосибирск, Онлайн
|
|
|
|
|
|
|
22 декабря 2023 г. (пт) |
|
| 20. |
Software optimization gaining by middle-end compiler phase-ordering: actual state and directions
N. N. Efanov
22 декабря 2023 г. 14:00, г. Новосибирск, online
|
|
|
|
|
|
|
15 декабря 2023 г. (пт) |
|
| 21. |
Relational Solver for Java Generics Type System
P. A. Lozov
15 декабря 2023 г. 14:00, г. Новосибирск, факультет МКН СПбГу (Санкт-Петербург, 14-я линия В.О.)
|
|
|
|
|
|
|
8 декабря 2023 г. (пт) |
|
| 22. |
Game semantics for First-order Modal and Temporal Logics: State of the art and perspectives
I. O. Pyltsin
8 декабря 2023 г., г. Новосибирск, online
|
|
|
|
|
|
|
1 декабря 2023 г. (пт) |
|
| 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
1 декабря 2023 г., г. Новосибирск, online
|
|
|
|
|
|
|
Программный комитет
Обратная связь: