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