Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  


Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию
Институт систем информатики им. А. П. Ершова, г. Новосибирск

STEP = Software Engineering, Theory and Experimental Programming


Общие сведения о семинаре:
  • Семинар является продолжением семинара ru-STEP, созданного в 2020 г. инициативой группой сотрудников Университета Иннополис и Института систем информатики им. А. П. Ершова.
  • Периодичность заседаний семинара — 1 раз в две недели, расписание формируется в начале каждого семестра Программным Комитетом семинара, программа семинара формируется на месяц вперед Программным Комитетом и публикуется на данной странице.
  • Видеоархив семинара размещается в плейлисте(link is external) на YouTube-канале ИСИ СО РАН(link is external) (то есть, продолжает видеоархив семинара ru-STEP).
  • Язык семинара русский и английский. Рекомендуется готовить презентацию на английском, доклад и обсуждение делать на русском (если нет зарубежных участников), но быть готовым перейти на английский (если есть зарубежные участники).
  • Программный Комитет имеет намерение в конце 2023 г. подготовить и публиковать обзоры докладов, представленных на семинаре.

Website: https://persons.iis.nsk.su/en/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
  
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024