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